Florian Müllner 6a32fa9452 keybindings: Fix unsetting of overlay-key
Commit 802c1ac4275 fixed updating the overlay key on settings
changes, but missed the case where the setting was set to an
empty value to disable the overlay key altogether.

https://bugzilla.gnome.org/show_bug.cgi?id=682993
2012-08-29 23:20:49 +02:00
..
2011-11-11 20:26:38 +01:00
2012-05-02 14:13:48 -04:00
2009-06-16 14:17:10 -04:00