Although that will possibly make other things use gnome-terminal in preference to terminator, not just geany.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub