diff options
| author | Joel Klinghed <the_jk@yahoo.com> | 2017-07-29 18:31:48 +0200 |
|---|---|---|
| committer | Joel Klinghed <the_jk@yahoo.com> | 2017-07-29 18:31:48 +0200 |
| commit | 1d6b4708c0093256ee67cc4c8ba1982719243b6d (patch) | |
| tree | 1544c5c70d07ab8dfad209b501f84c581fc42e37 /src/gui_main.hh | |
| parent | 8d58ffb022649fd8a28d2f74845fc8ca5c934029 (diff) | |
Handle FILE argument in monitor-gui
Diffstat (limited to 'src/gui_main.hh')
| -rw-r--r-- | src/gui_main.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/gui_main.hh b/src/gui_main.hh index 3b98b71..1baee2f 100644 --- a/src/gui_main.hh +++ b/src/gui_main.hh @@ -26,6 +26,7 @@ public: virtual bool about_to_exit(GuiMain* main) = 0; virtual void selected_row(GuiMain* main, size_t index) = 0; virtual void lost_selection(GuiMain* main) = 0; + virtual void open(GuiMain* main, std::string const& file) = 0; protected: Listener() {} |