Mercurial > hg > octave-nkf

comparison libgui/src/settings-dialog.ui @ 19234:110702c507e3 gui-release

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
parents 0be65bd7f369
children f3c4b48f3c53
comparison
equal deleted inserted replaced
19201:dddffa2ff413 19234:110702c507e3
30 <width>0</width> 30 <width>0</width>
31 <height>0</height> 31 <height>0</height>
32 </size> 32 </size>
33 </property> 33 </property>
34 <property name="currentIndex"> 34 <property name="currentIndex">
35 <number>1</number> 35 <number>5</number>
36 </property> 36 </property>
37 <widget class="QWidget" name="tab_general"> 37 <widget class="QWidget" name="tab_general">
38 <property name="enabled"> 38 <property name="enabled">
39 <bool>true</bool> 39 <bool>true</bool>
40 </property> 40 </property>
402 </property> 402 </property>
403 <widget class="QWidget" name="scrollAreaWidgetContents"> 403 <widget class="QWidget" name="scrollAreaWidgetContents">
404 <property name="geometry"> 404 <property name="geometry">
405 <rect> 405 <rect>
406 <x>0</x> 406 <x>0</x>
407 <y>-175</y> 407 <y>0</y>
408 <width>662</width> 408 <width>662</width>
409 <height>580</height> 409 <height>580</height>
410 </rect> 410 </rect>
411 </property> 411 </property>
412 <layout class="QVBoxLayout" name="verticalLayout_16"> 412 <layout class="QVBoxLayout" name="verticalLayout_16">
1657 <height>378</height> 1657 <height>378</height>
1658 </rect> 1658 </rect>
1659 </property> 1659 </property>
1660 <layout class="QVBoxLayout" name="verticalLayout_19"> 1660 <layout class="QVBoxLayout" name="verticalLayout_19">
1661 <item> 1661 <item>
1662 <layout class="QVBoxLayout" name="verticalLayout_13"> 1662 <layout class="QGridLayout" name="gridLayout_14">
1663 <item> 1663 <property name="topMargin">
1664 <number>0</number>
1665 </property>
1666 <item row="0" column="0">
1664 <widget class="QGroupBox" name="workspace_colors_box"> 1667 <widget class="QGroupBox" name="workspace_colors_box">
1665 <property name="enabled"> 1668 <property name="enabled">
1666 <bool>true</bool> 1669 <bool>true</bool>
1667 </property> 1670 </property>
1668 <property name="sizePolicy"> 1671 <property name="sizePolicy">
1680 <property name="title"> 1683 <property name="title">
1681 <string>Colors for variable attributes </string> 1684 <string>Colors for variable attributes </string>
1682 </property> 1685 </property>
1683 </widget> 1686 </widget>
1684 </item> 1687 </item>
1685 <item> 1688 <item row="1" column="0">
1686 <widget class="Line" name="line_8"> 1689 <widget class="QCheckBox" name="cb_hide_tool_tips">
1687 <property name="minimumSize"> 1690 <property name="text">
1688 <size> 1691 <string>Hide tool tip</string>
1689 <width>0</width>
1690 <height>1</height>
1691 </size>
1692 </property>
1693 <property name="orientation">
1694 <enum>Qt::Horizontal</enum>
1695 </property> 1692 </property>
1696 </widget> 1693 </widget>
1697 </item> 1694 </item>
1698 </layout> 1695 </layout>
1699 </item> 1696 </item>