diff options
| author | Alexey Borzenkov <snaury@gmail.com> | 2009-09-08 22:39:33 +0400 |
|---|---|---|
| committer | Shawn O. Pearce <spearce@spearce.org> | 2009-09-12 11:35:29 -0700 |
| commit | ed7b603381a57f706d758cf5a2f2ce604ef8c825 (patch) | |
| tree | 9b8c0f72c5786ca8919198bdfe7fcba6aa60231e /git-gui/lib/diff.tcl | |
| parent | 118d938812f3fc660f43bad9b546e7dadc3571a9 (diff) | |
| download | git-ed7b603381a57f706d758cf5a2f2ce604ef8c825.tar.gz | |
git-gui: store wm state and fix wm geometry
I often close git gui window when it is maximized, and when I reopen
it next time the it would usually become out of place (e.g. a huge
window with a top-left corner somewhere close to the center of the
screen). Fix it by storing and restoring wm state in config, as well
as setting wm state to normal before retrieving wm geometry info.
Signed-off-by: Alexey Borzenkov <snaury@gmail.com>
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
Diffstat (limited to 'git-gui/lib/diff.tcl')
0 files changed, 0 insertions, 0 deletions