summaryrefslogtreecommitdiff
path: root/src/monitor-gui.cc
diff options
context:
space:
mode:
Diffstat (limited to 'src/monitor-gui.cc')
-rw-r--r--src/monitor-gui.cc15
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();
}