Comment 4 for bug 152802

Revision history for this message
Audun Wangen (audun-wangen) wrote :

By the way: I guess making a script that kills gnome-launch-box before it launches it again would be a quick workaround.

#!/bin/bash
killall gnome-launch-box
gnome-launch-box -t

If you save this script as gnome-launch-box-startup.sh, you should be able to bind a key to the script using gconf-editor (e.g. /apps/metacity/global_keybindings/run_command_1 to gnome-launch-box-startup.sh and /apps/metacity/keybinding_commands/command_1 to <Alt>space).

Haven't tried it though.