Wörter bleiben auch nach dem Neustart markiert?

http://www.fmi.uni-passau.de/hilfe/markierung.html (Einblicke ins Internet, 10/1995)

Das ist kein Bug, sondern ein Feature. Am Anfang, wenn man häufiger liest, ist das eher lästig, aber später sieht man auf diese Weise schneller, wo man schon mal war. Dieses Verhalten kann auch abgestellt werden über eine X-Ressource: XMosaic.useGlobalHistory: false

Michael Gengenbach, 18.03.1993