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)
committerJunio C Hamano <junkio@cox.net>
Sun, 11 Feb 2007 21:47:55 +0000 (13:47 -0800)
commit602598fd5d8f64028f84d2772725c5e3414a112f
tree154be58f5a10a3022bb411b104f16c81ac321a90
parent788743240e7076a285e226ca230385e041d66db5
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