mingui adjustments. Fix image item rendering.

Always remove scrollbar dimensions from viewport.
Elide filenames if needed.
Use a splitter in the main widget instead of a fixed layout.

1 files changed, 2 insertions, 1 deletions

diff --git a/mingui/mingui.hpp b/mingui/mingui.hpp
index 6e1f6c2..f0efda6 100644
--- a/mingui/mingui.hpp
+++ b/mingui/mingui.hpp
@@ -15,6 +15,7 @@ class QStatusBar;
 class QScrollArea;
 class QTextEdit;
 class QListView;
+class QSplitter;
 class QStandardItemModel;
 class ImageItemDelegate;
 
@@ -24,7 +25,7 @@ class MinGuiWidget : public QWidget
 {
     Q_OBJECT
 private:
-    QHBoxLayout *l;
+    QSplitter *l;
     QTextEdit *infopanel;
     QLabel *permamsg;
     QStatusBar *sb;