Hm, ist das gewollt, dass sich die Spaces aufgrund der Nutzungshaeufigkeit re-arrangieren sollen (erstes Check Mark)?

Das hat bei mir auch mal nach einem System-Update, bei dem es sich aktiviert hat, zu einigen Irritationen gefuehrt.

Aber, ich meine es so verstanden zu haben, dass sich die Option selber nicht mehr im Kontextmenue der Apps im Dock zu finden ist, richtig?



Nach kurzer Recherche im Netz half es einigen aehnlich Betroffenen im Terminal (Terminal.app befindet sich im Dienstprogramme Ordner) folgendes Kommando einzugeben (https://discussions.apple.com/thread/5153091):
Show Plain Text
  1. killall Dock

Moeglicherweise muss diese Prozedur zum Erfolg mehrmals hintereinander durchgefuehrt werden.
Das geht wahrscheinlich schneller als mit EasyFind alle Dock und Mission Control Preferenzen zu finden und zu loeschen

HTH.
----------
Cheers,

k.