diff options
Diffstat (limited to 'community/geany/set_default_terminal.patch')
| -rw-r--r-- | community/geany/set_default_terminal.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/community/geany/set_default_terminal.patch b/community/geany/set_default_terminal.patch new file mode 100644 index 0000000000..baf9a3f4c1 --- /dev/null +++ b/community/geany/set_default_terminal.patch @@ -0,0 +1,11 @@ +--- geany-1.24.1-origin/src/keyfile.c ++++ geany-1.24.1/src/keyfile.c +@@ -71,7 +71,7 @@ + #ifdef G_OS_WIN32 + #define GEANY_DEFAULT_TOOLS_TERMINAL "cmd.exe /Q /C %c" + #else +-#define GEANY_DEFAULT_TOOLS_TERMINAL "xterm -e \"/bin/sh %c\"" ++#define GEANY_DEFAULT_TOOLS_TERMINAL "Terminal -e \"/bin/sh %c\"" + #endif + #define GEANY_DEFAULT_TOOLS_BROWSER "firefox" + #define GEANY_DEFAULT_TOOLS_PRINTCMD "lpr" |