git-gui: adjust the minimum height of diff pane for shorter screen height

diff --git a/git-gui.sh b/git-gui.sh
index 09b27203db742f7b9a59d2246f4843a1071f1196..037a1f2c21958252052f4c1cf0d8a8507574ca95 100755 (executable)
--- a/git-gui.sh
+++ b/git-gui.sh
@@ -3083,7 +3083,7 @@ frame .vpane.lower.diff.body
 set ui_diff .vpane.lower.diff.body.t
 text $ui_diff -background white -foreground black \
        -borderwidth 0 \
-       -width 80 -height 15 -wrap none \
+       -width 80 -height 5 -wrap none \
        -font font_diff \
        -xscrollcommand {.vpane.lower.diff.body.sbx set} \
        -yscrollcommand {.vpane.lower.diff.body.sby set} \