diff options
| author | Joel Klinghed <the_jk@yahoo.com> | 2017-07-29 19:41:57 +0200 |
|---|---|---|
| committer | Joel Klinghed <the_jk@yahoo.com> | 2017-07-29 19:41:57 +0200 |
| commit | d4f13ca3c0b61e5734b7e94684c401b5c3e14e97 (patch) | |
| tree | 7f216cc87095c5cb34c6b51740845d5744024877 | |
| parent | e28b51eb937a54476de9673fe0759a95a889eac9 (diff) | |
Clear list of packages before loading new ones
| -rw-r--r-- | src/monitor-gui.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/monitor-gui.cc b/src/monitor-gui.cc index f3e6b70..52aadfa 100644 --- a/src/monitor-gui.cc +++ b/src/monitor-gui.cc @@ -1075,6 +1075,7 @@ private: file_ = main_->file_dialog("Open File", "", GuiFile::FILE_OPEN, file_filter_); if (file_.empty()) return; + packages_->clear(); if (!load(file_, packages_.get())) { file_.clear(); |