If we leave it how it is we do not have to retrain people using the indent plugin. And people can figure out what the hotkey is by looking at the file menu.
However if we change it how would we communicate to the users of the plugin that there plug-in no longer works. If we want to implement this I say we would need to check to see if the plugin Indent Lines is enabled. -- Gedit ctrl-T does not open new tab https://bugs.launchpad.net/bugs/301942 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
