Mercurial > octave-nkf

comparison libgui/src/settings-dialog.ui @ 18155:14acb08d75fa gui-release

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gui: optionally set focus to console when a command is run from another widget * settings-dialog.ui: new checkbox for focus switching to console * settings-dialog.cc (constructor): read new setting and init check box, (write_changed_settings): write state from check box into settings file * main-window.cc (focus_console_after_command): new functions checking settings file for new settings, (execute_command_in_terminal): focus console if desired, (run_file_in_terminal): focus console if desired * main-window.h: new function focus_console_after_command
author Torsten <ttl@justmail.de>
date Fri, 20 Dec 2013 16:13:20 +0100
parents 0b71746689dc
children b3838cedfe04
comparison
equal deleted inserted replaced
18153:5971c8f515a7 18155:14acb08d75fa
30 </property> 30 </property>
31 <layout class="QVBoxLayout" name="verticalLayout_2"> 31 <layout class="QVBoxLayout" name="verticalLayout_2">
32 <item> 32 <item>
33 <widget class="QTabWidget" name="tabWidget"> 33 <widget class="QTabWidget" name="tabWidget">
34 <property name="currentIndex"> 34 <property name="currentIndex">
35 <number>6</number> 35 <number>3</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>
853 </widget> 853 </widget>
854 <widget class="QWidget" name="tab_terminal"> 854 <widget class="QWidget" name="tab_terminal">
855 <attribute name="title"> 855 <attribute name="title">
856 <string>Terminal</string> 856 <string>Terminal</string>
857 </attribute> 857 </attribute>
858 <widget class="QWidget" name="horizontalLayoutWidget">
859 <property name="geometry">
860 <rect>
861 <x>10</x>
862 <y>50</y>
863 <width>631</width>
864 <height>31</height>
865 </rect>
866 </property>
867 <layout class="QHBoxLayout" name="horizontalLayout_3">
868 <item>
869 <widget class="QLabel" name="label">
870 <property name="text">
871 <string>Cursor type:</string>
872 </property>
873 </widget>
874 </item>
875 <item>
876 <widget class="QComboBox" name="terminal_cursorType"/>
877 </item>
878 <item>
879 <spacer name="horizontalSpacer">
880 <property name="orientation">
881 <enum>Qt::Horizontal</enum>
882 </property>
883 <property name="sizeHint" stdset="0">
884 <size>
885 <width>40</width>
886 <height>20</height>
887 </size>
888 </property>
889 </spacer>
890 </item>
891 <item>
892 <widget class="QCheckBox" name="terminal_cursorBlinking">
893 <property name="text">
894 <string>Cursor blinking</string>
895 </property>
896 </widget>
897 </item>
898 <item>
899 <widget class="QCheckBox" name="terminal_cursorUseForegroundColor">
900 <property name="text">
901 <string>Use foreground color</string>
902 </property>
903 </widget>
904 </item>
905 </layout>
906 </widget>
907 <widget class="QWidget" name="verticalLayoutWidget_3"> 858 <widget class="QWidget" name="verticalLayoutWidget_3">
908 <property name="geometry"> 859 <property name="geometry">
909 <rect> 860 <rect>
910 <x>10</x> 861 <x>10</x>
911 <y>90</y> 862 <y>10</y>
912 <width>631</width> 863 <width>631</width>
913 <height>291</height> 864 <height>371</height>
914 </rect> 865 </rect>
915 </property> 866 </property>
916 <layout class="QVBoxLayout" name="verticalLayout_8"> 867 <layout class="QVBoxLayout" name="verticalLayout_8">
917 <item> 868 <item>
918 <widget class="Line" name="line_6"> 869 <layout class="QHBoxLayout" name="horizontalLayout_5">
870 <item>
871 <widget class="QLabel" name="label_11">
872 <property name="text">
873 <string>Font</string>
874 </property>
875 </widget>
876 </item>
877 <item>
878 <widget class="QFontComboBox" name="terminal_fontName">
879 <property name="editable">
880 <bool>false</bool>
881 </property>
882 <property name="fontFilters">
883 <set>QFontComboBox::MonospacedFonts</set>
884 </property>
885 </widget>
886 </item>
887 <item>
888 <widget class="QLabel" name="label_12">
889 <property name="text">
890 <string>Font size</string>
891 </property>
892 </widget>
893 </item>
894 <item>
895 <widget class="QSpinBox" name="terminal_fontSize">
896 <property name="minimum">
897 <number>2</number>
898 </property>
899 <property name="maximum">
900 <number>96</number>
901 </property>
902 <property name="value">
903 <number>10</number>
904 </property>
905 </widget>
906 </item>
907 <item>
908 <spacer name="horizontalSpacer_5">
909 <property name="orientation">
910 <enum>Qt::Horizontal</enum>
911 </property>
912 <property name="sizeHint" stdset="0">
913 <size>
914 <width>40</width>
915 <height>20</height>
916 </size>
917 </property>
918 </spacer>
919 </item>
920 </layout>
921 </item>
922 <item>
923 <layout class="QHBoxLayout" name="horizontalLayout_3">
924 <item>
925 <widget class="QLabel" name="label">
926 <property name="text">
927 <string>Cursor type:</string>
928 </property>
929 </widget>
930 </item>
931 <item>
932 <widget class="QComboBox" name="terminal_cursorType"/>
933 </item>
934 <item>
935 <spacer name="horizontalSpacer">
936 <property name="orientation">
937 <enum>Qt::Horizontal</enum>
938 </property>
939 <property name="sizeHint" stdset="0">
940 <size>
941 <width>40</width>
942 <height>20</height>
943 </size>
944 </property>
945 </spacer>
946 </item>
947 <item>
948 <widget class="QCheckBox" name="terminal_cursorBlinking">
949 <property name="text">
950 <string>Cursor blinking</string>
951 </property>
952 </widget>
953 </item>
954 <item>
955 <widget class="QCheckBox" name="terminal_cursorUseForegroundColor">
956 <property name="text">
957 <string>Use foreground color</string>
958 </property>
959 </widget>
960 </item>
961 </layout>
962 </item>
963 <item>
964 <widget class="Line" name="line_7">
919 <property name="orientation"> 965 <property name="orientation">
920 <enum>Qt::Horizontal</enum> 966 <enum>Qt::Horizontal</enum>
921 </property> 967 </property>
922 </widget> 968 </widget>
923 </item> 969 </item>
946 <enum>Qt::Horizontal</enum> 992 <enum>Qt::Horizontal</enum>
947 </property> 993 </property>
948 </widget> 994 </widget>
949 </item> 995 </item>
950 <item> 996 <item>
997 <widget class="QCheckBox" name="terminal_focus_command">
998 <property name="text">
999 <string>Set focus to terminal when running a command from within another widget</string>
1000 </property>
1001 </widget>
1002 </item>
1003 <item>
1004 <widget class="Line" name="line_6">
1005 <property name="orientation">
1006 <enum>Qt::Horizontal</enum>
1007 </property>
1008 </widget>
1009 </item>
1010 <item>
951 <spacer name="verticalSpacer_3"> 1011 <spacer name="verticalSpacer_3">
952 <property name="orientation"> 1012 <property name="orientation">
953 <enum>Qt::Vertical</enum> 1013 <enum>Qt::Vertical</enum>
954 </property> 1014 </property>
955 <property name="sizeHint" stdset="0"> 1015 <property name="sizeHint" stdset="0">
956 <size> 1016 <size>
957 <width>20</width> 1017 <width>20</width>
958 <height>40</height> 1018 <height>40</height>
959 </size>
960 </property>
961 </spacer>
962 </item>
963 </layout>
964 </widget>
965 <widget class="QWidget" name="layoutWidget">
966 <property name="geometry">
967 <rect>
968 <x>10</x>
969 <y>10</y>
970 <width>631</width>
971 <height>31</height>
972 </rect>
973 </property>
974 <layout class="QHBoxLayout" name="horizontalLayout_5">
975 <item>
976 <widget class="QLabel" name="label_11">
977 <property name="text">
978 <string>Font</string>
979 </property>
980 </widget>
981 </item>
982 <item>
983 <widget class="QFontComboBox" name="terminal_fontName">
984 <property name="editable">
985 <bool>false</bool>
986 </property>
987 <property name="fontFilters">
988 <set>QFontComboBox::MonospacedFonts</set>
989 </property>
990 </widget>
991 </item>
992 <item>
993 <widget class="QLabel" name="label_12">
994 <property name="text">
995 <string>Font size</string>
996 </property>
997 </widget>
998 </item>
999 <item>
1000 <widget class="QSpinBox" name="terminal_fontSize">
1001 <property name="minimum">
1002 <number>2</number>
1003 </property>
1004 <property name="maximum">
1005 <number>96</number>
1006 </property>
1007 <property name="value">
1008 <number>10</number>
1009 </property>
1010 </widget>
1011 </item>
1012 <item>
1013 <spacer name="horizontalSpacer_5">
1014 <property name="orientation">
1015 <enum>Qt::Horizontal</enum>
1016 </property>
1017 <property name="sizeHint" stdset="0">
1018 <size>
1019 <width>40</width>
1020 <height>20</height>
1021 </size> 1019 </size>
1022 </property> 1020 </property>
1023 </spacer> 1021 </spacer>
1024 </item> 1022 </item>
1025 </layout> 1023 </layout>