Was mir noch aufgefallen ist: Es kommt ab und zu vor, dass die Aenderungen, die ich in den Haupteinstellungen geaendert habe (z.B. stay_on_top), wieder zurueckgesetzt werden.