diff options
| author | Brian Potchik <brian@vector35.com> | 2019-05-01 22:25:23 -0400 |
|---|---|---|
| committer | Brian Potchik <brian@vector35.com> | 2019-05-01 22:25:23 -0400 |
| commit | 08f25e6bf61122058049a400f991a0c3e1534d1e (patch) | |
| tree | 163893bfd5799991e545ee52c25f3aa1834d0100 /ui/scriptingconsole.h | |
| parent | 37e5d8f3ab4d12a55ca7e38d13ecd4220308bae1 (diff) | |
DockWidget interface updates to better support UI plugins.
Diffstat (limited to 'ui/scriptingconsole.h')
| -rw-r--r-- | ui/scriptingconsole.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ui/scriptingconsole.h b/ui/scriptingconsole.h index 4059df2a..a2c5c199 100644 --- a/ui/scriptingconsole.h +++ b/ui/scriptingconsole.h @@ -91,8 +91,8 @@ private Q_SLOTS: protected: void customEvent(QEvent* event) override; - void focusInput() override; - void updateFonts() override; + void notifyFontChanged() override; + void notifyVisibilityChanged(bool visible) override; public: ScriptingConsole(QWidget* parent, const QString& providerName, const QString& instanceName, ScriptingInstanceRef instance); |