From 7b2e1fc1911d0bdddfda0a0b5cd789cf95913961 Mon Sep 17 00:00:00 2001
From: Mason Reed <mason@vector35.com>
Date: Sun, 7 Jul 2024 14:08:59 -0400
Subject: Configurable minimum widget sizing for Splitter

---
 ui/splitter.h | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'ui/splitter.h')

diff --git a/ui/splitter.h b/ui/splitter.h
index a26b6a9d..9d851aa3 100644
--- a/ui/splitter.h
+++ b/ui/splitter.h
@@ -74,6 +74,7 @@ class BINARYNINJAUIAPI Splitter: public QWidget
 
 	Qt::Orientation m_orientation;
 	int m_handleSize;
+	int m_minimumWidgetSize;
 
 	std::vector<SplitterWidget> m_widgets;
 	std::map<QString, SplitterWidgetSizing> m_sizing;
@@ -106,6 +107,9 @@ public:
 	Qt::Orientation orientation() const { return m_orientation; }
 	void setOrientation(Qt::Orientation orientation);
 
+	int minimumWidgetSize() const { return m_minimumWidgetSize; }
+	void setMinimumWidgetSize(int minimumSize);
+
 	QList<int> sizes() const;
 	void setSizes(const QList<int>& sizes);
 
-- 
cgit v1.3.1