On 23.10.2016 10:15, Andrew Parsloe wrote:
In an earlier email I managed to overlook the Assumption environment,
provided in the Theorems-AMS-Extended module, as Paul indicated. OK,
more of this kind of thing is to be expected as I enter my dotage, but
when I view the modules dialogue it looks as if it has outgrown its
current arrangement. Have a look at the Theorems modules in the
Available window. The window isn't wide enough for many of these
(particularly AMS-Extended) to show the relevant part on the right of
each entry which distinguishes one from another without using the slider.

Few documents have more than a module or five attached to them. Most of
the Selected window is wasted space. I wonder if the two Defaults
buttons in the penultimate row couldn't be shrunk to fit into the gap in
the bottom row. The Selected window could then be moved below the
description window (and expanded horizontally), the Add/Delete buttons
moved to the right in the space now available, and the Up/Down buttons
brought down beside and to the right of the newly sited Selected window.
The space freed by moving the buttons could now be used to expand the
Available window horizontally. That would allow the names of modules
with long ones, like "Theorems (AMS-Extended, Numbered by Type)" to be
read at a glance.

(In fact I want "Theorems (AMS-Extended, Numbered by Type within
Chapters)", an even longer title, but LyX doesn't provide this out of
the box, although it is easy to create using those provided as models.)

I have not yet rearranged the Defaults buttons but moved the other stuff according to your suggestions (screenshot and patch attached). I hope I understood it correctly.

Daniel

From c0c1861029a942782144dea5fb40958bc67e6c48 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Ram=C3=83=3F=3F=3F=3F=C3=83=3F=3F=3F=C3=83=3F=3F?=
 =?UTF-8?q?=C3=83=3F=C3=82=C2=B6ller?= <d....@web.de>
Date: Mon, 17 Oct 2016 01:21:01 +0200
Subject: [PATCH] Rearrangement of ModulesUi to fit long names.

---
 src/frontends/qt4/ui/ModulesUi.ui | 231 +++++++++++++++++++++++++-------------
 1 file changed, 156 insertions(+), 75 deletions(-)

diff --git a/src/frontends/qt4/ui/ModulesUi.ui 
b/src/frontends/qt4/ui/ModulesUi.ui
index 472a0a2..3c2c8dc 100644
--- a/src/frontends/qt4/ui/ModulesUi.ui
+++ b/src/frontends/qt4/ui/ModulesUi.ui
@@ -1,72 +1,84 @@
-<ui version="4.0" >
+<?xml version="1.0" encoding="UTF-8"?>
+<ui version="4.0">
  <class>ModulesUi</class>
- <widget class="QWidget" name="ModulesUi" >
-  <property name="geometry" >
+ <widget class="QWidget" name="ModulesUi">
+  <property name="geometry">
    <rect>
     <x>0</x>
     <y>0</y>
     <width>407</width>
-    <height>340</height>
+    <height>332</height>
    </rect>
   </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="1" column="0" >
-    <widget class="QTextBrowser" name="infoML" >
-     <property name="sizePolicy" >
-      <sizepolicy vsizetype="Maximum" hsizetype="Expanding" >
-       <horstretch>0</horstretch>
-       <verstretch>0</verstretch>
-      </sizepolicy>
+   <item row="0" column="0">
+    <layout class="QHBoxLayout">
+     <property name="spacing">
+      <number>6</number>
      </property>
-     <property name="maximumSize" >
-      <size>
-       <width>16777215</width>
-       <height>120</height>
-      </size>
+     <property name="leftMargin">
+      <number>0</number>
      </property>
-    </widget>
-   </item>
-   <item row="0" column="0" >
-    <layout class="QHBoxLayout" >
-     <property name="spacing" >
-      <number>6</number>
+     <property name="topMargin">
+      <number>0</number>
      </property>
-     <property name="margin" >
+     <property name="rightMargin">
+      <number>0</number>
+     </property>
+     <property name="bottomMargin">
       <number>0</number>
      </property>
      <item>
-      <layout class="QVBoxLayout" >
-       <property name="spacing" >
+      <layout class="QVBoxLayout">
+       <property name="spacing">
         <number>6</number>
        </property>
-       <property name="margin" >
+       <property name="leftMargin">
+        <number>0</number>
+       </property>
+       <property name="topMargin">
+        <number>0</number>
+       </property>
+       <property name="rightMargin">
+        <number>0</number>
+       </property>
+       <property name="bottomMargin">
         <number>0</number>
        </property>
        <item>
-        <widget class="QLabel" name="availmodL" >
-         <property name="frameShape" >
+        <widget class="QLabel" name="availmodL">
+         <property name="frameShape">
           <enum>QFrame::NoFrame</enum>
          </property>
-         <property name="text" >
+         <property name="text">
           <string>A&amp;vailable:</string>
          </property>
-         <property name="buddy" >
+         <property name="buddy">
           <cstring>availableLV</cstring>
          </property>
         </widget>
        </item>
        <item>
-        <widget class="QTreeView" name="availableLV" >
-         <property name="rootIsDecorated" >
+        <widget class="QTreeView" name="availableLV">
+         <property name="rootIsDecorated">
           <bool>false</bool>
          </property>
         </widget>
@@ -74,63 +86,58 @@
       </layout>
      </item>
      <item>
-      <layout class="QVBoxLayout" >
-       <property name="spacing" >
+      <layout class="QVBoxLayout">
+       <property name="spacing">
         <number>6</number>
        </property>
