Das ist dann ein Bug. Ich habe aber schon ein paar Mal erlebt (nur unter Windows), dass eine Konfigurationsaenderung erst durchgefuehrt wurde, wenn man die Maus etwas bewegt hat.