GNOME Bugzilla – Bug 699316
Add configure option to disable terminal plugin
Last modified: 2020-11-07 12:12:16 UTC
Since Anjuta could also work without using a terminal, maybe we could add an option in the configure script to disable it and make it optional, just like the devhelp and glade plugins. Also, this will make disabling the terminal plugin in Windows look cleaner.
Created attachment 242928 [details] [review] Add option to configure to disable terminal plugin
Created attachment 242929 [details] [review] Disable terminal when compiling for Windows This patch depends on a patch that is not yet on bugzilla, which I haven't checked and tested enough yet. So this shouldn't be committed before that one.
Could I already commit the first patch or should I wait for the second one? Anyway I can wait for both.
You may commit the first one. The second one might get more changes, depending on what's going to happen to the terminal plugin for Windows (I might create a fake terminal where we could see the output of the running program).
Review of attachment 242928 [details] [review]: Thank, I have committed this.
bugzilla.gnome.org is being replaced by gitlab.gnome.org. We are closing all old feature requests in Bugzilla which have not seen updates for many years. If you are still requesting this feature in a currently supported version of GNOME (currently that would be 3.38), then please feel free to report it at https://gitlab.gnome.org/GNOME/anjuta/-/issues/ Thank you for reporting this issue and we are sorry it could not be implemented.