comparison libgui/src/settings-dialog.ui @ 19464:472a5572849c gui-release

hiding horizontal scroll bar in editor when not needed (bug #41592) * file-editor-tab.cc (notice_settings): only show horizontal scroll bar if set in the settings and set scroll size to -1 (no scroll bar if not needed) * settings-dialog.ui: new checkbox for enabling horizontal scroll bar * settings-dialog.cc (ctor): init new checkbox with value from settings file; (write_changed_settings): write state from new checkbox into settings file
author Torsten <ttl@justmail.de>
date Fri, 26 Dec 2014 09:10:38 +0100
parents d93293218966
children f9a944b9e1cb
comparison
equal deleted inserted replaced
19463:be53bf420464 19464:472a5572849c
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>0</number> 35 <number>1</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>
452 <property name="geometry"> 452 <property name="geometry">
453 <rect> 453 <rect>
454 <x>0</x> 454 <x>0</x>
455 <y>0</y> 455 <y>0</y>
456 <width>662</width> 456 <width>662</width>
457 <height>634</height> 457 <height>661</height>
458 </rect> 458 </rect>
459 </property> 459 </property>
460 <layout class="QVBoxLayout" name="verticalLayout_16"> 460 <layout class="QVBoxLayout" name="verticalLayout_16">
461 <item> 461 <item>
462 <layout class="QVBoxLayout" name="verticalLayout_9"> 462 <layout class="QVBoxLayout" name="verticalLayout_9">
779 </size> 779 </size>
780 </property> 780 </property>
781 </spacer> 781 </spacer>
782 </item> 782 </item>
783 </layout> 783 </layout>
784 </item>
785 <item row="9" column="0">
786 <widget class="QCheckBox" name="cb_show_hscrollbar">
787 <property name="enabled">
788 <bool>true</bool>
789 </property>
790 <property name="text">
791 <string>Show horizontal scroll bar</string>
792 </property>
793 <property name="checked">
794 <bool>true</bool>
795 </property>
796 </widget>
784 </item> 797 </item>
785 </layout> 798 </layout>
786 </item> 799 </item>
787 <item> 800 <item>
788 <widget class="Line" name="line"> 801 <widget class="Line" name="line">