GNOME Bugzilla – Bug 379336
External Tools could be selected by the currently selected tab.
Last modified: 2019-03-23 20:38:47 UTC
Depending on the file that is in the current tab could depend on the external tools that are available. For example, if I have a .java in the current tab, I have an external tool assigned to "compile java file". However, when I have a .py file in the current tab, the shortcut that is assigned to "compile java file" could be reused for "compile java file". This is particularry useful, as I have Ctrl + 1 for a language compiler, Ctrl + 2 for doxygen/javadoc, etc. Thank you for taking this into consideration.
Wouldn't it be better to have a "Compile" tool that can handle several mime types at once ?
I think that a "compile tool" it's a good idea, but orthogonal to the request. Having per-language tools is definately something I would like to see. With the new storage system we should allow a line like: # langs: c, c++, java though I am not sure what is the best identifier to use there... the language name as reported by gtksourceview? the mime-type? something else?
actually this request was already files as bug 334964 *** This bug has been marked as a duplicate of 334964 ***