Ok, I guess if I use x-terminal-emulator, it should open the right terminal, right?
I don't see an easy way to make the "Launch Terminal" string translatable. Part of the problem I believe is that when the switch to gsettings happened, GNOME dropped the run_command_terminal option so only a custom command will work. What about if I moved the custom keyboard shortcut to gnome-shell.gconf-defaults instead?
Ok, I guess if I use x-terminal- emulator, it should open the right terminal, right?
I don't see an easy way to make the "Launch Terminal" string translatable. Part of the problem I believe is that when the switch to gsettings happened, GNOME dropped the run_command_ terminal option so only a custom command will work. What about if I moved the custom keyboard shortcut to gnome-shell. gconf-defaults instead?