diff options
| author | Pratyush Yadav <me@yadavpratyush.com> | 2019-08-04 17:39:19 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-08-07 23:22:51 +0300 |
| commit | 5440eb0ea2651c45a0e46f2335ecbb8d1f42c584 (patch) | |
| tree | 1495f0e8f5ac96628fffdf5bbeef8361eadd2652 /git-gui | |
| parent | 5ab72271e16ac23c269f5019a74a7b1d65170e47 (diff) | |
git-gui: call do_quit before destroying the main window
If the toplevel window for the window being destroyed is the main window
(aka "."), then simply destroying it means the cleanup tasks are not
executed (like saving the commit message buffer, saving window state,
etc.)
All this is handled by do_quit. Call it instead of directly
destroying the main window. For other toplevel windows, the old
behavior remains.
Signed-off-by: Pratyush Yadav <me@yadavpratyush.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui')
0 files changed, 0 insertions, 0 deletions