1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
When xtermset_enable is set, jack resizes the window to something that is
not high enough.
--- a/jack_term.py
+++ b/jack_term.py
@@ -106,7 +106,7 @@
want_y = want_y - 1
if jack_freedb.names_available:
want_y = want_y + 1
- want_y = max(want_y, 7)
+ want_y += 7 # for the help panel
if (size_x, size_y) != (want_x, want_y):
try:
os.system("xtermset -geom %dx%d" % (want_x, want_y))
|
