From 08f25e6bf61122058049a400f991a0c3e1534d1e Mon Sep 17 00:00:00 2001
From: Brian Potchik <brian@vector35.com>
Date: Wed, 1 May 2019 22:25:23 -0400
Subject: DockWidget interface updates to better support UI plugins.

---
 ui/scriptingconsole.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'ui/scriptingconsole.h')

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);
-- 
cgit v1.3.1