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>&Open</string>
+ <string>[[do]]&Open</string>
</property>
</widget>
</item>
@@ -231,7 +231,7 @@
<string>Open user directory in file browser</string>
</property>
<property name="text">
- <string>O&pen</string>
+ <string>[[do]]O&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&pen</string>
+ <string>[[is]]O&pen</string>
</property>
</widget>
</item>
--
lyx-cvs mailing list
[email protected]
http://lists.lyx.org/mailman/listinfo/lyx-cvs