GNOME Bugzilla – Bug 353095
Cannot change launcher type
Last modified: 2015-03-24 13:01:00 UTC
Ubuntu Edgy, gnome-panel-2.15.92-0ubuntu1. Add a drawer, add an 'Application Launcher', save it. I used 'ssh -L 2000:localhost:2000 -f black.golder.org sleep 300 && sieveshell localhost' as the command. Right-click the launcher in the drawer, click 'Properties'. Change to 'Application in Terminal'. Clock 'Close'. Re-enter the Properties and it hasn't updated.
Hrm. I fixed a bug like this sometimes ago, but 2.15.92 should work fine... I'll try to look at this before 2.16.0. Note that 'ssh -L 2000:localhost:2000 -f black.golder.org && sleep 300 && sieveshell localhost' is not a valid command, though. You should use a script if you want to run multiple commands with one launcher.
Created attachment 72009 [details] [review] Patch This fixes the bug. It's not the best patch, but it's the most trivial one. A better patch can be committed later, when we're not frozen.
Committed. A proper fix will be done later.
Closing the bug since I'm satisfied with the current way it's done.