| commit | b6047c5a8166a71e01c6b63ebbb67c6894d95114 | |
| author | Mark Levedahl <mdl123@verizon.net> | |
| Fri, 9 Feb 2007 03:22:24 +0000 (8 22:22 -0500) | ||
| committer | Paul Mackerras <paulus@samba.org> | |
| Wed, 14 Feb 2007 22:12:53 +0000 (15 09:12 +1100) | ||
| tree | 3351ed1493a7aab3e19cdbff9f6ed8f3e50f19ff | treesnapshot (tar.gz zip) |
| parent | 7426eb74694b2f8b3909065edeec35b7a9117b35 | commitdiff |
Make gitk save and restore the user set window position.
gitk was saving widget sizes and positions when the main window was
destroyed, which is after all child widgets are destroyed. The cure
is to trap the WM_DELETE_WINDOW event before the gui is torn down. Also,
the saved geometry was captured using "winfo geometry .", rather than
"wm geometry ." Under Linux, these two return different answers and the
latter one is correct.
[jc: credit goes to Brett Schwarz for suggesting the use of "wm protocol";
I also squashed the follow-up patch to remove extraneous -0
from expressions.]
Signed-off-by: Mark Levedahl <mdl123@verizon.net>
Signed-off-by: Junio C Hamano <junkio@cox.net>
gitk was saving widget sizes and positions when the main window was
destroyed, which is after all child widgets are destroyed. The cure
is to trap the WM_DELETE_WINDOW event before the gui is torn down. Also,
the saved geometry was captured using "winfo geometry .", rather than
"wm geometry ." Under Linux, these two return different answers and the
latter one is correct.
[jc: credit goes to Brett Schwarz for suggesting the use of "wm protocol";
I also squashed the follow-up patch to remove extraneous -0
from expressions.]
Signed-off-by: Mark Levedahl <mdl123@verizon.net>
Signed-off-by: Junio C Hamano <junkio@cox.net>
| gitk | diffblobblamehistory |