From e03ccdf0c04cce2de1d681af62634119c04b770d Mon Sep 17 00:00:00 2001 From: bharnden Date: Wed, 12 Sep 2018 11:16:15 -0700 Subject: [PATCH] #192 updated default gnome-terminal command for gui --- gui/util.tcl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gui/util.tcl b/gui/util.tcl index 8078f447..4e6cf397 100644 --- a/gui/util.tcl +++ b/gui/util.tcl @@ -1094,7 +1094,7 @@ proc get_text_editor { want_default } { # - if want_default is specified, first return COLORTERM or TERM environment # variable, then find the first in the list of terminals that exists on the # system -set TERMS "{gnome-terminal -x} {lxterminal -e} {konsole -e} {xterm -e}" +set TERMS "{gnome-terminal --window --} {lxterminal -e} {konsole -e} {xterm -e}" set TERMS "$TERMS {aterm -e} {eterm -e} {rxvt -e} {xfce4-terminal -x}" proc get_term_prog { want_default } {