diff options
| author | Aleks Kissinger <aleks0@gmail.com> | 2018-02-15 16:32:33 +0100 |
|---|---|---|
| committer | Aleks Kissinger <aleks0@gmail.com> | 2018-02-15 16:32:33 +0100 |
| commit | 09c331761648541de907c866c56fb6084c6f7a9b (patch) | |
| tree | 8e5a11c282255a0e5248c8a6093e362aa136861f /src/gui/mainwindow.ui | |
| parent | 768e097abd17d07dd2748894b4dc1b09471dd6da (diff) | |
added support for changing edge mode, and started working on windows support
Diffstat (limited to 'src/gui/mainwindow.ui')
| -rw-r--r-- | src/gui/mainwindow.ui | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/gui/mainwindow.ui b/src/gui/mainwindow.ui index 56a5c2d..137d6cf 100644 --- a/src/gui/mainwindow.ui +++ b/src/gui/mainwindow.ui @@ -7,13 +7,19 @@ <x>0</x> <y>0</y> <width>640</width> - <height>480</height> + <height>580</height> </rect> </property> <property name="windowTitle"> <string>TikZiT - untitled</string> </property> <widget class="QWidget" name="centralWidget"> + <property name="sizePolicy"> + <sizepolicy hsizetype="Expanding" vsizetype="Preferred"> + <horstretch>0</horstretch> + <verstretch>0</verstretch> + </sizepolicy> + </property> <layout class="QVBoxLayout" name="verticalLayout"> <property name="leftMargin"> <number>0</number> |