diff options
| author | André Nusser <andre.nusser@googlemail.com> | 2017-04-01 17:06:29 +0200 |
|---|---|---|
| committer | André Nusser <andre.nusser@googlemail.com> | 2017-04-01 17:08:16 +0200 |
| commit | ce19cf9c61bfe241e736ab28c7dbb01a08325d69 (patch) | |
| tree | 63001aab412d014a1d01a3a45dae38572db91f48 /plugingui/mainwindow.h | |
| parent | a51479061c5fdcfbd9fabb14f4b597f2748d919d (diff) | |
Fix closing of MainWindow.
Diffstat (limited to 'plugingui/mainwindow.h')
| -rw-r--r-- | plugingui/mainwindow.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugingui/mainwindow.h b/plugingui/mainwindow.h index 89e323a..4b5dad1 100644 --- a/plugingui/mainwindow.h +++ b/plugingui/mainwindow.h @@ -51,10 +51,10 @@ public: //! Notify when window is closing. Notifier<> closeNotifier; + void closeEventHandler(); private: void sizeChanged(std::size_t width, std::size_t height); - void closeEventHandler(); // From Widget void repaintEvent(RepaintEvent* repaintEvent) override final; |