Mercurial > hg > octave-nkf

comparison libgui/src/settings-dialog.ui @ 18557:6eae8ba32e62 gui-release

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
provide a long line marker in the editor * settings-dialog.ui: checkbox (enable) and spinbox (at column) for long line marker settings * settings-dialog.cc (constructor): insert line marker settings from file into the settings dialog; (write_changes_settings): write line marker settings from dialog into the file * file-editor-tab.cc (notice_settings): read line marker settings from file
author Torsten <ttl@justmail.de>
date Tue, 18 Feb 2014 21:38:51 +0100
parents 3a509de8e791
children 3cb0e58a071d
comparison
equal deleted inserted replaced
18554:ca65b05b9a8a 18557:6eae8ba32e62
387 <property name="geometry"> 387 <property name="geometry">
388 <rect> 388 <rect>
389 <x>0</x> 389 <x>0</x>
390 <y>0</y> 390 <y>0</y>
391 <width>662</width> 391 <width>662</width>
392 <height>419</height> 392 <height>470</height>
393 </rect> 393 </rect>
394 </property> 394 </property>
395 <layout class="QVBoxLayout" name="verticalLayout_16"> 395 <layout class="QVBoxLayout" name="verticalLayout_16">
396 <item> 396 <item>
397 <layout class="QVBoxLayout" name="verticalLayout_9"> 397 <layout class="QVBoxLayout" name="verticalLayout_9">
398 <item> 398 <item>
399 <layout class="QGridLayout" name="editor_common_settings_grid"> 399 <layout class="QGridLayout" name="editor_common_settings_grid">
400 <property name="spacing"> 400 <property name="horizontalSpacing">
401 <number>6</number> 401 <number>6</number>
402 </property> 402 </property>
403 <item row="3" column="0"> 403 <item row="3" column="0">
404 <widget class="QCheckBox" name="editor_ws_checkbox"> 404 <widget class="QCheckBox" name="editor_ws_checkbox">
405 <property name="text"> 405 <property name="text">
438 <property name="text"> 438 <property name="text">
439 <string>Do not show whitespace used for indentation</string> 439 <string>Do not show whitespace used for indentation</string>
440 </property> 440 </property>
441 </widget> 441 </widget>
442 </item> 442 </item>
443 <item row="4" column="4">
444 <spacer name="horizontalSpacer_18">
445 <property name="orientation">
446 <enum>Qt::Horizontal</enum>
447 </property>
448 <property name="sizeHint" stdset="0">
449 <size>
450 <width>40</width>
451 <height>20</height>
452 </size>
453 </property>
454 </spacer>
455 </item>
456 <item row="4" column="0"> 443 <item row="4" column="0">
457 <widget class="QCheckBox" name="editor_highlightCurrentLine"> 444 <widget class="QCheckBox" name="editor_highlightCurrentLine">
458 <property name="enabled"> 445 <property name="enabled">
459 <bool>true</bool> 446 <bool>true</bool>
460 </property> 447 </property>
512 </item> 499 </item>
513 </layout> 500 </layout>
514 </item> 501 </item>
515 <item row="1" column="4"> 502 <item row="1" column="4">
516 <spacer name="horizontalSpacer_12"> 503 <spacer name="horizontalSpacer_12">
517 <property name="orientation">
518 <enum>Qt::Horizontal</enum>
519 </property>
520 <property name="sizeHint" stdset="0">
521 <size>
522 <width>40</width>
523 <height>20</height>
524 </size>
525 </property>
526 </spacer>
527 </item>
528 <item row="2" column="4">
529 <spacer name="horizontalSpacer_16">
530 <property name="orientation">
531 <enum>Qt::Horizontal</enum>
532 </property>
533 <property name="sizeHint" stdset="0">
534 <size>
535 <width>40</width>
536 <height>20</height>
537 </size>
538 </property>
539 </spacer>
540 </item>
541 <item row="3" column="4">
542 <spacer name="horizontalSpacer_17">
543 <property name="orientation"> 504 <property name="orientation">
544 <enum>Qt::Horizontal</enum> 505 <enum>Qt::Horizontal</enum>
545 </property> 506 </property>
546 <property name="sizeHint" stdset="0"> 507 <property name="sizeHint" stdset="0">
547 <size> 508 <size>
627 <width>10</width> 588 <width>10</width>
628 <height>0</height> 589 <height>0</height>
629 </size> 590 </size>
630 </property> 591 </property>
631 </spacer> 592 </spacer>
593 </item>
594 <item row="5" column="0">
595 <widget class="QCheckBox" name="editor_long_line_marker">
596 <property name="toolTip">
597 <string>This works well for monospaced fonts. The line is drawn at a position based on the width of a space character in the default font. It may not work very well if styles use proportional fonts or if varied font sizes or bold, italic and normal texts are used.</string>
598 </property>
599 <property name="text">
600 <string>Draw a long line marker</string>
601 </property>
602 <property name="checked">
603 <bool>true</bool>
604 </property>
605 </widget>
606 </item>
607 <item row="5" column="2">
608 <layout class="QHBoxLayout" name="horizontalLayout_3">
609 <item>
610 <widget class="QLabel" name="editor_long_line_column_text">
611 <property name="text">
612 <string>After Column</string>
613 </property>
614 </widget>
615 </item>
616 <item>
617 <widget class="QSpinBox" name="editor_long_line_column">
618 <property name="minimum">
619 <number>2</number>
620 </property>
621 <property name="maximum">
622 <number>256</number>
623 </property>
624 <property name="value">
625 <number>80</number>
626 </property>
627 </widget>
628 </item>
629 <item>
630 <spacer name="horizontalSpacer_7">
631 <property name="orientation">
632 <enum>Qt::Horizontal</enum>
633 </property>
634 <property name="sizeHint" stdset="0">
635 <size>
636 <width>40</width>
637 <height>20</height>
638 </size>
639 </property>
640 </spacer>
641 </item>
642 </layout>
632 </item> 643 </item>
633 </layout> 644 </layout>
634 </item> 645 </item>
635 <item> 646 <item>
636 <widget class="Line" name="line"> 647 <widget class="Line" name="line">
776 </property> 787 </property>
777 </widget> 788 </widget>
778 </item> 789 </item>
779 <item> 790 <item>
780 <layout class="QGridLayout" name="gridLayout_2"> 791 <layout class="QGridLayout" name="gridLayout_2">
781 <property name="verticalSpacing">
782 <number>0</number>
783 </property>
784 <item row="1" column="1"> 792 <item row="1" column="1">
785 <layout class="QHBoxLayout" name="horizontalLayout_2"> 793 <layout class="QHBoxLayout" name="horizontalLayout_2">
786 <property name="spacing"> 794 <property name="spacing">
787 <number>6</number> 795 <number>6</number>
788 </property> 796 </property>
798 </item> 806 </item>
799 </layout> 807 </layout>
800 </item> 808 </item>
801 <item row="2" column="1"> 809 <item row="2" column="1">
802 <layout class="QGridLayout" name="gridLayout_3"> 810 <layout class="QGridLayout" name="gridLayout_3">
803 <property name="verticalSpacing">
804 <number>0</number>
805 </property>
806 <item row="0" column="1"> 811 <item row="0" column="1">
807 <spacer name="horizontalSpacer_15"> 812 <spacer name="horizontalSpacer_15">
808 <property name="orientation"> 813 <property name="orientation">
809 <enum>Qt::Horizontal</enum> 814 <enum>Qt::Horizontal</enum>
810 </property> 815 </property>
928 <property name="value"> 933 <property name="value">
929 <number>2</number> 934 <number>2</number>
930 </property> 935 </property>
931 </widget> 936 </widget>
932 </item> 937 </item>
933 <item row="0" column="0">
934 <widget class="QCheckBox" name="editor_codeCompletion">
935 <property name="enabled">
936 <bool>true</bool>
937 </property>
938 <property name="text">
939 <string>Show completion list automatically ...</string>
940 </property>
941 <property name="checked">
942 <bool>false</bool>
943 </property>
944 </widget>
945 </item>
946 <item row="0" column="3"> 938 <item row="0" column="3">
947 <spacer name="horizontalSpacer_2"> 939 <spacer name="horizontalSpacer_2">
948 <property name="orientation"> 940 <property name="orientation">
949 <enum>Qt::Horizontal</enum> 941 <enum>Qt::Horizontal</enum>
950 </property> 942 </property>
953 <width>40</width> 945 <width>40</width>
954 <height>20</height> 946 <height>20</height>
955 </size> 947 </size>
956 </property> 948 </property>
957 </spacer> 949 </spacer>
950 </item>
951 <item row="0" column="0">
952 <widget class="QCheckBox" name="editor_codeCompletion">
953 <property name="enabled">
954 <bool>true</bool>
955 </property>
956 <property name="text">
957 <string>Show completion list automatically ...</string>
958 </property>
959 <property name="checked">
960 <bool>false</bool>
961 </property>
962 </widget>
958 </item> 963 </item>
959 </layout> 964 </layout>
960 </item> 965 </item>
961 </layout> 966 </layout>
962 </item> 967 </item>
2193 <x>393</x> 2198 <x>393</x>
2194 <y>72</y> 2199 <y>72</y>
2195 </hint> 2200 </hint>
2196 </hints> 2201 </hints>
2197 </connection> 2202 </connection>
2203 <connection>
2204 <sender>editor_long_line_marker</sender>
2205 <signal>toggled(bool)</signal>
2206 <receiver>editor_long_line_column</receiver>
2207 <slot>setEnabled(bool)</slot>
2208 <hints>
2209 <hint type="sourcelabel">
2210 <x>145</x>
2211 <y>187</y>
2212 </hint>
2213 <hint type="destinationlabel">
2214 <x>355</x>
2215 <y>187</y>
2216 </hint>
2217 </hints>
2218 </connection>
2219 <connection>
2220 <sender>editor_long_line_marker</sender>
2221 <signal>toggled(bool)</signal>
2222 <receiver>editor_long_line_column_text</receiver>
2223 <slot>setEnabled(bool)</slot>
2224 <hints>
2225 <hint type="sourcelabel">
2226 <x>145</x>
2227 <y>187</y>
2228 </hint>
2229 <hint type="destinationlabel">
2230 <x>302</x>
2231 <y>187</y>
2232 </hint>
2233 </hints>
2234 </connection>
2198 </connections> 2235 </connections>
2199 </ui> 2236 </ui>