-       <property name="margin" >
+       <property name="leftMargin">
+        <number>0</number>
+       </property>
+       <property name="topMargin">
+        <number>0</number>
+       </property>
+       <property name="rightMargin">
+        <number>0</number>
+       </property>
+       <property name="bottomMargin">
         <number>0</number>
        </property>
        <item>
         <spacer>
-         <property name="orientation" >
+         <property name="orientation">
           <enum>Qt::Horizontal</enum>
          </property>
-         <property name="sizeHint" stdset="0" >
+         <property name="sizeType">
+          <enum>QSizePolicy::Minimum</enum>
+         </property>
+         <property name="sizeHint" stdset="0">
           <size>
            <width>51</width>
            <height>20</height>
           </size>
          </property>
-         <property name="sizeType">
-          <enum>QSizePolicy::Minimum</enum>
-         </property>
         </spacer>
        </item>
        <item>
-        <widget class="QPushButton" name="addPB" >
-         <property name="text" >
+        <widget class="QPushButton" name="addPB">
+         <property name="text">
           <string>A&amp;dd</string>
          </property>
         </widget>
        </item>
        <item>
-        <widget class="QPushButton" name="deletePB" >
-         <property name="text" >
+        <widget class="QPushButton" name="deletePB">
+         <property name="text">
           <string>De&amp;lete</string>
          </property>
         </widget>
        </item>
        <item>
-        <widget class="QPushButton" name="upPB" >
-         <property name="text" >
-          <string>&amp;Up</string>
-         </property>
-        </widget>
-       </item>
-       <item>
-        <widget class="QPushButton" name="downPB" >
-         <property name="text" >
-          <string>Do&amp;wn</string>
-         </property>
-        </widget>
-       </item>
-       <item>
         <spacer>
-         <property name="orientation" >
+         <property name="orientation">
           <enum>Qt::Vertical</enum>
          </property>
-         <property name="sizeHint" stdset="0" >
+         <property name="sizeHint" stdset="0">
           <size>
            <width>60</width>
            <height>16</height>
@@ -140,33 +147,109 @@
        </item>
       </layout>
      </item>
+    </layout>
+   </item>
+   <item row="1" column="0">
+    <widget class="QTextBrowser" name="infoML">
+     <property name="sizePolicy">
+      <sizepolicy hsizetype="Expanding" vsizetype="Maximum">
+       <horstretch>0</horstretch>
+       <verstretch>0</verstretch>
+      </sizepolicy>
+     </property>
+     <property name="maximumSize">
+      <size>
+       <width>16777215</width>
+       <height>120</height>
+      </size>
+     </property>
+    </widget>
+   </item>
+   <item row="3" column="0">
+    <layout class="QHBoxLayout" name="horizontalLayout_5">
      <item>
-      <layout class="QVBoxLayout" >
-       <property name="spacing" >
+      <layout class="QVBoxLayout">
+       <property name="spacing">
         <number>6</number>
        </property>
-       <property name="margin" >
+       <property name="leftMargin">
+        <number>0</number>
+       </property>
+       <property name="topMargin">
+        <number>0</number>
+       </property>
+       <property name="rightMargin">
+        <number>0</number>
+       </property>
+       <property name="bottomMargin">
         <number>0</number>
        </property>
        <item>
-        <widget class="QLabel" name="selmodL" >
-         <property name="text" >
+        <widget class="QLabel" name="selmodL">
+         <property name="text">
           <string>S&amp;elected:</string>
          </property>
-         <property name="buddy" >
+         <property name="buddy">
           <cstring>selectedLV</cstring>
          </property>
         </widget>
        </item>
        <item>
-        <widget class="QListView" name="selectedLV" >
-         <property name="editTriggers" >
+        <widget class="QListView" name="selectedLV">
+         <property name="editTriggers">
           <set>QAbstractItemView::NoEditTriggers</set>
          </property>
         </widget>
        </item>
       </layout>
      </item>
+     <item>
+      <layout class="QVBoxLayout" name="verticalLayout_2">
+       <item>
+        <spacer name="horizontalSpacer">
+         <property name="orientation">
+          <enum>Qt::Horizontal</enum>
+         </property>
+         <property name="sizeType">
+          <enum>QSizePolicy::Minimum</enum>
+         </property>
+         <property name="sizeHint" stdset="0">
+          <size>
+           <width>40</width>
+           <height>20</height>
+          </size>
+         </property>
+        </spacer>
+       </item>
+       <item>
+        <widget class="QPushButton" name="downPB">
+         <property name="text">
+          <string>Do&amp;wn</string>
+         </property>
+        </widget>
+       </item>
+       <item>
+        <widget class="QPushButton" name="upPB">
+         <property name="text">
+          <string>&amp;Up</string>
+         </property>
+        </widget>
+       </item>
+       <item>
+        <spacer name="verticalSpacer">
+         <property name="orientation">
+          <enum>Qt::Vertical</enum>
+         </property>
+         <property name="sizeHint" stdset="0">
+          <size>
+           <width>20</width>
+           <height>40</height>
+          </size>
+         </property>
+        </spacer>
+       </item>
+      </layout>
+     </item>
     </layout>
    </item>
   </layout>
@@ -175,13 +258,11 @@
   <tabstop>availableLV</tabstop>
   <tabstop>addPB</tabstop>
   <tabstop>deletePB</tabstop>
-  <tabstop>upPB</tabstop>
-  <tabstop>downPB</tabstop>
   <tabstop>selectedLV</tabstop>
   <tabstop>infoML</tabstop>
  </tabstops>
  <includes>
-  <include location="local" >qt_i18n.h</include>
+  <include location="local">qt_i18n.h</include>
  </includes>
  <resources/>
  <connections/>
-- 
2.9.0.windows.1

Reply via email to