diff options
| author | Joel Klinghed <the_jk@yahoo.com> | 2017-07-29 22:25:50 +0200 |
|---|---|---|
| committer | Joel Klinghed <the_jk@yahoo.com> | 2017-07-29 22:25:50 +0200 |
| commit | c7615728ccefc23368b5d25d8bc5f6eeafcceb84 (patch) | |
| tree | a4b5c8a2ccd7171cda890cb6e65a4d178da5c67d | |
| parent | 64b2fb0a180f57a8debc8755cebe76f0ded1fdab (diff) | |
Only ask at exit if there are any packages
| -rw-r--r-- | src/monitor-gui.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/monitor-gui.cc b/src/monitor-gui.cc index 1c3bb3f..a3932b6 100644 --- a/src/monitor-gui.cc +++ b/src/monitor-gui.cc @@ -899,7 +899,9 @@ public: // GuiMain::Listener bool about_to_exit(GuiMain* main) override { assert(main_.get() == main); - if (abort_if_modified()) return false; + if (packages_->rows() > 0) { + if (abort_if_modified()) return false; + } return true; } |