diff options
| author | Tannin <devnull@localhost> | 2014-02-17 21:15:20 +0100 |
|---|---|---|
| committer | Tannin <devnull@localhost> | 2014-02-17 21:15:20 +0100 |
| commit | f9eba9dc15ec655cc16efbb1ddccac3a562741d5 (patch) | |
| tree | b5768886088af4321285e24568d42ee2b200c47f /src/mainwindow.ui | |
| parent | 9c8e43853dfeb6ac80faffe0960222ff0f087fd3 (diff) | |
- ini file changes that would have to overwrite ini tweaks are now stored in a separate file
and actually get used.
- a warning message advices users to clean out that separate file
- slightly improved default main window layout
- bugfix: newly created ini tweaks were added to the list with incorrect properties
Diffstat (limited to 'src/mainwindow.ui')
| -rw-r--r-- | src/mainwindow.ui | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/mainwindow.ui b/src/mainwindow.ui index 110c14c6..26cbbf83 100644 --- a/src/mainwindow.ui +++ b/src/mainwindow.ui @@ -6,8 +6,8 @@ <rect>
<x>0</x>
<y>0</y>
- <width>868</width>
- <height>701</height>
+ <width>926</width>
+ <height>710</height>
</rect>
</property>
<property name="windowTitle">
|