- Improved properties pannel by using a Splitter to allow the user to set the height of the pannel

src/propertieswidget.h

@@ -66,6 +66,7 @@ private:
   QAction *actionNormal;
   QAction *actionMaximum;
   QAction *actionHigh;
+  QList<int> slideSizes;
 
 protected:
   QPushButton* getButtonFromIndex(int index);