Hallo Christina,

Vermutlich hast du [...] diese Option aus der User-Config rausgenommen
Ich, am 30.8.
dann kann da kein Zusammenhang bestehen; denn wie gesagt, hat sich das für mich als Nutzer wahrnehmbare Verhalten erst vor schätzungsweise zwei Wochen geändert.
Das hat erst Auswirkungen, wenn die User-Config neu geschrieben wird. Die wird vollständig neu geschrieben, und wenn eine Option nicht mehr vorhanden ist, wird halt das globale Default genommen.

bingo, da haben wir die Erklärung! Tatsächlich hatte ich vor einigen Tagen eine Kleinigkeit in der Konfiguration geändert. Dann bin ich also bei der Gelegenheit automatisch auf die Default-Einstellung für diese nicht mehr vorhandene Option zurückgefallen.

Danke für den entscheidenden Hinweis.

Schönes Wochenende,
 Martin