diff --git a/git-gui.sh b/git-gui.sh index d59e720408..87fdce593d 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -3036,6 +3036,7 @@ proc do_options {} { -from 1 -to 99 -increment 1 \ -width 3 \ -font font_ui + bind $w.$f.$name.v {%W selection range 0 end} pack $w.$f.$name.v -side right -anchor e -padx 5 pack $w.$f.$name -side top -anchor w -fill x } @@ -3052,6 +3053,7 @@ proc do_options {} { bind $w.$f.$name.v {focus [tk_focusPrev %W];break} bind $w.$f.$name.v {focus [tk_focusNext %W];break} bind $w.$f.$name.v break + bind $w.$f.$name.v "$w.$f.$name.v tag add sel 0.0 end" bind $w.$f.$name.v " set ${f}_config_new(gui.$name) \ \[string trim \[$w.$f.$name.v get 0.0 end\]\] @@ -3088,6 +3090,7 @@ proc do_options {} { -from 2 -to 80 -increment 1 \ -width 3 \ -font font_ui + bind $w.global.$name.size {%W selection range 0 end} pack $w.global.$name.size -side right -anchor e pack $w.global.$name.family -side right -anchor e pack $w.global.$name -side top -anchor w -fill x