On 31/10/2018 15:25, Daniel wrote:
On 31/10/2018 07:57, Daniel wrote:
On 31/10/2018 07:24, Daniel wrote:
On 30/10/2018 21:23, Daniel wrote:
On 30/10/2018 17:37, Daniel wrote:
On 30/10/2018 16:46, Scott Kostyshak wrote:
On Tue, Oct 30, 2018 at 04:16:16PM +0100, Daniel wrote:
Thanks for checking. The minimum height was actually a bit
imprecise. I
should have written: "fixed at minimum height". In current master
you can
increase the height but I couldn't see what is to be gained by
this and many
other apps have fixed height find dialogs.
Ah I see. Thanks for the explanation. Seems reasonable to me.
Great. When I find time, I go ahead and fix what seem to me
positioning issues in the other dialogs.
Daniel
Spellchecker dialog.
Thesaurus dialog.
Compare dialog.
Preferences dialog. (This might be a more controversial change.)
Messages Pane.
>From 7096147624ff1d3564a670fd9a09b77f220da27c Mon Sep 17 00:00:00 2001
From: Daniel Ramoeller <d....@web.de>
Date: Wed, 31 Oct 2018 17:44:27 +0100
Subject: [PATCH] Fix for Messages dialog UI: - keep the options together
---
src/frontends/qt4/ui/ProgressViewUi.ui | 213 ++++++++++++++-----------
1 file changed, 119 insertions(+), 94 deletions(-)
diff --git a/src/frontends/qt4/ui/ProgressViewUi.ui
b/src/frontends/qt4/ui/ProgressViewUi.ui
index 1ae1c6d653..8ac7a326b6 100644
--- a/src/frontends/qt4/ui/ProgressViewUi.ui
+++ b/src/frontends/qt4/ui/ProgressViewUi.ui
@@ -1,165 +1,184 @@
-<ui version="4.0" >
- <author></author>
- <comment></comment>
- <exportmacro></exportmacro>
+<?xml version="1.0" encoding="UTF-8"?>
+<ui version="4.0">
<class>ProgressViewUi</class>
- <widget class="QWidget" name="ProgressViewUi" >
- <property name="geometry" >
+ <widget class="QWidget" name="ProgressViewUi">
+ <property name="geometry">
<rect>
<x>0</x>
<y>0</y>
- <width>543</width>
+ <width>498</width>
<height>298</height>
</rect>
</property>
- <property name="sizePolicy" >
- <sizepolicy>
- <hsizetype>7</hsizetype>
- <vsizetype>13</vsizetype>
+ <property name="sizePolicy">
+ <sizepolicy hsizetype="Expanding" vsizetype="Ignored">
<horstretch>0</horstretch>
<verstretch>0</verstretch>
</sizepolicy>
</property>
- <property name="minimumSize" >
+ <property name="minimumSize">
<size>
<width>0</width>
<height>0</height>
</size>
</property>
- <property name="sizeIncrement" >
+ <property name="sizeIncrement">
<size>
<width>0</width>
<height>0</height>
</size>
</property>
- <property name="baseSize" >
+ <property name="baseSize">
<size>
<width>0</width>
<height>0</height>
</size>
</property>
- <property name="windowTitle" >
+ <property name="windowTitle">
<string/>
</property>
- <layout class="QGridLayout" >
- <property name="margin" >
+ <layout class="QGridLayout">
+ <property name="leftMargin">
<number>9</number>
</property>
- <property name="spacing" >
+ <property name="topMargin">
+ <number>9</number>
+ </property>
+ <property name="rightMargin">
+ <number>9</number>
+ </property>
+ <property name="bottomMargin">
+ <number>9</number>
+ </property>
+ <property name="spacing">
<number>6</number>
</property>
- <item row="0" column="0" >
- <widget class="QTabWidget" name="tabWidget" >
- <property name="enabled" >
+ <item row="0" column="0">
+ <widget class="QTabWidget" name="tabWidget">
+ <property name="enabled">
<bool>true</bool>
</property>
- <property name="sizePolicy" >
- <sizepolicy>
- <hsizetype>7</hsizetype>
- <vsizetype>13</vsizetype>
+ <property name="sizePolicy">
+ <sizepolicy hsizetype="Expanding" vsizetype="Ignored">
<horstretch>0</horstretch>
<verstretch>0</verstretch>
</sizepolicy>
</property>
- <property name="baseSize" >
+ <property name="baseSize">
<size>
<width>0</width>
<height>0</height>
</size>
</property>
- <property name="acceptDrops" >
+ <property name="acceptDrops">
<bool>false</bool>
</property>
- <property name="layoutDirection" >
+ <property name="layoutDirection">
<enum>Qt::LeftToRight</enum>
</property>
- <property name="autoFillBackground" >
+ <property name="autoFillBackground">
<bool>false</bool>
</property>
- <property name="tabPosition" >
+ <property name="tabPosition">
<enum>QTabWidget::East</enum>
</property>
- <property name="tabShape" >
+ <property name="tabShape">
<enum>QTabWidget::Rounded</enum>
</property>
- <property name="currentIndex" >
+ <property name="currentIndex">
<number>0</number>
</property>
- <widget class="QWidget" name="tab" >
- <attribute name="title" >
+ <widget class="QWidget" name="tab">
+ <attribute name="title">
<string>Output</string>
</attribute>
- <layout class="QGridLayout" >
- <property name="margin" >
+ <layout class="QGridLayout">
+ <property name="leftMargin">
+ <number>9</number>
+ </property>
+ <property name="topMargin">
+ <number>9</number>
+ </property>
+ <property name="rightMargin">
+ <number>9</number>
+ </property>
+ <property name="bottomMargin">
<number>9</number>
</property>
- <property name="spacing" >
+ <property name="spacing">
<number>6</number>
</property>
- <item row="0" column="0" >
- <widget class="QTextEdit" name="outTE" >
- <property name="sizePolicy" >
- <sizepolicy>
- <hsizetype>7</hsizetype>
- <vsizetype>13</vsizetype>
+ <item row="0" column="0">
+ <widget class="QTextEdit" name="outTE">
+ <property name="sizePolicy">
+ <sizepolicy hsizetype="Expanding" vsizetype="Ignored">
<horstretch>1</horstretch>
<verstretch>0</verstretch>
</sizepolicy>
</property>
- <property name="maximumSize" >
+ <property name="maximumSize">
<size>
<width>16777215</width>
<height>16777215</height>
</size>
</property>
- <property name="frameShape" >
+ <property name="frameShape">
<enum>QFrame::StyledPanel</enum>
</property>
- <property name="frameShadow" >
+ <property name="frameShadow">
<enum>QFrame::Sunken</enum>
</property>
- <property name="lineWidth" >
+ <property name="lineWidth">
<number>1</number>
</property>
- <property name="readOnly" >
+ <property name="readOnly">
<bool>true</bool>
</property>
</widget>
</item>
</layout>
</widget>
- <widget class="QWidget" name="tab_2" >
- <attribute name="title" >
+ <widget class="QWidget" name="tab_2">
+ <attribute name="title">
<string>Settings</string>
</attribute>
- <layout class="QGridLayout" >
- <property name="margin" >
+ <layout class="QGridLayout" columnstretch="0,1">
+ <property name="leftMargin">
<number>9</number>
</property>
- <property name="spacing" >
+ <property name="topMargin">
+ <number>9</number>
+ </property>
+ <property name="rightMargin">
+ <number>9</number>
+ </property>
+ <property name="bottomMargin">
+ <number>9</number>
+ </property>
+ <property name="spacing">
<number>6</number>
</property>
- <item rowspan="4" row="0" column="1" >
- <widget class="QTreeWidget" name="debugMessagesTW" >
- <property name="toolTip" >
+ <item row="0" column="1" rowspan="4">
+ <widget class="QTreeWidget" name="debugMessagesTW">
+ <property name="toolTip">
<string>Select the debug messages that should be displayed</string>
</property>
<column>
- <property name="text" >
+ <property name="text">
<string>1</string>
</property>
</column>
</widget>
</item>
- <item row="3" column="0" >
+ <item row="3" column="0">
<spacer>
- <property name="orientation" >
+ <property name="orientation">
<enum>Qt::Vertical</enum>
</property>
- <property name="sizeType" >
+ <property name="sizeType">
<enum>QSizePolicy::Preferred</enum>
</property>
- <property name="sizeHint" >
+ <property name="sizeHint" stdset="0">
<size>
<width>187</width>
<height>3</height>
@@ -167,62 +186,69 @@
</property>
</spacer>
</item>
- <item row="2" column="0" >
- <widget class="QCheckBox" name="autoClearCB" >
- <property name="toolTip" >
+ <item row="2" column="0">
+ <widget class="QCheckBox" name="autoClearCB">
+ <property name="toolTip">
<string>Automatic cleanup of the window before LaTeX compilation
proceeds</string>
</property>
- <property name="text" >
+ <property name="text">
<string>&Clear automatically</string>
</property>
</widget>
</item>
- <item row="1" column="0" >
- <widget class="QGroupBox" name="groupBox" >
- <property name="sizePolicy" >
- <sizepolicy>
- <hsizetype>5</hsizetype>
- <vsizetype>0</vsizetype>
+ <item row="1" column="0">
+ <widget class="QGroupBox" name="groupBox">
+ <property name="sizePolicy">
+ <sizepolicy hsizetype="Preferred" vsizetype="Fixed">
<horstretch>0</horstretch>
<verstretch>0</verstretch>
</sizepolicy>
</property>
- <property name="title" >
+ <property name="title">
<string>Debug messages</string>
</property>
- <layout class="QGridLayout" >
- <property name="margin" >
+ <layout class="QGridLayout">
+ <property name="leftMargin">
+ <number>9</number>
+ </property>
+ <property name="topMargin">
+ <number>9</number>
+ </property>
+ <property name="rightMargin">
+ <number>9</number>
+ </property>
+ <property name="bottomMargin">
<number>9</number>
</property>
- <property name="spacing" >
+ <property name="spacing">
<number>6</number>
</property>
- <item row="0" column="0" >
- <widget class="QRadioButton" name="debugNoneRB" >
- <property name="toolTip" >
+ <item row="0" column="0">
+ <widget class="QRadioButton" name="debugNoneRB">
+ <property name="toolTip">
<string>Display no debug messages</string>
</property>
- <property name="text" >
+ <property name="text">
<string>&None</string>
</property>
</widget>
</item>
- <item row="0" column="1" >
- <widget class="QRadioButton" name="debugSelectedRB" >
- <property name="toolTip" >
+ <item row="0" column="1">
+ <widget class="QRadioButton" name="debugSelectedRB">
+ <property name="toolTip">
<string>Display the debug messages selected to the right</string>
</property>
- <property name="text" >
+ <property name="text">
<string>S&elected</string>
</property>
</widget>
</item>
- <item row="0" column="2" >
- <widget class="QRadioButton" name="debugAnyRB" >
- <property name="toolTip" >
+ <item row="0" column="2">
+ <widget class="QRadioButton" name="debugAnyRB">
+ <property name="toolTip">
<string>Display all debug messages</string>
</property>
- <property name="text" >
+ <property name="text">
<string>&All</string>
</property>
</widget>
@@ -230,15 +256,15 @@
</layout>
</widget>
</item>
- <item row="0" column="0" >
- <widget class="QCheckBox" name="sbarCB" >
- <property name="toolTip" >
+ <item row="0" column="0">
+ <widget class="QCheckBox" name="sbarCB">
+ <property name="toolTip">
<string>Display statusbar messages?</string>
</property>
- <property name="text" >
+ <property name="text">
<string>&Statusbar messages</string>
</property>
- <property name="checked" >
+ <property name="checked">
<bool>true</bool>
</property>
</widget>
@@ -249,9 +275,8 @@
</item>
</layout>
</widget>
- <pixmapfunction></pixmapfunction>
<includes>
- <include location="local" >qt_i18n.h</include>
+ <include location="local">qt_i18n.h</include>
</includes>
<resources/>
<connections/>
--
2.17.0.windows.1