Recently I had problems with gitk not working. Turns out the fix for this is rather easy, see the diff below:
--- /home/bjoern.henkel/gitk.org 2011-10-26 15:44:27.096698500 +0900
+++ /usr/bin/gitk 2011-10-26 15:44:57.143573500 +0900
@@ -2367,7 +2367,7 @@
}
}
- if {[info exists geometry(state)] && $geometry(state) eq "zoomed"} {
+ if {[info exists geometry(state)] && $geometry(state) eq "normal"} {
wm state . $geometry(state)
}
No comments:
Post a Comment