Handle FILE argument in monitor-gui

1 files changed, 14 insertions, 1 deletions

diff --git a/src/monitor-gui.cc b/src/monitor-gui.cc
index 4abdd21..3419025 100644
--- a/src/monitor-gui.cc
+++ b/src/monitor-gui.cc
@@ -927,6 +927,16 @@ public:
     menu_->enable_item(ACTION_COPY_TEXT, false);
   }
 
+  void open(GuiMain*, std::string const& file) override {
+    if (abort_if_modified()) return;
+    file_ = file;
+    if (!load(file_, packages_.get())) {
+      file_.clear();
+    }
+    modified_ = false;
+    update_title();
+  }
+
   // GuiTextWindow::Listener
   bool about_to_close(GuiTextWindow* wnd) override {
     assert(proxy_logwnd_.get() == wnd);
@@ -1066,7 +1076,10 @@ private:
                                file_filter_);
     if (file_.empty()) return;
 
-    load(file_, packages_.get());
+    if (!load(file_, packages_.get())) {
+      file_.clear();
+    }
+    modified_ = false;
     update_title();
   }