From d707b4012c516e1aa15e0cc4b0b01ebdd3a7d184 Mon Sep 17 00:00:00 2001
From: Brian Potchik <brian@vector35.com>
Date: Thu, 21 Nov 2024 15:38:49 -0500
Subject: Remove DockHandler and DockWidget support.

---
 ui/scriptingconsole.h | 1 -
 1 file changed, 1 deletion(-)

(limited to 'ui/scriptingconsole.h')

diff --git a/ui/scriptingconsole.h b/ui/scriptingconsole.h
index 23849e8f..730bba31 100644
--- a/ui/scriptingconsole.h
+++ b/ui/scriptingconsole.h
@@ -207,7 +207,6 @@ class BINARYNINJAUIAPI ScriptingConsole : public SidebarWidget, BinaryNinja::Scr
 	bool getScriptIsActive() const { return m_scriptActive; }
 
 	void clearConsole();
-	void hideConsole();
 
 	void addInput(const std::string& text);
 
-- 
cgit v1.3.1