diff options
author | Aleks Kissinger <aleks0@gmail.com> | 2018-08-02 17:44:37 +0200 |
---|---|---|
committer | Aleks Kissinger <aleks0@gmail.com> | 2018-08-02 17:44:37 +0200 |
commit | 31a78ae551b781eccc47546a2f6d4bf121af24cf (patch) | |
tree | b997a471d484f9b096878919fcd38b074dc7a59a /src/gui/mainwindow.ui | |
parent | f978634e8607f568b83952db9255e08f3f7cbe92 (diff) |
started style editor
Diffstat (limited to 'src/gui/mainwindow.ui')
-rw-r--r-- | src/gui/mainwindow.ui | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/gui/mainwindow.ui b/src/gui/mainwindow.ui index 137d6cf..cae5735 100644 --- a/src/gui/mainwindow.ui +++ b/src/gui/mainwindow.ui @@ -10,6 +10,12 @@ <height>580</height> </rect> </property> + <property name="sizePolicy"> + <sizepolicy hsizetype="Expanding" vsizetype="Preferred"> + <horstretch>0</horstretch> + <verstretch>0</verstretch> + </sizepolicy> + </property> <property name="windowTitle"> <string>TikZiT - untitled</string> </property> |