Andrea, that's a good idea. Another possibility would be a preference setting. Both solutions are not exclusive.
If no pref is defined then follow the policy, or not, depending on how it is launched. If the pref is defined, use the prefered policy in both cases. If only one of those solutions is implemented, I would prefer a preference setting, because with the huge number of toolkits and wm/desktops lying around, who really knows what can append in any case.... -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/366644 Title: terminator does not honor x-terminal-emulator -e option To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/366644/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
