Mercurial > hg > octave-jordi
diff libgui/src/settings-dialog.ui @ 19041:110702c507e3 gui-release
user setting for hiding the tool tip in the workspace view (part of bug #42306)
* settings-dialog.ui: new checkbox for hiding the tool tip in workspace pane
* settings-dialog.cc (constructor): set new checkbox according to settings;
(write_changed_settings): write checkbox state into settings file
* workspace-view.cc (notice-settings): set an empty tool tip if the user
wants to hide the tool tip
| author | Torsten <ttl@justmail.de> |
|---|---|
| date | Sat, 23 Aug 2014 13:19:12 +0200 (2014-08-23) |
| parents | 0be65bd7f369 |
| children | f3c4b48f3c53 |
line wrap: on
line diff
--- a/libgui/src/settings-dialog.ui +++ b/libgui/src/settings-dialog.ui @@ -32,7 +32,7 @@ </size> </property> <property name="currentIndex"> - <number>1</number> + <number>5</number> </property> <widget class="QWidget" name="tab_general"> <property name="enabled"> @@ -404,7 +404,7 @@ <property name="geometry"> <rect> <x>0</x> - <y>-175</y> + <y>0</y> <width>662</width> <height>580</height> </rect> @@ -1659,8 +1659,11 @@ </property> <layout class="QVBoxLayout" name="verticalLayout_19"> <item> - <layout class="QVBoxLayout" name="verticalLayout_13"> - <item> + <layout class="QGridLayout" name="gridLayout_14"> + <property name="topMargin"> + <number>0</number> + </property> + <item row="0" column="0"> <widget class="QGroupBox" name="workspace_colors_box"> <property name="enabled"> <bool>true</bool> @@ -1682,16 +1685,10 @@ </property> </widget> </item> - <item> - <widget class="Line" name="line_8"> - <property name="minimumSize"> - <size> - <width>0</width> - <height>1</height> - </size> - </property> - <property name="orientation"> - <enum>Qt::Horizontal</enum> + <item row="1" column="0"> + <widget class="QCheckBox" name="cb_hide_tool_tips"> + <property name="text"> + <string>Hide tool tip</string> </property> </widget> </item>