comparison: Plugins/UiExtensionPlugins/Translator/TranslatorWidget.ui
Plugins/UiExtensionPlugins/Translator/TranslatorWidget.ui
- changeset 6577
- 232f83b6763b
- parent 6018
- 1c858879d3d0
equal
deleted
inserted
replaced
45 <width>40</width> |
45 <width>40</width> |
46 <height>20</height> |
46 <height>20</height> |
47 </size> |
47 </size> |
48 </property> |
48 </property> |
49 </spacer> |
49 </spacer> |
|
50 </item> |
|
51 <item> |
|
52 <widget class="QToolButton" name="preferencesButton"> |
|
53 <property name="toolTip"> |
|
54 <string>Press to open the Translator configuration page</string> |
|
55 </property> |
|
56 </widget> |
50 </item> |
57 </item> |
51 </layout> |
58 </layout> |
52 </item> |
59 </item> |
53 <item> |
60 <item> |
54 <layout class="QGridLayout" name="gridLayout"> |
61 <layout class="QGridLayout" name="gridLayout"> |