From 1d6b4708c0093256ee67cc4c8ba1982719243b6d Mon Sep 17 00:00:00 2001
From: Joel Klinghed <the_jk@yahoo.com>
Date: Sat, 29 Jul 2017 18:31:48 +0200
Subject: Handle FILE argument in monitor-gui

---
 src/monitor-gui.cc | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

(limited to 'src/monitor-gui.cc')

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();
   }
 
-- 
cgit v1.2.3-70-g09d2