commit 73df32bec46300d7c3b2cbdf7d100f228d846927
Author: Juergen Spitzmueller <[email protected]>
Date:   Sat Jan 9 09:44:38 2021 +0100

    Disambiguate homographic inflections
    
    These are not homographic in other languages
    (e.g. German "Öffnen" vs. "Geöffnet")
---
 src/frontends/qt/ui/AboutUi.ui |    8 ++++----
 src/frontends/qt/ui/ERTUi.ui   |   27 +++++++++++++++++++++++----
 2 files changed, 27 insertions(+), 8 deletions(-)

diff --git a/src/frontends/qt/ui/AboutUi.ui b/src/frontends/qt/ui/AboutUi.ui
index 8da595f..7ae4ebd 100644
--- a/src/frontends/qt/ui/AboutUi.ui
+++ b/src/frontends/qt/ui/AboutUi.ui
@@ -6,8 +6,8 @@
    <rect>
     <x>0</x>
     <y>0</y>
-    <width>482</width>
-    <height>387</height>
+    <width>552</width>
+    <height>402</height>
    </rect>
   </property>
   <property name="windowTitle">
@@ -162,7 +162,7 @@
                <string>Open library directory in file browser</string>
               </property>
               <property name="text">
-               <string>&amp;Open</string>
+               <string>[[do]]&amp;Open</string>
               </property>
              </widget>
             </item>
@@ -231,7 +231,7 @@
                <string>Open user directory in file browser</string>
               </property>
               <property name="text">
-               <string>O&amp;pen</string>
+               <string>[[do]]O&amp;pen</string>
               </property>
               <property name="flat">
                <bool>false</bool>
diff --git a/src/frontends/qt/ui/ERTUi.ui b/src/frontends/qt/ui/ERTUi.ui
index 0a4e841..0b2666e 100644
--- a/src/frontends/qt/ui/ERTUi.ui
+++ b/src/frontends/qt/ui/ERTUi.ui
@@ -1,3 +1,4 @@
+<?xml version="1.0" encoding="UTF-8"?>
 <ui version="4.0">
  <class>ERTUi</class>
  <widget class="QWidget" name="ERTUi">
@@ -6,7 +7,7 @@
     <x>0</x>
     <y>0</y>
     <width>175</width>
-    <height>99</height>
+    <height>135</height>
    </rect>
   </property>
   <property name="windowTitle">
@@ -19,7 +20,16 @@
    <property name="spacing">
     <number>6</number>
    </property>
-   <property name="margin">
+   <property name="leftMargin">
+    <number>11</number>
+   </property>
+   <property name="topMargin">
+    <number>11</number>
+   </property>
+   <property name="rightMargin">
+    <number>11</number>
+   </property>
+   <property name="bottomMargin">
     <number>11</number>
    </property>
    <item>
@@ -31,7 +41,16 @@
       <property name="spacing">
        <number>6</number>
       </property>
-      <property name="margin">
+      <property name="leftMargin">
+       <number>11</number>
+      </property>
+      <property name="topMargin">
+       <number>11</number>
+      </property>
+      <property name="rightMargin">
+       <number>11</number>
+      </property>
+      <property name="bottomMargin">
        <number>11</number>
       </property>
       <item>
@@ -50,7 +69,7 @@
          <string>Show ERT contents</string>
         </property>
         <property name="text">
-         <string>O&amp;pen</string>
+         <string>[[is]]O&amp;pen</string>
         </property>
        </widget>
       </item>
-- 
lyx-cvs mailing list
[email protected]
http://lists.lyx.org/mailman/listinfo/lyx-cvs

Reply via email to