gnome setup: Allow use of arrow keys in plugin list