Pavel Sanda wrote: > > You're right, I was confused myself now by the UI. These texts on the tabs > > ("Basic" and "Advanced") don't make sense to me. Shouldn't that be renamed > > to "Search" and "Settings" or something similar? > > yes, looks more correct to me.
Tommaso, is this fine with you? pavel
diff --git a/src/frontends/qt4/ui/FindAndReplaceUi.ui b/src/frontends/qt4/ui/FindAndReplaceUi.ui index caa08e1..a57a17b 100644 --- a/src/frontends/qt4/ui/FindAndReplaceUi.ui +++ b/src/frontends/qt4/ui/FindAndReplaceUi.ui @@ -17,7 +17,7 @@ </property> <widget class="QWidget" name="basicTab" > <attribute name="title" > - <string>Basi&c</string> + <string>Sear&ch</string> </attribute> <layout class="QGridLayout" name="gridLayout" > <item row="0" column="0" > @@ -160,7 +160,7 @@ </widget> <widget class="QWidget" name="advancedTab" > <attribute name="title" > - <string>Ad&vanced</string> + <string>S&ettings</string> </attribute> <layout class="QGridLayout" name="gridLayout_2" > <item row="0" column="0" colspan="2" >