Code

Make gitk save and restore the user set window position.
authorMark Levedahl <mdl123@verizon.net>
Fri, 9 Feb 2007 03:22:24 +0000 (22:22 -0500)
committerPaul Mackerras <paulus@samba.org>
Wed, 14 Feb 2007 22:12:53 +0000 (09:12 +1100)
commitb6047c5a8166a71e01c6b63ebbb67c6894d95114
tree3351ed1493a7aab3e19cdbff9f6ed8f3e50f19ff
parent7426eb74694b2f8b3909065edeec35b7a9117b35
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