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. -- gnome-launch-box hangs sometimes https://bugs.launchpad.net/bugs/152802 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
