Mercurial > hg > octave-jordi

comparison libgui/src/settings-dialog.ui @ 19919:de0ac3d6ef59

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
* settings-dialog.ui: reorder editor pane
author Torsten <ttl@justmail.de>
date Sun, 08 Mar 2015 17:27:23 +0100
parents 6049bdfa8d56
children 17d79913f065
comparison
equal deleted inserted replaced
19918:09cb7e1e46d1 19919:de0ac3d6ef59
49 </property> 49 </property>
50 <widget class="QWidget" name="scrollAreaWidgetContents_2"> 50 <widget class="QWidget" name="scrollAreaWidgetContents_2">
51 <property name="geometry"> 51 <property name="geometry">
52 <rect> 52 <rect>
53 <x>0</x> 53 <x>0</x>
54 <y>0</y> 54 <y>-4</y>
55 <width>662</width> 55 <width>662</width>
56 <height>382</height> 56 <height>382</height>
57 </rect> 57 </rect>
58 </property> 58 </property>
59 <layout class="QVBoxLayout" name="verticalLayout_17"> 59 <layout class="QVBoxLayout" name="verticalLayout_17">
496 </property> 496 </property>
497 <widget class="QWidget" name="scrollAreaWidgetContents"> 497 <widget class="QWidget" name="scrollAreaWidgetContents">
498 <property name="geometry"> 498 <property name="geometry">
499 <rect> 499 <rect>
500 <x>0</x> 500 <x>0</x>
501 <y>-295</y> 501 <y>0</y>
502 <width>662</width> 502 <width>662</width>
503 <height>673</height> 503 <height>751</height>
504 </rect> 504 </rect>
505 </property> 505 </property>
506 <layout class="QVBoxLayout" name="verticalLayout_16"> 506 <layout class="QVBoxLayout" name="verticalLayout_16">
507 <item> 507 <item>
508 <layout class="QVBoxLayout" name="verticalLayout_9"> 508 <widget class="QGroupBox" name="groupBox_5">
509 <item> 509 <property name="title">
510 <layout class="QGridLayout" name="editor_common_settings_grid"> 510 <string>General</string>
511 <item row="6" column="2"> 511 </property>
512 <layout class="QHBoxLayout" name="horizontalLayout_3"> 512 <layout class="QVBoxLayout" name="verticalLayout_13">
513 <item> 513 <item>
514 <widget class="QLabel" name="editor_long_line_column_text"> 514 <layout class="QGridLayout" name="editor_common_settings_grid">
515 <property name="text"> 515 <item row="5" column="0">
516 <string>After Column</string> 516 <widget class="QCheckBox" name="editor_highlightCurrentLine">
517 </property> 517 <property name="enabled">
518 </widget> 518 <bool>true</bool>
519 </item> 519 </property>
520 <item> 520 <property name="sizePolicy">
521 <widget class="QSpinBox" name="editor_long_line_column"> 521 <sizepolicy hsizetype="Minimum" vsizetype="Preferred">
522 <property name="sizePolicy"> 522 <horstretch>0</horstretch>
523 <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> 523 <verstretch>0</verstretch>
524 <horstretch>0</horstretch> 524 </sizepolicy>
525 <verstretch>0</verstretch> 525 </property>
526 </sizepolicy> 526 <property name="text">
527 </property> 527 <string>Highlight current line</string>
528 <property name="minimum"> 528 </property>
529 <number>2</number> 529 </widget>
530 </property> 530 </item>
531 <property name="maximum"> 531 <item row="6" column="2">
532 <number>256</number> 532 <layout class="QHBoxLayout" name="horizontalLayout_3">
533 </property> 533 <item>
534 <property name="value"> 534 <widget class="QLabel" name="editor_long_line_column_text">
535 <number>80</number>
536 </property>
537 </widget>
538 </item>
539 <item>
540 <spacer name="horizontalSpacer_7">
541 <property name="orientation">
542 <enum>Qt::Horizontal</enum>
543 </property>
544 <property name="sizeHint" stdset="0">
545 <size>
546 <width>40</width>
547 <height>20</height>
548 </size>
549 </property>
550 </spacer>
551 </item>
552 </layout>
553 </item>
554 <item row="3" column="0">
555 <widget class="QCheckBox" name="editor_ws_checkbox">
556 <property name="sizePolicy">
557 <sizepolicy hsizetype="Minimum" vsizetype="Preferred">
558 <horstretch>0</horstretch>
559 <verstretch>0</verstretch>
560 </sizepolicy>
561 </property>
562 <property name="text">
563 <string>Show whitespace</string>
564 </property>
565 </widget>
566 </item>
567 <item row="2" column="0">
568 <widget class="QCheckBox" name="editor_showLineNumbers">
569 <property name="enabled">
570 <bool>true</bool>
571 </property>
572 <property name="sizePolicy">
573 <sizepolicy hsizetype="Minimum" vsizetype="Preferred">
574 <horstretch>0</horstretch>
575 <verstretch>0</verstretch>
576 </sizepolicy>
577 </property>
578 <property name="text">
579 <string>Show line numbers</string>
580 </property>
581 </widget>
582 </item>
583 <item row="1" column="0">
584 <widget class="QCheckBox" name="editor_longWindowTitle">
585 <property name="sizePolicy">
586 <sizepolicy hsizetype="Preferred" vsizetype="Preferred">
587 <horstretch>0</horstretch>
588 <verstretch>0</verstretch>
589 </sizepolicy>
590 </property>
591 <property name="text">
592 <string>Show complete path in window title</string>
593 </property>
594 </widget>
595 </item>
596 <item row="3" column="2">
597 <widget class="QCheckBox" name="editor_ws_indent_checkbox">
598 <property name="enabled">
599 <bool>false</bool>
600 </property>
601 <property name="text">
602 <string>Do not show whitespace used for indentation</string>
603 </property>
604 </widget>
605 </item>
606 <item row="5" column="0">
607 <widget class="QCheckBox" name="editor_highlightCurrentLine">
608 <property name="enabled">
609 <bool>true</bool>
610 </property>
611 <property name="sizePolicy">
612 <sizepolicy hsizetype="Minimum" vsizetype="Preferred">
613 <horstretch>0</horstretch>
614 <verstretch>0</verstretch>
615 </sizepolicy>
616 </property>
617 <property name="text">
618 <string>Highlight current line</string>
619 </property>
620 </widget>
621 </item>
622 <item row="5" column="2">
623 <layout class="QGridLayout" name="editor_grid_current_line" rowstretch="0" columnstretch="0,0,0,0,0">
624 <property name="horizontalSpacing">
625 <number>12</number>
626 </property>
627 <property name="verticalSpacing">
628 <number>0</number>
629 </property>
630 <item row="0" column="1">
631 <widget class="QLabel" name="editor_label_cl_color">
632 <property name="enabled">
633 <bool>false</bool>
634 </property>
635 <property name="text">
636 <string>Color</string>
637 </property>
638 </widget>
639 </item>
640 <item row="0" column="3">
641 <spacer name="horizontalSpacer_11">
642 <property name="orientation">
643 <enum>Qt::Horizontal</enum>
644 </property>
645 <property name="sizeType">
646 <enum>QSizePolicy::Fixed</enum>
647 </property>
648 <property name="sizeHint" stdset="0">
649 <size>
650 <width>80</width>
651 <height>20</height>
652 </size>
653 </property>
654 </spacer>
655 </item>
656 <item row="0" column="4">
657 <spacer name="horizontalSpacer_9">
658 <property name="orientation">
659 <enum>Qt::Horizontal</enum>
660 </property>
661 <property name="sizeHint" stdset="0">
662 <size>
663 <width>40</width>
664 <height>20</height>
665 </size>
666 </property>
667 </spacer>
668 </item>
669 </layout>
670 </item>
671 <item row="1" column="4">
672 <spacer name="horizontalSpacer_12">
673 <property name="orientation">
674 <enum>Qt::Horizontal</enum>
675 </property>
676 <property name="sizeHint" stdset="0">
677 <size>
678 <width>40</width>
679 <height>20</height>
680 </size>
681 </property>
682 </spacer>
683 </item>
684 <item row="1" column="2">
685 <layout class="QGridLayout" name="gridLayout_6">
686 <item row="0" column="0">
687 <widget class="QLabel" name="editor_lbl_min_tab_width">
688 <property name="text">
689 <string>Tab width min.</string>
690 </property>
691 </widget>
692 </item>
693 <item row="0" column="3">
694 <widget class="QSpinBox" name="editor_notebook_tab_width_min">
695 <property name="sizePolicy">
696 <sizepolicy hsizetype="Preferred" vsizetype="Preferred">
697 <horstretch>0</horstretch>
698 <verstretch>0</verstretch>
699 </sizepolicy>
700 </property>
701 <property name="minimum">
702 <number>80</number>
703 </property>
704 <property name="maximum">
705 <number>600</number>
706 </property>
707 <property name="singleStep">
708 <number>20</number>
709 </property>
710 <property name="value">
711 <number>160</number>
712 </property>
713 </widget>
714 </item>
715 <item row="0" column="6">
716 <spacer name="horizontalSpacer_25">
717 <property name="orientation">
718 <enum>Qt::Horizontal</enum>
719 </property>
720 <property name="sizeHint" stdset="0">
721 <size>
722 <width>40</width>
723 <height>20</height>
724 </size>
725 </property>
726 </spacer>
727 </item>
728 <item row="0" column="5">
729 <widget class="QSpinBox" name="editor_notebook_tab_width_max">
730 <property name="sizePolicy">
731 <sizepolicy hsizetype="Preferred" vsizetype="Preferred">
732 <horstretch>0</horstretch>
733 <verstretch>0</verstretch>
734 </sizepolicy>
735 </property>
736 <property name="minimum">
737 <number>180</number>
738 </property>
739 <property name="maximum">
740 <number>600</number>
741 </property>
742 <property name="singleStep">
743 <number>20</number>
744 </property>
745 <property name="value">
746 <number>300</number>
747 </property>
748 </widget>
749 </item>
750 <item row="0" column="4">
751 <widget class="QLabel" name="editor_lbl_max_tab_width">
752 <property name="text">
753 <string>max.</string>
754 </property>
755 </widget>
756 </item>
757 </layout>
758 </item>
759 <item row="1" column="1">
760 <spacer name="horizontalSpacer_24">
761 <property name="orientation">
762 <enum>Qt::Horizontal</enum>
763 </property>
764 <property name="sizeType">
765 <enum>QSizePolicy::Fixed</enum>
766 </property>
767 <property name="sizeHint" stdset="0">
768 <size>
769 <width>10</width>
770 <height>0</height>
771 </size>
772 </property>
773 </spacer>
774 </item>
775 <item row="6" column="0">
776 <widget class="QCheckBox" name="editor_long_line_marker">
777 <property name="sizePolicy">
778 <sizepolicy hsizetype="Minimum" vsizetype="Preferred">
779 <horstretch>0</horstretch>
780 <verstretch>0</verstretch>
781 </sizepolicy>
782 </property>
783 <property name="toolTip">
784 <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>
785 </property>
786 <property name="text">
787 <string>Draw a long line marker</string>
788 </property>
789 <property name="checked">
790 <bool>true</bool>
791 </property>
792 </widget>
793 </item>
794 <item row="7" column="0">
795 <widget class="QCheckBox" name="cb_code_folding">
796 <property name="sizePolicy">
797 <sizepolicy hsizetype="Minimum" vsizetype="Preferred">
798 <horstretch>0</horstretch>
799 <verstretch>0</verstretch>
800 </sizepolicy>
801 </property>
802 <property name="text">
803 <string>Enable Code Folding</string>
804 </property>
805 <property name="checked">
806 <bool>true</bool>
807 </property>
808 </widget>
809 </item>
810 <item row="8" column="0">
811 <widget class="QCheckBox" name="cb_edit_status_bar">
812 <property name="sizePolicy">
813 <sizepolicy hsizetype="Minimum" vsizetype="Preferred">
814 <horstretch>0</horstretch>
815 <verstretch>0</verstretch>
816 </sizepolicy>
817 </property>
818 <property name="text">
819 <string>Show status bar</string>
820 </property>
821 <property name="checked">
822 <bool>true</bool>
823 </property>
824 </widget>
825 </item>
826 <item row="4" column="0">
827 <widget class="QCheckBox" name="cb_show_eol">
828 <property name="sizePolicy">
829 <sizepolicy hsizetype="Minimum" vsizetype="Preferred">
830 <horstretch>0</horstretch>
831 <verstretch>0</verstretch>
832 </sizepolicy>
833 </property>
834 <property name="text">
835 <string>Show EOL characters</string>
836 </property>
837 </widget>
838 </item>
839 <item row="4" column="2">
840 <layout class="QHBoxLayout" name="horizontalLayout_17">
841 <item>
842 <widget class="QLabel" name="label_22">
843 <property name="text">
844 <string>Default EOL mode</string>
845 </property>
846 </widget>
847 </item>
848 <item>
849 <widget class="QComboBox" name="combo_eol_mode">
850 <property name="sizePolicy">
851 <sizepolicy hsizetype="Preferred" vsizetype="Preferred">
852 <horstretch>0</horstretch>
853 <verstretch>0</verstretch>
854 </sizepolicy>
855 </property>
856 <property name="sizeAdjustPolicy">
857 <enum>QComboBox::AdjustToContents</enum>
858 </property>
859 <property name="minimumContentsLength">
860 <number>7</number>
861 </property>
862 <item>
863 <property name="text"> 535 <property name="text">
864 <string>Windows (CRLF)</string> 536 <string>After Column</string>
865 </property> 537 </property>
866 </item> 538 </widget>
867 <item> 539 </item>
540 <item>
541 <widget class="QSpinBox" name="editor_long_line_column">
542 <property name="sizePolicy">
543 <sizepolicy hsizetype="Preferred" vsizetype="Preferred">
544 <horstretch>0</horstretch>
545 <verstretch>0</verstretch>
546 </sizepolicy>
547 </property>
548 <property name="minimum">
549 <number>2</number>
550 </property>
551 <property name="maximum">
552 <number>256</number>
553 </property>
554 <property name="value">
555 <number>80</number>
556 </property>
557 </widget>
558 </item>
559 <item>
560 <spacer name="horizontalSpacer_7">
561 <property name="orientation">
562 <enum>Qt::Horizontal</enum>
563 </property>
564 <property name="sizeHint" stdset="0">
565 <size>
566 <width>40</width>
567 <height>20</height>
568 </size>
569 </property>
570 </spacer>
571 </item>
572 </layout>
573 </item>
574 <item row="3" column="0">
575 <widget class="QCheckBox" name="editor_ws_checkbox">
576 <property name="sizePolicy">
577 <sizepolicy hsizetype="Minimum" vsizetype="Preferred">
578 <horstretch>0</horstretch>
579 <verstretch>0</verstretch>
580 </sizepolicy>
581 </property>
582 <property name="text">
583 <string>Show whitespace</string>
584 </property>
585 </widget>
586 </item>
587 <item row="2" column="0">
588 <widget class="QCheckBox" name="editor_showLineNumbers">
589 <property name="enabled">
590 <bool>true</bool>
591 </property>
592 <property name="sizePolicy">
593 <sizepolicy hsizetype="Minimum" vsizetype="Preferred">
594 <horstretch>0</horstretch>
595 <verstretch>0</verstretch>
596 </sizepolicy>
597 </property>
598 <property name="text">
599 <string>Show line numbers</string>
600 </property>
601 </widget>
602 </item>
603 <item row="1" column="0">
604 <widget class="QCheckBox" name="editor_longWindowTitle">
605 <property name="sizePolicy">
606 <sizepolicy hsizetype="Preferred" vsizetype="Preferred">
607 <horstretch>0</horstretch>
608 <verstretch>0</verstretch>
609 </sizepolicy>
610 </property>
611 <property name="text">
612 <string>Show complete path in window title</string>
613 </property>
614 </widget>
615 </item>
616 <item row="3" column="2">
617 <widget class="QCheckBox" name="editor_ws_indent_checkbox">
618 <property name="enabled">
619 <bool>false</bool>
620 </property>
621 <property name="text">
622 <string>Do not show whitespace used for indentation</string>
623 </property>
624 </widget>
625 </item>
626 <item row="5" column="2">
627 <layout class="QGridLayout" name="editor_grid_current_line" rowstretch="0" columnstretch="0,0,0,0,0">
628 <property name="horizontalSpacing">
629 <number>12</number>
630 </property>
631 <property name="verticalSpacing">
632 <number>0</number>
633 </property>
634 <item row="0" column="1">
635 <widget class="QLabel" name="editor_label_cl_color">
636 <property name="enabled">
637 <bool>false</bool>
638 </property>
868 <property name="text"> 639 <property name="text">
869 <string>Mac (CR)</string> 640 <string>Color</string>
870 </property> 641 </property>
871 </item> 642 </widget>
872 <item> 643 </item>
644 <item row="0" column="3">
645 <spacer name="horizontalSpacer_11">
646 <property name="orientation">
647 <enum>Qt::Horizontal</enum>
648 </property>
649 <property name="sizeType">
650 <enum>QSizePolicy::Fixed</enum>
651 </property>
652 <property name="sizeHint" stdset="0">
653 <size>
654 <width>80</width>
655 <height>20</height>
656 </size>
657 </property>
658 </spacer>
659 </item>
660 <item row="0" column="4">
661 <spacer name="horizontalSpacer_9">
662 <property name="orientation">
663 <enum>Qt::Horizontal</enum>
664 </property>
665 <property name="sizeHint" stdset="0">
666 <size>
667 <width>40</width>
668 <height>20</height>
669 </size>
670 </property>
671 </spacer>
672 </item>
673 </layout>
674 </item>
675 <item row="1" column="2">
676 <layout class="QGridLayout" name="gridLayout_6">
677 <item row="0" column="0">
678 <widget class="QLabel" name="editor_lbl_min_tab_width">
873 <property name="text"> 679 <property name="text">
874 <string>Unix (LF)</string> 680 <string>Tab width min.</string>
875 </property> 681 </property>
876 </item> 682 </widget>
877 </widget> 683 </item>
878 </item> 684 <item row="0" column="3">
879 <item> 685 <widget class="QSpinBox" name="editor_notebook_tab_width_min">
880 <spacer name="horizontalSpacer_17"> 686 <property name="sizePolicy">
881 <property name="orientation"> 687 <sizepolicy hsizetype="Preferred" vsizetype="Preferred">
882 <enum>Qt::Horizontal</enum> 688 <horstretch>0</horstretch>
883 </property> 689 <verstretch>0</verstretch>
884 <property name="sizeHint" stdset="0"> 690 </sizepolicy>
885 <size> 691 </property>
886 <width>40</width> 692 <property name="minimum">
887 <height>20</height> 693 <number>80</number>
888 </size> 694 </property>
889 </property> 695 <property name="maximum">
890 </spacer> 696 <number>600</number>
891 </item> 697 </property>
892 </layout> 698 <property name="singleStep">
893 </item> 699 <number>20</number>
894 <item row="9" column="0"> 700 </property>
895 <widget class="QCheckBox" name="cb_show_hscrollbar"> 701 <property name="value">
896 <property name="enabled"> 702 <number>160</number>
897 <bool>true</bool> 703 </property>
898 </property> 704 </widget>
899 <property name="sizePolicy"> 705 </item>
900 <sizepolicy hsizetype="Minimum" vsizetype="Preferred"> 706 <item row="0" column="6">
901 <horstretch>0</horstretch> 707 <spacer name="horizontalSpacer_25">
902 <verstretch>0</verstretch> 708 <property name="orientation">
903 </sizepolicy> 709 <enum>Qt::Horizontal</enum>
904 </property> 710 </property>
905 <property name="text"> 711 <property name="sizeHint" stdset="0">
906 <string>Show horizontal scroll bar</string> 712 <size>
907 </property> 713 <width>40</width>
908 <property name="checked"> 714 <height>20</height>
909 <bool>true</bool> 715 </size>
910 </property> 716 </property>
911 </widget> 717 </spacer>
912 </item> 718 </item>
913 </layout> 719 <item row="0" column="5">
914 </item> 720 <widget class="QSpinBox" name="editor_notebook_tab_width_max">
915 <item> 721 <property name="sizePolicy">
916 <widget class="Line" name="line"> 722 <sizepolicy hsizetype="Preferred" vsizetype="Preferred">
917 <property name="orientation"> 723 <horstretch>0</horstretch>
918 <enum>Qt::Horizontal</enum> 724 <verstretch>0</verstretch>
919 </property> 725 </sizepolicy>
920 </widget> 726 </property>
921 </item> 727 <property name="minimum">
922 <item> 728 <number>180</number>
923 <layout class="QGridLayout" name="gridLayout_4"> 729 </property>
924 <item row="0" column="0"> 730 <property name="maximum">
925 <widget class="QLabel" name="label_13"> 731 <number>600</number>
926 <property name="text"> 732 </property>
927 <string>Indent width</string> 733 <property name="singleStep">
928 </property> 734 <number>20</number>
929 </widget> 735 </property>
930 </item> 736 <property name="value">
931 <item row="0" column="5"> 737 <number>300</number>
932 <spacer name="horizontalSpacer_14"> 738 </property>
933 <property name="orientation"> 739 </widget>
934 <enum>Qt::Horizontal</enum> 740 </item>
935 </property> 741 <item row="0" column="4">
936 <property name="sizeType"> 742 <widget class="QLabel" name="editor_lbl_max_tab_width">
937 <enum>QSizePolicy::Fixed</enum> 743 <property name="text">
938 </property> 744 <string>max.</string>
939 <property name="sizeHint" stdset="0"> 745 </property>
940 <size> 746 </widget>
941 <width>10</width> 747 </item>
942 <height>0</height> 748 </layout>
943 </size> 749 </item>
944 </property> 750 <item row="1" column="1">
945 </spacer> 751 <spacer name="horizontalSpacer_24">
946 </item> 752 <property name="orientation">
947 <item row="2" column="4"> 753 <enum>Qt::Horizontal</enum>
948 <widget class="QCheckBox" name="editor_tab_ind_checkbox"> 754 </property>
949 <property name="text"> 755 <property name="sizeType">
950 <string>Tab indents line</string> 756 <enum>QSizePolicy::Fixed</enum>
951 </property> 757 </property>
952 </widget> 758 <property name="sizeHint" stdset="0">
953 </item> 759 <size>
954 <item row="0" column="4"> 760 <width>10</width>
955 <widget class="QCheckBox" name="editor_auto_ind_checkbox"> 761 <height>0</height>
956 <property name="text"> 762 </size>
957 <string>Auto indentation</string> 763 </property>
958 </property> 764 </spacer>
959 </widget> 765 </item>
960 </item> 766 <item row="6" column="0">
961 <item row="0" column="2"> 767 <widget class="QCheckBox" name="editor_long_line_marker">
962 <widget class="QSpinBox" name="editor_ind_width_spinbox"> 768 <property name="sizePolicy">
963 <property name="sizePolicy"> 769 <sizepolicy hsizetype="Minimum" vsizetype="Preferred">
964 <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> 770 <horstretch>0</horstretch>
965 <horstretch>0</horstretch> 771 <verstretch>0</verstretch>
966 <verstretch>0</verstretch> 772 </sizepolicy>
967 </sizepolicy> 773 </property>
968 </property> 774 <property name="toolTip">
969 <property name="minimum"> 775 <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>
970 <number>1</number> 776 </property>
971 </property> 777 <property name="text">
972 <property name="maximum"> 778 <string>Draw a long line marker</string>
973 <number>32</number> 779 </property>
974 </property> 780 <property name="checked">
975 <property name="value"> 781 <bool>true</bool>
976 <number>2</number> 782 </property>
977 </property> 783 </widget>
978 </widget> 784 </item>
979 </item> 785 <item row="7" column="0">
980 <item row="2" column="0"> 786 <widget class="QCheckBox" name="cb_code_folding">
981 <widget class="QLabel" name="label_14"> 787 <property name="sizePolicy">
982 <property name="text"> 788 <sizepolicy hsizetype="Minimum" vsizetype="Preferred">
983 <string>Tab width</string> 789 <horstretch>0</horstretch>
984 </property> 790 <verstretch>0</verstretch>
985 </widget> 791 </sizepolicy>
986 </item> 792 </property>
987 <item row="0" column="6"> 793 <property name="text">
988 <widget class="QCheckBox" name="editor_ind_guides_checkbox"> 794 <string>Enable Code Folding</string>
989 <property name="text"> 795 </property>
990 <string>Show indentation guides</string> 796 <property name="checked">
991 </property> 797 <bool>true</bool>
992 </widget> 798 </property>
993 </item> 799 </widget>
994 <item row="2" column="2"> 800 </item>
995 <widget class="QSpinBox" name="editor_tab_width_spinbox"> 801 <item row="8" column="0">
996 <property name="sizePolicy"> 802 <widget class="QCheckBox" name="cb_edit_status_bar">
997 <sizepolicy hsizetype="Preferred" vsizetype="Preferred"> 803 <property name="sizePolicy">
998 <horstretch>0</horstretch> 804 <sizepolicy hsizetype="Minimum" vsizetype="Preferred">
999 <verstretch>0</verstretch> 805 <horstretch>0</horstretch>
1000 </sizepolicy> 806 <verstretch>0</verstretch>
1001 </property> 807 </sizepolicy>
1002 <property name="minimum"> 808 </property>
1003 <number>1</number> 809 <property name="text">
1004 </property> 810 <string>Show status bar</string>
1005 <property name="maximum"> 811 </property>
1006 <number>32</number> 812 <property name="checked">
1007 </property> 813 <bool>true</bool>
1008 </widget> 814 </property>
1009 </item> 815 </widget>
1010 <item row="2" column="6"> 816 </item>
1011 <widget class="QCheckBox" name="editor_bs_unind_checkbox"> 817 <item row="4" column="0">
1012 <property name="text"> 818 <widget class="QCheckBox" name="cb_show_eol">
1013 <string>Backspace unindents line</string> 819 <property name="sizePolicy">
1014 </property> 820 <sizepolicy hsizetype="Minimum" vsizetype="Preferred">
1015 </widget> 821 <horstretch>0</horstretch>
1016 </item> 822 <verstretch>0</verstretch>
1017 <item row="0" column="10"> 823 </sizepolicy>
1018 <spacer name="horizontalSpacer_13"> 824 </property>
1019 <property name="orientation"> 825 <property name="text">
1020 <enum>Qt::Horizontal</enum> 826 <string>Show EOL characters</string>
1021 </property> 827 </property>
1022 <property name="sizeHint" stdset="0"> 828 </widget>
1023 <size> 829 </item>
1024 <width>40</width> 830 <item row="4" column="2">
1025 <height>20</height> 831 <layout class="QHBoxLayout" name="horizontalLayout_17">
1026 </size> 832 <item>
1027 </property> 833 <widget class="QLabel" name="label_22">
1028 </spacer> 834 <property name="text">
1029 </item> 835 <string>Default EOL mode</string>
1030 <item row="2" column="10"> 836 </property>
1031 <spacer name="horizontalSpacer_20"> 837 </widget>
1032 <property name="orientation"> 838 </item>
1033 <enum>Qt::Horizontal</enum> 839 <item>
1034 </property> 840 <widget class="QComboBox" name="combo_eol_mode">
1035 <property name="sizeHint" stdset="0"> 841 <property name="sizePolicy">
1036 <size> 842 <sizepolicy hsizetype="Preferred" vsizetype="Preferred">
1037 <width>40</width> 843 <horstretch>0</horstretch>
1038 <height>20</height> 844 <verstretch>0</verstretch>
1039 </size> 845 </sizepolicy>
1040 </property> 846 </property>
1041 </spacer> 847 <property name="sizeAdjustPolicy">
1042 </item> 848 <enum>QComboBox::AdjustToContents</enum>
1043 <item row="0" column="3"> 849 </property>
1044 <spacer name="horizontalSpacer_10"> 850 <property name="minimumContentsLength">
1045 <property name="orientation"> 851 <number>7</number>
1046 <enum>Qt::Horizontal</enum> 852 </property>
1047 </property> 853 <item>
1048 <property name="sizeType"> 854 <property name="text">
1049 <enum>QSizePolicy::Fixed</enum> 855 <string>Windows (CRLF)</string>
1050 </property>
1051 <property name="sizeHint" stdset="0">
1052 <size>
1053 <width>10</width>
1054 <height>0</height>
1055 </size>
1056 </property>
1057 </spacer>
1058 </item>
1059 <item row="3" column="4">
1060 <widget class="QCheckBox" name="editor_ind_uses_tabs_checkbox">
1061 <property name="text">
1062 <string>Indentation uses tabs</string>
1063 </property>
1064 </widget>
1065 </item>
1066 </layout>
1067 </item>
1068 <item>
1069 <widget class="Line" name="line_2">
1070 <property name="orientation">
1071 <enum>Qt::Horizontal</enum>
1072 </property>
1073 </widget>
1074 </item>
1075 <item>
1076 <layout class="QGridLayout" name="gridLayout_2">
1077 <item row="1" column="1">
1078 <layout class="QHBoxLayout" name="horizontalLayout_2">
1079 <property name="spacing">
1080 <number>6</number>
1081 </property>
1082 <property name="bottomMargin">
1083 <number>4</number>
1084 </property>
1085 <item>
1086 <widget class="QLabel" name="label_16">
1087 <property name="text">
1088 <string>Auto completion</string>
1089 </property>
1090 </widget>
1091 </item>
1092 </layout>
1093 </item>
1094 <item row="2" column="1">
1095 <layout class="QGridLayout" name="gridLayout_3">
1096 <item row="0" column="1">
1097 <spacer name="horizontalSpacer_15">
1098 <property name="orientation">
1099 <enum>Qt::Horizontal</enum>
1100 </property>
1101 <property name="sizeType">
1102 <enum>QSizePolicy::Fixed</enum>
1103 </property>
1104 <property name="sizeHint" stdset="0">
1105 <size>
1106 <width>10</width>
1107 <height>0</height>
1108 </size>
1109 </property>
1110 </spacer>
1111 </item>
1112 <item row="0" column="0">
1113 <widget class="QCheckBox" name="editor_checkbox_ac_keywords">
1114 <property name="enabled">
1115 <bool>true</bool>
1116 </property>
1117 <property name="text">
1118 <string>Match keywords</string>
1119 </property>
1120 <property name="checked">
1121 <bool>true</bool>
1122 </property>
1123 </widget>
1124 </item>
1125 <item row="2" column="0">
1126 <widget class="QCheckBox" name="editor_checkbox_ac_case">
1127 <property name="enabled">
1128 <bool>true</bool>
1129 </property>
1130 <property name="text">
1131 <string>Case sensitive</string>
1132 </property>
1133 <property name="checked">
1134 <bool>true</bool>
1135 </property>
1136 </widget>
1137 </item>
1138 <item row="1" column="0">
1139 <widget class="QCheckBox" name="editor_checkbox_ac_document">
1140 <property name="enabled">
1141 <bool>true</bool>
1142 </property>
1143 <property name="text">
1144 <string>Match words in document</string>
1145 </property>
1146 </widget>
1147 </item>
1148 <item row="2" column="2">
1149 <widget class="QCheckBox" name="editor_checkbox_ac_replace">
1150 <property name="enabled">
1151 <bool>true</bool>
1152 </property>
1153 <property name="text">
1154 <string>Replace word by suggested one</string>
1155 </property>
1156 </widget>
1157 </item>
1158 <item row="0" column="3">
1159 <spacer name="horizontalSpacer_8">
1160 <property name="orientation">
1161 <enum>Qt::Horizontal</enum>
1162 </property>
1163 <property name="sizeHint" stdset="0">
1164 <size>
1165 <width>40</width>
1166 <height>20</height>
1167 </size>
1168 </property>
1169 </spacer>
1170 </item>
1171 <item row="2" column="3">
1172 <spacer name="horizontalSpacer_19">
1173 <property name="orientation">
1174 <enum>Qt::Horizontal</enum>
1175 </property>
1176 <property name="sizeHint" stdset="0">
1177 <size>
1178 <width>40</width>
1179 <height>20</height>
1180 </size>
1181 </property>
1182 </spacer>
1183 </item>
1184 <item row="0" column="2">
1185 <layout class="QHBoxLayout" name="horizontalLayout_14">
1186 <item>
1187 <widget class="QCheckBox" name="editor_checkbox_ac_builtins">
1188 <property name="enabled">
1189 <bool>false</bool>
1190 </property> 856 </property>
857 </item>
858 <item>
1191 <property name="text"> 859 <property name="text">
1192 <string>With Octave builtins</string> 860 <string>Mac (CR)</string>
1193 </property> 861 </property>
1194 </widget> 862 </item>
1195 </item> 863 <item>
1196 <item> 864 <property name="text">
1197 <widget class="QCheckBox" name="editor_checkbox_ac_functions"> 865 <string>Unix (LF)</string>
1198 <property name="enabled">
1199 <bool>false</bool>
1200 </property> 866 </property>
1201 <property name="text"> 867 </item>
1202 <string>With Octave functions</string> 868 </widget>
1203 </property> 869 </item>
1204 </widget> 870 <item>
1205 </item> 871 <spacer name="horizontalSpacer_17">
1206 </layout> 872 <property name="orientation">
1207 </item> 873 <enum>Qt::Horizontal</enum>
1208 </layout> 874 </property>
1209 </item> 875 <property name="sizeHint" stdset="0">
1210 <item row="3" column="1"> 876 <size>
1211 <layout class="QGridLayout" name="gridLayout_10"> 877 <width>40</width>
1212 <item row="0" column="2"> 878 <height>20</height>
1213 <widget class="QLabel" name="editor_label_ac_threshold"> 879 </size>
1214 <property name="enabled"> 880 </property>
1215 <bool>false</bool> 881 </spacer>
1216 </property> 882 </item>
1217 <property name="text"> 883 </layout>
1218 <string>Number of characters before list is shown: </string> 884 </item>
1219 </property> 885 <item row="9" column="0">
1220 </widget> 886 <widget class="QCheckBox" name="cb_show_hscrollbar">
1221 </item> 887 <property name="enabled">
1222 <item row="0" column="3"> 888 <bool>true</bool>
1223 <widget class="QSpinBox" name="editor_spinbox_ac_threshold"> 889 </property>
1224 <property name="enabled"> 890 <property name="sizePolicy">
1225 <bool>false</bool> 891 <sizepolicy hsizetype="Minimum" vsizetype="Preferred">
1226 </property> 892 <horstretch>0</horstretch>
1227 <property name="toolTip"> 893 <verstretch>0</verstretch>
1228 <string/> 894 </sizepolicy>
1229 </property> 895 </property>
1230 <property name="whatsThis"> 896 <property name="text">
1231 <string/> 897 <string>Show horizontal scroll bar</string>
1232 </property> 898 </property>
1233 <property name="suffix"> 899 <property name="checked">
1234 <string/> 900 <bool>true</bool>
1235 </property> 901 </property>
1236 <property name="minimum"> 902 </widget>
1237 <number>1</number> 903 </item>
1238 </property> 904 </layout>
1239 <property name="maximum"> 905 </item>
1240 <number>6</number> 906 <item>
1241 </property> 907 <layout class="QHBoxLayout" name="horizontalLayout">
1242 <property name="value"> 908 <item>
1243 <number>2</number> 909 <widget class="QCheckBox" name="useCustomFileEditor">
1244 </property> 910 <property name="enabled">
1245 </widget> 911 <bool>true</bool>
1246 </item> 912 </property>
1247 <item row="0" column="4"> 913 <property name="sizePolicy">
1248 <spacer name="horizontalSpacer_2"> 914 <sizepolicy hsizetype="Preferred" vsizetype="Fixed">
1249 <property name="orientation"> 915 <horstretch>0</horstretch>
1250 <enum>Qt::Horizontal</enum> 916 <verstretch>0</verstretch>
1251 </property> 917 </sizepolicy>
1252 <property name="sizeHint" stdset="0"> 918 </property>
1253 <size> 919 <property name="text">
1254 <width>40</width> 920 <string>Use custom file editor</string>
1255 <height>20</height> 921 </property>
1256 </size> 922 </widget>
1257 </property> 923 </item>
1258 </spacer> 924 <item>
1259 </item> 925 <widget class="QLabel" name="customEditorLabel">
1260 <item row="0" column="0"> 926 <property name="enabled">
1261 <widget class="QCheckBox" name="editor_codeCompletion"> 927 <bool>false</bool>
1262 <property name="enabled"> 928 </property>
1263 <bool>true</bool> 929 <property name="text">
1264 </property> 930 <string>command line (%f=file, %l=line):</string>
1265 <property name="text"> 931 </property>
1266 <string>Show completion list automatically</string> 932 </widget>
1267 </property> 933 </item>
1268 <property name="checked"> 934 <item>
1269 <bool>false</bool> 935 <widget class="QLineEdit" name="customFileEditor">
1270 </property> 936 <property name="enabled">
1271 </widget> 937 <bool>false</bool>
1272 </item> 938 </property>
1273 <item row="0" column="1"> 939 <property name="text">
1274 <spacer name="horizontalSpacer_31"> 940 <string/>
1275 <property name="orientation"> 941 </property>
1276 <enum>Qt::Horizontal</enum> 942 </widget>
1277 </property> 943 </item>
1278 <property name="sizeType"> 944 <item>
1279 <enum>QSizePolicy::Fixed</enum> 945 <spacer name="horizontalSpacer_12">
1280 </property> 946 <property name="orientation">
1281 <property name="sizeHint" stdset="0"> 947 <enum>Qt::Horizontal</enum>
1282 <size> 948 </property>
1283 <width>10</width> 949 <property name="sizeHint" stdset="0">
1284 <height>0</height> 950 <size>
1285 </size> 951 <width>40</width>
1286 </property> 952 <height>20</height>
1287 </spacer> 953 </size>
1288 </item> 954 </property>
1289 </layout> 955 </spacer>
1290 </item> 956 </item>
1291 </layout> 957 </layout>
1292 </item> 958 </item>
1293 <item> 959 </layout>
1294 <widget class="Line" name="line_3"> 960 </widget>
1295 <property name="orientation">
1296 <enum>Qt::Horizontal</enum>
1297 </property>
1298 </widget>
1299 </item>
1300 <item>
1301 <layout class="QVBoxLayout" name="verticalLayout_11">
1302 <property name="topMargin">
1303 <number>0</number>
1304 </property>
1305 <property name="bottomMargin">
1306 <number>0</number>
1307 </property>
1308 <item>
1309 <widget class="QCheckBox" name="editor_restoreSession">
1310 <property name="sizePolicy">
1311 <sizepolicy hsizetype="Minimum" vsizetype="Fixed">
1312 <horstretch>0</horstretch>
1313 <verstretch>0</verstretch>
1314 </sizepolicy>
1315 </property>
1316 <property name="text">
1317 <string>Restore editor tabs from previous session on startup</string>
1318 </property>
1319 </widget>
1320 </item>
1321 <item>
1322 <widget class="QCheckBox" name="editor_create_new file">
1323 <property name="sizePolicy">
1324 <sizepolicy hsizetype="Minimum" vsizetype="Fixed">
1325 <horstretch>0</horstretch>
1326 <verstretch>0</verstretch>
1327 </sizepolicy>
1328 </property>
1329 <property name="text">
1330 <string>Create nonexistent files without prompting</string>
1331 </property>
1332 </widget>
1333 </item>
1334 <item>
1335 <widget class="QCheckBox" name="editor_reload_changed_files">
1336 <property name="text">
1337 <string>Reload externally changed files without prompt</string>
1338 </property>
1339 </widget>
1340 </item>
1341 </layout>
1342 </item>
1343 <item>
1344 <widget class="Line" name="line_4">
1345 <property name="orientation">
1346 <enum>Qt::Horizontal</enum>
1347 </property>
1348 </widget>
1349 </item>
1350 <item>
1351 <layout class="QHBoxLayout" name="horizontalLayout">
1352 <item>
1353 <widget class="QCheckBox" name="useCustomFileEditor">
1354 <property name="enabled">
1355 <bool>true</bool>
1356 </property>
1357 <property name="text">
1358 <string>Use custom file editor</string>
1359 </property>
1360 </widget>
1361 </item>
1362 <item>
1363 <widget class="QLabel" name="customEditorLabel">
1364 <property name="enabled">
1365 <bool>false</bool>
1366 </property>
1367 <property name="text">
1368 <string>command line (%f=file, %l=line):</string>
1369 </property>
1370 </widget>
1371 </item>
1372 <item>
1373 <widget class="QLineEdit" name="customFileEditor">
1374 <property name="enabled">
1375 <bool>false</bool>
1376 </property>
1377 <property name="text">
1378 <string/>
1379 </property>
1380 </widget>
1381 </item>
1382 </layout>
1383 </item>
1384 </layout>
1385 </item> 961 </item>
1386 <item> 962 <item>
1387 <spacer name="verticalSpacer_4"> 963 <widget class="QGroupBox" name="groupBox_6">
964 <property name="title">
965 <string>Indentation</string>
966 </property>
967 <layout class="QVBoxLayout" name="verticalLayout_28">
968 <item>
969 <layout class="QGridLayout" name="gridLayout_4">
970 <item row="0" column="5">
971 <spacer name="horizontalSpacer_14">
972 <property name="orientation">
973 <enum>Qt::Horizontal</enum>
974 </property>
975 <property name="sizeType">
976 <enum>QSizePolicy::Fixed</enum>
977 </property>
978 <property name="sizeHint" stdset="0">
979 <size>
980 <width>10</width>
981 <height>0</height>
982 </size>
983 </property>
984 </spacer>
985 </item>
986 <item row="0" column="0">
987 <widget class="QLabel" name="label_13">
988 <property name="text">
989 <string>Indent width</string>
990 </property>
991 </widget>
992 </item>
993 <item row="2" column="4">
994 <widget class="QCheckBox" name="editor_tab_ind_checkbox">
995 <property name="text">
996 <string>Tab indents line</string>
997 </property>
998 </widget>
999 </item>
1000 <item row="0" column="4">
1001 <widget class="QCheckBox" name="editor_auto_ind_checkbox">
1002 <property name="text">
1003 <string>Auto indentation</string>
1004 </property>
1005 </widget>
1006 </item>
1007 <item row="0" column="2">
1008 <widget class="QSpinBox" name="editor_ind_width_spinbox">
1009 <property name="sizePolicy">
1010 <sizepolicy hsizetype="Preferred" vsizetype="Preferred">
1011 <horstretch>0</horstretch>
1012 <verstretch>0</verstretch>
1013 </sizepolicy>
1014 </property>
1015 <property name="minimum">
1016 <number>1</number>
1017 </property>
1018 <property name="maximum">
1019 <number>32</number>
1020 </property>
1021 <property name="value">
1022 <number>2</number>
1023 </property>
1024 </widget>
1025 </item>
1026 <item row="2" column="0">
1027 <widget class="QLabel" name="label_14">
1028 <property name="text">
1029 <string>Tab width</string>
1030 </property>
1031 </widget>
1032 </item>
1033 <item row="0" column="6">
1034 <widget class="QCheckBox" name="editor_ind_guides_checkbox">
1035 <property name="text">
1036 <string>Show indentation guides</string>
1037 </property>
1038 </widget>
1039 </item>
1040 <item row="2" column="2">
1041 <widget class="QSpinBox" name="editor_tab_width_spinbox">
1042 <property name="sizePolicy">
1043 <sizepolicy hsizetype="Preferred" vsizetype="Preferred">
1044 <horstretch>0</horstretch>
1045 <verstretch>0</verstretch>
1046 </sizepolicy>
1047 </property>
1048 <property name="minimum">
1049 <number>1</number>
1050 </property>
1051 <property name="maximum">
1052 <number>32</number>
1053 </property>
1054 </widget>
1055 </item>
1056 <item row="2" column="6">
1057 <widget class="QCheckBox" name="editor_bs_unind_checkbox">
1058 <property name="text">
1059 <string>Backspace unindents line</string>
1060 </property>
1061 </widget>
1062 </item>
1063 <item row="0" column="3">
1064 <spacer name="horizontalSpacer_10">
1065 <property name="orientation">
1066 <enum>Qt::Horizontal</enum>
1067 </property>
1068 <property name="sizeType">
1069 <enum>QSizePolicy::Fixed</enum>
1070 </property>
1071 <property name="sizeHint" stdset="0">
1072 <size>
1073 <width>10</width>
1074 <height>0</height>
1075 </size>
1076 </property>
1077 </spacer>
1078 </item>
1079 <item row="3" column="4">
1080 <widget class="QCheckBox" name="editor_ind_uses_tabs_checkbox">
1081 <property name="text">
1082 <string>Indentation uses tabs</string>
1083 </property>
1084 </widget>
1085 </item>
1086 <item row="2" column="10">
1087 <spacer name="horizontalSpacer_20">
1088 <property name="orientation">
1089 <enum>Qt::Horizontal</enum>
1090 </property>
1091 <property name="sizeHint" stdset="0">
1092 <size>
1093 <width>40</width>
1094 <height>20</height>
1095 </size>
1096 </property>
1097 </spacer>
1098 </item>
1099 <item row="0" column="10">
1100 <spacer name="horizontalSpacer_13">
1101 <property name="orientation">
1102 <enum>Qt::Horizontal</enum>
1103 </property>
1104 <property name="sizeHint" stdset="0">
1105 <size>
1106 <width>40</width>
1107 <height>20</height>
1108 </size>
1109 </property>
1110 </spacer>
1111 </item>
1112 </layout>
1113 </item>
1114 </layout>
1115 </widget>
1116 </item>
1117 <item>
1118 <widget class="QGroupBox" name="groupBox_7">
1119 <property name="title">
1120 <string>Auto completion</string>
1121 </property>
1122 <layout class="QVBoxLayout" name="verticalLayout_29">
1123 <item>
1124 <layout class="QGridLayout" name="gridLayout_3">
1125 <item row="0" column="1">
1126 <spacer name="horizontalSpacer_15">
1127 <property name="orientation">
1128 <enum>Qt::Horizontal</enum>
1129 </property>
1130 <property name="sizeType">
1131 <enum>QSizePolicy::Fixed</enum>
1132 </property>
1133 <property name="sizeHint" stdset="0">
1134 <size>
1135 <width>10</width>
1136 <height>0</height>
1137 </size>
1138 </property>
1139 </spacer>
1140 </item>
1141 <item row="0" column="0">
1142 <widget class="QCheckBox" name="editor_checkbox_ac_keywords">
1143 <property name="enabled">
1144 <bool>true</bool>
1145 </property>
1146 <property name="text">
1147 <string>Match keywords</string>
1148 </property>
1149 <property name="checked">
1150 <bool>true</bool>
1151 </property>
1152 </widget>
1153 </item>
1154 <item row="2" column="0">
1155 <widget class="QCheckBox" name="editor_checkbox_ac_case">
1156 <property name="enabled">
1157 <bool>true</bool>
1158 </property>
1159 <property name="text">
1160 <string>Case sensitive</string>
1161 </property>
1162 <property name="checked">
1163 <bool>true</bool>
1164 </property>
1165 </widget>
1166 </item>
1167 <item row="1" column="0">
1168 <widget class="QCheckBox" name="editor_checkbox_ac_document">
1169 <property name="enabled">
1170 <bool>true</bool>
1171 </property>
1172 <property name="text">
1173 <string>Match words in document</string>
1174 </property>
1175 </widget>
1176 </item>
1177 <item row="2" column="2">
1178 <widget class="QCheckBox" name="editor_checkbox_ac_replace">
1179 <property name="enabled">
1180 <bool>true</bool>
1181 </property>
1182 <property name="text">
1183 <string>Replace word by suggested one</string>
1184 </property>
1185 </widget>
1186 </item>
1187 <item row="0" column="3">
1188 <spacer name="horizontalSpacer_8">
1189 <property name="orientation">
1190 <enum>Qt::Horizontal</enum>
1191 </property>
1192 <property name="sizeHint" stdset="0">
1193 <size>
1194 <width>40</width>
1195 <height>20</height>
1196 </size>
1197 </property>
1198 </spacer>
1199 </item>
1200 <item row="2" column="3">
1201 <spacer name="horizontalSpacer_19">
1202 <property name="orientation">
1203 <enum>Qt::Horizontal</enum>
1204 </property>
1205 <property name="sizeHint" stdset="0">
1206 <size>
1207 <width>40</width>
1208 <height>20</height>
1209 </size>
1210 </property>
1211 </spacer>
1212 </item>
1213 <item row="0" column="2">
1214 <layout class="QHBoxLayout" name="horizontalLayout_14">
1215 <item>
1216 <widget class="QCheckBox" name="editor_checkbox_ac_builtins">
1217 <property name="enabled">
1218 <bool>false</bool>
1219 </property>
1220 <property name="text">
1221 <string>With Octave builtins</string>
1222 </property>
1223 </widget>
1224 </item>
1225 <item>
1226 <widget class="QCheckBox" name="editor_checkbox_ac_functions">
1227 <property name="enabled">
1228 <bool>false</bool>
1229 </property>
1230 <property name="text">
1231 <string>With Octave functions</string>
1232 </property>
1233 </widget>
1234 </item>
1235 </layout>
1236 </item>
1237 </layout>
1238 </item>
1239 <item>
1240 <layout class="QGridLayout" name="gridLayout_10">
1241 <item row="0" column="2">
1242 <widget class="QLabel" name="editor_label_ac_threshold">
1243 <property name="enabled">
1244 <bool>false</bool>
1245 </property>
1246 <property name="text">
1247 <string>Number of characters before list is shown: </string>
1248 </property>
1249 </widget>
1250 </item>
1251 <item row="0" column="3">
1252 <widget class="QSpinBox" name="editor_spinbox_ac_threshold">
1253 <property name="enabled">
1254 <bool>false</bool>
1255 </property>
1256 <property name="toolTip">
1257 <string/>
1258 </property>
1259 <property name="whatsThis">
1260 <string/>
1261 </property>
1262 <property name="suffix">
1263 <string/>
1264 </property>
1265 <property name="minimum">
1266 <number>1</number>
1267 </property>
1268 <property name="maximum">
1269 <number>6</number>
1270 </property>
1271 <property name="value">
1272 <number>2</number>
1273 </property>
1274 </widget>
1275 </item>
1276 <item row="0" column="4">
1277 <spacer name="horizontalSpacer_2">
1278 <property name="orientation">
1279 <enum>Qt::Horizontal</enum>
1280 </property>
1281 <property name="sizeHint" stdset="0">
1282 <size>
1283 <width>40</width>
1284 <height>20</height>
1285 </size>
1286 </property>
1287 </spacer>
1288 </item>
1289 <item row="0" column="0">
1290 <widget class="QCheckBox" name="editor_codeCompletion">
1291 <property name="enabled">
1292 <bool>true</bool>
1293 </property>
1294 <property name="text">
1295 <string>Show completion list automatically</string>
1296 </property>
1297 <property name="checked">
1298 <bool>false</bool>
1299 </property>
1300 </widget>
1301 </item>
1302 <item row="0" column="1">
1303 <spacer name="horizontalSpacer_31">
1304 <property name="orientation">
1305 <enum>Qt::Horizontal</enum>
1306 </property>
1307 <property name="sizeType">
1308 <enum>QSizePolicy::Fixed</enum>
1309 </property>
1310 <property name="sizeHint" stdset="0">
1311 <size>
1312 <width>10</width>
1313 <height>0</height>
1314 </size>
1315 </property>
1316 </spacer>
1317 </item>
1318 </layout>
1319 </item>
1320 </layout>
1321 </widget>
1322 </item>
1323 <item>
1324 <widget class="QGroupBox" name="groupBox_8">
1325 <property name="title">
1326 <string>File handling</string>
1327 </property>
1328 <layout class="QVBoxLayout" name="verticalLayout_30">
1329 <item>
1330 <layout class="QVBoxLayout" name="verticalLayout_11">
1331 <property name="topMargin">
1332 <number>0</number>
1333 </property>
1334 <property name="bottomMargin">
1335 <number>0</number>
1336 </property>
1337 <item>
1338 <widget class="QCheckBox" name="editor_restoreSession">
1339 <property name="sizePolicy">
1340 <sizepolicy hsizetype="Minimum" vsizetype="Fixed">
1341 <horstretch>0</horstretch>
1342 <verstretch>0</verstretch>
1343 </sizepolicy>
1344 </property>
1345 <property name="text">
1346 <string>Restore editor tabs from previous session on startup</string>
1347 </property>
1348 </widget>
1349 </item>
1350 <item>
1351 <widget class="QCheckBox" name="editor_create_new file">
1352 <property name="sizePolicy">
1353 <sizepolicy hsizetype="Minimum" vsizetype="Fixed">
1354 <horstretch>0</horstretch>
1355 <verstretch>0</verstretch>
1356 </sizepolicy>
1357 </property>
1358 <property name="text">
1359 <string>Create nonexistent files without prompting</string>
1360 </property>
1361 </widget>
1362 </item>
1363 <item>
1364 <widget class="QCheckBox" name="editor_reload_changed_files">
1365 <property name="text">
1366 <string>Reload externally changed files without prompt</string>
1367 </property>
1368 </widget>
1369 </item>
1370 </layout>
1371 </item>
1372 </layout>
1373 </widget>
1374 </item>
1375 <item>
1376 <spacer name="verticalSpacer_7">
1388 <property name="orientation"> 1377 <property name="orientation">
1389 <enum>Qt::Vertical</enum> 1378 <enum>Qt::Vertical</enum>
1390 </property> 1379 </property>
1391 <property name="sizeHint" stdset="0"> 1380 <property name="sizeHint" stdset="0">
1392 <size> 1381 <size>
1470 <widget class="QWidget" name="scrollAreaWidgetContents_4"> 1459 <widget class="QWidget" name="scrollAreaWidgetContents_4">
1471 <property name="geometry"> 1460 <property name="geometry">
1472 <rect> 1461 <rect>
1473 <x>0</x> 1462 <x>0</x>
1474 <y>0</y> 1463 <y>0</y>
1475 <width>488</width> 1464 <width>678</width>
1476 <height>236</height> 1465 <height>378</height>
1477 </rect> 1466 </rect>
1478 </property> 1467 </property>
1479 <layout class="QVBoxLayout" name="verticalLayout_7"> 1468 <layout class="QVBoxLayout" name="verticalLayout_7">
1480 <item> 1469 <item>
1481 <layout class="QVBoxLayout" name="verticalLayout_8"> 1470 <layout class="QVBoxLayout" name="verticalLayout_8">
1758 <widget class="QWidget" name="scrollAreaWidgetContents_5"> 1747 <widget class="QWidget" name="scrollAreaWidgetContents_5">
1759 <property name="geometry"> 1748 <property name="geometry">
1760 <rect> 1749 <rect>
1761 <x>0</x> 1750 <x>0</x>
1762 <y>0</y> 1751 <y>0</y>
1763 <width>474</width> 1752 <width>678</width>
1764 <height>318</height> 1753 <height>378</height>
1765 </rect> 1754 </rect>
1766 </property> 1755 </property>
1767 <layout class="QVBoxLayout" name="verticalLayout_18"> 1756 <layout class="QVBoxLayout" name="verticalLayout_18">
1768 <item> 1757 <item>
1769 <widget class="QGroupBox" name="groupBox_3"> 1758 <widget class="QGroupBox" name="groupBox_3">
1935 <widget class="QWidget" name="scrollAreaWidgetContents_6"> 1924 <widget class="QWidget" name="scrollAreaWidgetContents_6">
1936 <property name="geometry"> 1925 <property name="geometry">
1937 <rect> 1926 <rect>
1938 <x>0</x> 1927 <x>0</x>
1939 <y>0</y> 1928 <y>0</y>
1940 <width>203</width> 1929 <width>678</width>
1941 <height>79</height> 1930 <height>378</height>
1942 </rect> 1931 </rect>
1943 </property> 1932 </property>
1944 <layout class="QVBoxLayout" name="verticalLayout_19"> 1933 <layout class="QVBoxLayout" name="verticalLayout_19">
1945 <item> 1934 <item>
1946 <layout class="QGridLayout" name="gridLayout_14"> 1935 <layout class="QGridLayout" name="gridLayout_14">
2004 <widget class="QWidget" name="scrollAreaWidgetContents_8"> 1993 <widget class="QWidget" name="scrollAreaWidgetContents_8">
2005 <property name="geometry"> 1994 <property name="geometry">
2006 <rect> 1995 <rect>
2007 <x>0</x> 1996 <x>0</x>
2008 <y>0</y> 1997 <y>0</y>
2009 <width>368</width> 1998 <width>678</width>
2010 <height>244</height> 1999 <height>378</height>
2011 </rect> 2000 </rect>
2012 </property> 2001 </property>
2013 <layout class="QVBoxLayout" name="verticalLayout_25"> 2002 <layout class="QVBoxLayout" name="verticalLayout_25">
2014 <item> 2003 <item>
2015 <layout class="QVBoxLayout" name="verticalLayout_26"> 2004 <layout class="QVBoxLayout" name="verticalLayout_26">
2267 <widget class="QWidget" name="scrollAreaWidgetContents_7"> 2256 <widget class="QWidget" name="scrollAreaWidgetContents_7">
2268 <property name="geometry"> 2257 <property name="geometry">
2269 <rect> 2258 <rect>
2270 <x>0</x> 2259 <x>0</x>
2271 <y>0</y> 2260 <y>0</y>
2272 <width>529</width> 2261 <width>678</width>
2273 <height>204</height> 2262 <height>378</height>
2274 </rect> 2263 </rect>
2275 </property> 2264 </property>
2276 <layout class="QVBoxLayout" name="verticalLayout_20"> 2265 <layout class="QVBoxLayout" name="verticalLayout_20">
2277 <item> 2266 <item>
2278 <layout class="QVBoxLayout" name="verticalLayout"> 2267 <layout class="QVBoxLayout" name="verticalLayout">