Allow arbitrary resizing of the main window & restore sidebar's size

fixes #160
fixes #163
fixes #187
fixes #127

1 files changed, 3 insertions, 0 deletions

diff --git a/include/Splitter.h b/include/Splitter.h

index 5591fe55..38b38e84 100644
--- a/include/Splitter.h
+++ b/include/Splitter.h
@@ -24,6 +24,9 @@ class Splitter : public QSplitter
         Q_OBJECT
 public:
         explicit Splitter(QWidget *parent = nullptr);
+        ~Splitter();
+
+        void restoreSizes(int fallback);
 
 private:
         void onSplitterMoved(int pos, int index);