Configurable minimum widget sizing for Splitter

1 files changed, 4 insertions, 0 deletions

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);