30 |
<property name="can_default">True</property> |
<property name="can_default">True</property> |
31 |
<property name="has_default">True</property> |
<property name="has_default">True</property> |
32 |
<property name="can_focus">True</property> |
<property name="can_focus">True</property> |
33 |
|
<property name="has_focus">True</property> |
34 |
<property name="label">gtk-close</property> |
<property name="label">gtk-close</property> |
35 |
<property name="use_stock">True</property> |
<property name="use_stock">True</property> |
36 |
<property name="relief">GTK_RELIEF_NORMAL</property> |
<property name="relief">GTK_RELIEF_NORMAL</property> |
118 |
<widget class="GtkHBox" id="hbox2"> |
<widget class="GtkHBox" id="hbox2"> |
119 |
<property name="visible">True</property> |
<property name="visible">True</property> |
120 |
<property name="homogeneous">False</property> |
<property name="homogeneous">False</property> |
121 |
<property name="spacing">0</property> |
<property name="spacing">10</property> |
122 |
|
|
123 |
<child> |
<child> |
124 |
<widget class="GtkHBox" id="hbox3"> |
<widget class="GtkHBox" id="hbox3"> |
305 |
<child> |
<child> |
306 |
<widget class="GtkLabel" id="label14"> |
<widget class="GtkLabel" id="label14"> |
307 |
<property name="visible">True</property> |
<property name="visible">True</property> |
308 |
<property name="label" translatable="yes">_Print command:</property> |
<property name="label" translatable="yes">_Print command: </property> |
309 |
<property name="use_underline">True</property> |
<property name="use_underline">True</property> |
310 |
<property name="use_markup">False</property> |
<property name="use_markup">False</property> |
311 |
<property name="justify">GTK_JUSTIFY_LEFT</property> |
<property name="justify">GTK_JUSTIFY_LEFT</property> |
411 |
|
|
412 |
<child> |
<child> |
413 |
<widget class="GtkFrame" id="frame5"> |
<widget class="GtkFrame" id="frame5"> |
414 |
|
<property name="border_width">10</property> |
415 |
<property name="visible">True</property> |
<property name="visible">True</property> |
416 |
<property name="label_xalign">0</property> |
<property name="label_xalign">0</property> |
417 |
<property name="label_yalign">0.5</property> |
<property name="label_yalign">0.5</property> |
692 |
<widget class="GtkScrolledWindow" id="scrolledwindow1"> |
<widget class="GtkScrolledWindow" id="scrolledwindow1"> |
693 |
<property name="visible">True</property> |
<property name="visible">True</property> |
694 |
<property name="can_focus">True</property> |
<property name="can_focus">True</property> |
695 |
<property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property> |
<property name="hscrollbar_policy">GTK_POLICY_NEVER</property> |
696 |
<property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property> |
<property name="vscrollbar_policy">GTK_POLICY_NEVER</property> |
697 |
<property name="shadow_type">GTK_SHADOW_NONE</property> |
<property name="shadow_type">GTK_SHADOW_ETCHED_IN</property> |
698 |
<property name="window_placement">GTK_CORNER_TOP_LEFT</property> |
<property name="window_placement">GTK_CORNER_TOP_LEFT</property> |
699 |
|
|
700 |
<child> |
<child> |
751 |
</child> |
</child> |
752 |
</widget> |
</widget> |
753 |
<packing> |
<packing> |
754 |
<property name="padding">0</property> |
<property name="padding">5</property> |
755 |
<property name="expand">True</property> |
<property name="expand">True</property> |
756 |
<property name="fill">True</property> |
<property name="fill">True</property> |
757 |
</packing> |
</packing> |
790 |
|
|
791 |
<child> |
<child> |
792 |
<widget class="GtkFrame" id="frame6"> |
<widget class="GtkFrame" id="frame6"> |
793 |
|
<property name="border_width">10</property> |
794 |
<property name="visible">True</property> |
<property name="visible">True</property> |
795 |
<property name="label_xalign">0</property> |
<property name="label_xalign">0</property> |
796 |
<property name="label_yalign">0.5</property> |
<property name="label_yalign">0.5</property> |
798 |
|
|
799 |
<child> |
<child> |
800 |
<widget class="GtkVBox" id="vbox10"> |
<widget class="GtkVBox" id="vbox10"> |
801 |
|
<property name="border_width">5</property> |
802 |
<property name="visible">True</property> |
<property name="visible">True</property> |
803 |
<property name="homogeneous">False</property> |
<property name="homogeneous">False</property> |
804 |
<property name="spacing">0</property> |
<property name="spacing">0</property> |
810 |
<property name="spacing">0</property> |
<property name="spacing">0</property> |
811 |
|
|
812 |
<child> |
<child> |
813 |
<placeholder/> |
<widget class="GtkCheckButton" id="checkbutton3"> |
814 |
</child> |
<property name="visible">True</property> |
815 |
|
<property name="can_focus">True</property> |
816 |
<child> |
<property name="relief">GTK_RELIEF_NORMAL</property> |
817 |
<placeholder/> |
<property name="active">True</property> |
818 |
</child> |
<property name="inconsistent">False</property> |
819 |
</widget> |
<property name="draw_indicator">True</property> |
|
<packing> |
|
|
<property name="padding">0</property> |
|
|
<property name="expand">True</property> |
|
|
<property name="fill">True</property> |
|
|
</packing> |
|
|
</child> |
|
820 |
|
|
821 |
<child> |
<child> |
822 |
<widget class="GtkHBox" id="hbox16"> |
<widget class="GtkAlignment" id="alignment1"> |
823 |
<property name="visible">True</property> |
<property name="visible">True</property> |
824 |
<property name="homogeneous">False</property> |
<property name="xalign">0.5</property> |
825 |
<property name="spacing">0</property> |
<property name="yalign">0.5</property> |
826 |
|
<property name="xscale">0</property> |
827 |
|
<property name="yscale">0</property> |
828 |
|
|
829 |
<child> |
<child> |
830 |
<placeholder/> |
<widget class="GtkHBox" id="hbox23"> |
831 |
</child> |
<property name="visible">True</property> |
832 |
|
<property name="homogeneous">False</property> |
833 |
|
<property name="spacing">2</property> |
834 |
|
|
835 |
<child> |
<child> |
836 |
<placeholder/> |
<widget class="GtkImage" id="image1"> |
837 |
|
<property name="visible">True</property> |
838 |
|
<property name="stock">gtk-goto-last</property> |
839 |
|
<property name="icon_size">4</property> |
840 |
|
<property name="xalign">0.5</property> |
841 |
|
<property name="yalign">0.5</property> |
842 |
|
<property name="xpad">0</property> |
843 |
|
<property name="ypad">0</property> |
844 |
|
</widget> |
845 |
|
<packing> |
846 |
|
<property name="padding">0</property> |
847 |
|
<property name="expand">False</property> |
848 |
|
<property name="fill">False</property> |
849 |
|
</packing> |
850 |
|
</child> |
851 |
|
|
852 |
|
<child> |
853 |
|
<widget class="GtkLabel" id="label26"> |
854 |
|
<property name="visible">True</property> |
855 |
|
<property name="label" translatable="yes">Enable Auto-Indentation</property> |
856 |
|
<property name="use_underline">True</property> |
857 |
|
<property name="use_markup">False</property> |
858 |
|
<property name="justify">GTK_JUSTIFY_LEFT</property> |
859 |
|
<property name="wrap">False</property> |
860 |
|
<property name="selectable">False</property> |
861 |
|
<property name="xalign">0.5</property> |
862 |
|
<property name="yalign">0.5</property> |
863 |
|
<property name="xpad">0</property> |
864 |
|
<property name="ypad">0</property> |
865 |
|
</widget> |
866 |
|
<packing> |
867 |
|
<property name="padding">0</property> |
868 |
|
<property name="expand">False</property> |
869 |
|
<property name="fill">False</property> |
870 |
|
</packing> |
871 |
|
</child> |
872 |
|
</widget> |
873 |
|
</child> |
874 |
|
</widget> |
875 |
|
</child> |
876 |
|
</widget> |
877 |
|
<packing> |
878 |
|
<property name="padding">0</property> |
879 |
|
<property name="expand">False</property> |
880 |
|
<property name="fill">False</property> |
881 |
|
</packing> |
882 |
</child> |
</child> |
883 |
</widget> |
</widget> |
884 |
<packing> |
<packing> |
885 |
<property name="padding">0</property> |
<property name="padding">0</property> |
886 |
<property name="expand">True</property> |
<property name="expand">False</property> |
887 |
<property name="fill">True</property> |
<property name="fill">True</property> |
888 |
</packing> |
</packing> |
889 |
</child> |
</child> |
893 |
<child> |
<child> |
894 |
<widget class="GtkLabel" id="label21"> |
<widget class="GtkLabel" id="label21"> |
895 |
<property name="visible">True</property> |
<property name="visible">True</property> |
896 |
<property name="label" translatable="yes">label21</property> |
<property name="label" translatable="yes"><span weight="bold">General</span></property> |
897 |
<property name="use_underline">False</property> |
<property name="use_underline">False</property> |
898 |
<property name="use_markup">False</property> |
<property name="use_markup">True</property> |
899 |
<property name="justify">GTK_JUSTIFY_LEFT</property> |
<property name="justify">GTK_JUSTIFY_LEFT</property> |
900 |
<property name="wrap">False</property> |
<property name="wrap">False</property> |
901 |
<property name="selectable">False</property> |
<property name="selectable">False</property> |
910 |
</child> |
</child> |
911 |
</widget> |
</widget> |
912 |
<packing> |
<packing> |
913 |
<property name="padding">0</property> |
<property name="padding">5</property> |
914 |
<property name="expand">True</property> |
<property name="expand">True</property> |
915 |
<property name="fill">True</property> |
<property name="fill">True</property> |
916 |
</packing> |
</packing> |
930 |
<property name="spacing">0</property> |
<property name="spacing">0</property> |
931 |
|
|
932 |
<child> |
<child> |
933 |
<widget class="GtkHBox" id="hbox18"> |
<widget class="GtkHBox" id="hbox24"> |
934 |
|
<property name="border_width">5</property> |
935 |
<property name="visible">True</property> |
<property name="visible">True</property> |
936 |
<property name="homogeneous">False</property> |
<property name="homogeneous">False</property> |
937 |
<property name="spacing">0</property> |
<property name="spacing">10</property> |
|
|
|
|
<child> |
|
|
<placeholder/> |
|
|
</child> |
|
938 |
|
|
939 |
<child> |
<child> |
940 |
<placeholder/> |
<widget class="GtkHBox" id="hbox25"> |
941 |
</child> |
<property name="visible">True</property> |
942 |
</widget> |
<property name="homogeneous">False</property> |
943 |
<packing> |
<property name="spacing">0</property> |
|
<property name="padding">0</property> |
|
|
<property name="expand">True</property> |
|
|
<property name="fill">True</property> |
|
|
</packing> |
|
|
</child> |
|
944 |
|
|
945 |
<child> |
<child> |
946 |
<widget class="GtkHBox" id="hbox19"> |
<widget class="GtkLabel" id="label27"> |
947 |
<property name="visible">True</property> |
<property name="visible">True</property> |
948 |
<property name="homogeneous">False</property> |
<property name="label" translatable="yes">_Width:</property> |
949 |
<property name="spacing">0</property> |
<property name="use_underline">True</property> |
950 |
|
<property name="use_markup">False</property> |
951 |
|
<property name="justify">GTK_JUSTIFY_LEFT</property> |
952 |
|
<property name="wrap">False</property> |
953 |
|
<property name="selectable">False</property> |
954 |
|
<property name="xalign">0.5</property> |
955 |
|
<property name="yalign">0.5</property> |
956 |
|
<property name="xpad">0</property> |
957 |
|
<property name="ypad">0</property> |
958 |
|
<property name="mnemonic_widget">spinbutton1</property> |
959 |
|
</widget> |
960 |
|
<packing> |
961 |
|
<property name="padding">0</property> |
962 |
|
<property name="expand">False</property> |
963 |
|
<property name="fill">False</property> |
964 |
|
</packing> |
965 |
|
</child> |
966 |
|
|
967 |
<child> |
<child> |
968 |
<placeholder/> |
<widget class="GtkSpinButton" id="spinbutton3"> |
969 |
|
<property name="width_request">60</property> |
970 |
|
<property name="visible">True</property> |
971 |
|
<property name="can_focus">True</property> |
972 |
|
<property name="climb_rate">1</property> |
973 |
|
<property name="digits">0</property> |
974 |
|
<property name="numeric">True</property> |
975 |
|
<property name="update_policy">GTK_UPDATE_ALWAYS</property> |
976 |
|
<property name="snap_to_ticks">False</property> |
977 |
|
<property name="wrap">False</property> |
978 |
|
<property name="adjustment">130 0 100 1 10 10</property> |
979 |
|
</widget> |
980 |
|
<packing> |
981 |
|
<property name="padding">5</property> |
982 |
|
<property name="expand">True</property> |
983 |
|
<property name="fill">True</property> |
984 |
|
</packing> |
985 |
|
</child> |
986 |
|
</widget> |
987 |
|
<packing> |
988 |
|
<property name="padding">5</property> |
989 |
|
<property name="expand">False</property> |
990 |
|
<property name="fill">False</property> |
991 |
|
</packing> |
992 |
</child> |
</child> |
993 |
|
|
994 |
<child> |
<child> |
995 |
<placeholder/> |
<widget class="GtkHBox" id="hbox26"> |
996 |
|
<property name="visible">True</property> |
997 |
|
<property name="homogeneous">False</property> |
998 |
|
<property name="spacing">0</property> |
999 |
|
|
1000 |
|
<child> |
1001 |
|
<widget class="GtkLabel" id="label28"> |
1002 |
|
<property name="visible">True</property> |
1003 |
|
<property name="label" translatable="yes">_Height:</property> |
1004 |
|
<property name="use_underline">True</property> |
1005 |
|
<property name="use_markup">False</property> |
1006 |
|
<property name="justify">GTK_JUSTIFY_LEFT</property> |
1007 |
|
<property name="wrap">False</property> |
1008 |
|
<property name="selectable">False</property> |
1009 |
|
<property name="xalign">0.5</property> |
1010 |
|
<property name="yalign">0.5</property> |
1011 |
|
<property name="xpad">0</property> |
1012 |
|
<property name="ypad">0</property> |
1013 |
|
<property name="mnemonic_widget">spinbutton2</property> |
1014 |
|
</widget> |
1015 |
|
<packing> |
1016 |
|
<property name="padding">0</property> |
1017 |
|
<property name="expand">False</property> |
1018 |
|
<property name="fill">False</property> |
1019 |
|
</packing> |
1020 |
|
</child> |
1021 |
|
|
1022 |
|
<child> |
1023 |
|
<widget class="GtkSpinButton" id="spinbutton4"> |
1024 |
|
<property name="width_request">60</property> |
1025 |
|
<property name="visible">True</property> |
1026 |
|
<property name="can_focus">True</property> |
1027 |
|
<property name="climb_rate">1</property> |
1028 |
|
<property name="digits">0</property> |
1029 |
|
<property name="numeric">True</property> |
1030 |
|
<property name="update_policy">GTK_UPDATE_ALWAYS</property> |
1031 |
|
<property name="snap_to_ticks">False</property> |
1032 |
|
<property name="wrap">False</property> |
1033 |
|
<property name="adjustment">200 0 100 1 10 10</property> |
1034 |
|
</widget> |
1035 |
|
<packing> |
1036 |
|
<property name="padding">5</property> |
1037 |
|
<property name="expand">True</property> |
1038 |
|
<property name="fill">True</property> |
1039 |
|
</packing> |
1040 |
|
</child> |
1041 |
|
</widget> |
1042 |
|
<packing> |
1043 |
|
<property name="padding">5</property> |
1044 |
|
<property name="expand">False</property> |
1045 |
|
<property name="fill">False</property> |
1046 |
|
</packing> |
1047 |
</child> |
</child> |
1048 |
</widget> |
</widget> |
1049 |
<packing> |
<packing> |
1058 |
<child> |
<child> |
1059 |
<widget class="GtkLabel" id="label22"> |
<widget class="GtkLabel" id="label22"> |
1060 |
<property name="visible">True</property> |
<property name="visible">True</property> |
1061 |
<property name="label" translatable="yes">label22</property> |
<property name="label" translatable="yes"><span weight="bold">Auto Completion</span></property> |
1062 |
<property name="use_underline">False</property> |
<property name="use_underline">False</property> |
1063 |
<property name="use_markup">False</property> |
<property name="use_markup">True</property> |
1064 |
<property name="justify">GTK_JUSTIFY_LEFT</property> |
<property name="justify">GTK_JUSTIFY_LEFT</property> |
1065 |
<property name="wrap">False</property> |
<property name="wrap">False</property> |
1066 |
<property name="selectable">False</property> |
<property name="selectable">False</property> |
1090 |
<child> |
<child> |
1091 |
<widget class="GtkLabel" id="label3"> |
<widget class="GtkLabel" id="label3"> |
1092 |
<property name="visible">True</property> |
<property name="visible">True</property> |
1093 |
<property name="label" translatable="yes">Advanced</property> |
<property name="label" translatable="yes">Programming Aids</property> |
1094 |
<property name="use_underline">False</property> |
<property name="use_underline">False</property> |
1095 |
<property name="use_markup">False</property> |
<property name="use_markup">False</property> |
1096 |
<property name="justify">GTK_JUSTIFY_LEFT</property> |
<property name="justify">GTK_JUSTIFY_LEFT</property> |
1114 |
|
|
1115 |
<child> |
<child> |
1116 |
<widget class="GtkFrame" id="frame8"> |
<widget class="GtkFrame" id="frame8"> |
1117 |
|
<property name="border_width">10</property> |
1118 |
<property name="visible">True</property> |
<property name="visible">True</property> |
1119 |
<property name="label_xalign">0</property> |
<property name="label_xalign">0</property> |
1120 |
<property name="label_yalign">0.5</property> |
<property name="label_yalign">0.5</property> |
1127 |
<property name="spacing">0</property> |
<property name="spacing">0</property> |
1128 |
|
|
1129 |
<child> |
<child> |
1130 |
<placeholder/> |
<widget class="GtkCheckButton" id="checkbutton4"> |
1131 |
|
<property name="visible">True</property> |
1132 |
|
<property name="can_focus">True</property> |
1133 |
|
<property name="label" translatable="yes">Write backup files</property> |
1134 |
|
<property name="use_underline">True</property> |
1135 |
|
<property name="relief">GTK_RELIEF_NORMAL</property> |
1136 |
|
<property name="active">False</property> |
1137 |
|
<property name="inconsistent">False</property> |
1138 |
|
<property name="draw_indicator">True</property> |
1139 |
|
</widget> |
1140 |
|
<packing> |
1141 |
|
<property name="padding">0</property> |
1142 |
|
<property name="expand">False</property> |
1143 |
|
<property name="fill">False</property> |
1144 |
|
</packing> |
1145 |
</child> |
</child> |
1146 |
|
|
1147 |
<child> |
<child> |
1148 |
<widget class="GtkHBox" id="hbox22"> |
<widget class="GtkHBox" id="hbox31"> |
1149 |
<property name="visible">True</property> |
<property name="visible">True</property> |
1150 |
<property name="homogeneous">False</property> |
<property name="homogeneous">False</property> |
1151 |
<property name="spacing">0</property> |
<property name="spacing">0</property> |
1152 |
|
|
1153 |
<child> |
<child> |
1154 |
<placeholder/> |
<widget class="GtkLabel" id="label36"> |
1155 |
|
<property name="visible">True</property> |
1156 |
|
<property name="label" translatable="yes">Extension: </property> |
1157 |
|
<property name="use_underline">True</property> |
1158 |
|
<property name="use_markup">False</property> |
1159 |
|
<property name="justify">GTK_JUSTIFY_LEFT</property> |
1160 |
|
<property name="wrap">False</property> |
1161 |
|
<property name="selectable">False</property> |
1162 |
|
<property name="xalign">0.5</property> |
1163 |
|
<property name="yalign">0.5</property> |
1164 |
|
<property name="xpad">0</property> |
1165 |
|
<property name="ypad">0</property> |
1166 |
|
<property name="mnemonic_widget">entry2</property> |
1167 |
|
</widget> |
1168 |
|
<packing> |
1169 |
|
<property name="padding">0</property> |
1170 |
|
<property name="expand">False</property> |
1171 |
|
<property name="fill">False</property> |
1172 |
|
</packing> |
1173 |
</child> |
</child> |
1174 |
|
|
1175 |
<child> |
<child> |
1176 |
<placeholder/> |
<widget class="GtkEntry" id="entry3"> |
1177 |
|
<property name="visible">True</property> |
1178 |
|
<property name="can_focus">True</property> |
1179 |
|
<property name="editable">True</property> |
1180 |
|
<property name="visibility">True</property> |
1181 |
|
<property name="max_length">0</property> |
1182 |
|
<property name="text" translatable="yes">~</property> |
1183 |
|
<property name="has_frame">True</property> |
1184 |
|
<property name="invisible_char" translatable="yes">*</property> |
1185 |
|
<property name="activates_default">False</property> |
1186 |
|
</widget> |
1187 |
|
<packing> |
1188 |
|
<property name="padding">0</property> |
1189 |
|
<property name="expand">True</property> |
1190 |
|
<property name="fill">True</property> |
1191 |
|
</packing> |
1192 |
</child> |
</child> |
1193 |
</widget> |
</widget> |
1194 |
<packing> |
<packing> |
1203 |
<child> |
<child> |
1204 |
<widget class="GtkLabel" id="label23"> |
<widget class="GtkLabel" id="label23"> |
1205 |
<property name="visible">True</property> |
<property name="visible">True</property> |
1206 |
<property name="label" translatable="yes">label23</property> |
<property name="label" translatable="yes"><span weight="bold">Backup</span></property> |
1207 |
<property name="use_underline">False</property> |
<property name="use_underline">False</property> |
1208 |
<property name="use_markup">False</property> |
<property name="use_markup">True</property> |
1209 |
<property name="justify">GTK_JUSTIFY_LEFT</property> |
<property name="justify">GTK_JUSTIFY_LEFT</property> |
1210 |
<property name="wrap">False</property> |
<property name="wrap">False</property> |
1211 |
<property name="selectable">False</property> |
<property name="selectable">False</property> |
1220 |
</child> |
</child> |
1221 |
</widget> |
</widget> |
1222 |
<packing> |
<packing> |
1223 |
<property name="padding">0</property> |
<property name="padding">5</property> |
1224 |
<property name="expand">True</property> |
<property name="expand">True</property> |
1225 |
<property name="fill">True</property> |
<property name="fill">True</property> |
1226 |
</packing> |
</packing> |
1337 |
<property name="use_underline">False</property> |
<property name="use_underline">False</property> |
1338 |
<property name="use_markup">False</property> |
<property name="use_markup">False</property> |
1339 |
<property name="justify">GTK_JUSTIFY_LEFT</property> |
<property name="justify">GTK_JUSTIFY_LEFT</property> |
1340 |
|
<property name="wrap">False</property> |
1341 |
|
<property name="selectable">False</property> |
1342 |
|
<property name="xalign">0.5</property> |
1343 |
|
<property name="yalign">0.5</property> |
1344 |
|
<property name="xpad">0</property> |
1345 |
|
<property name="ypad">0</property> |
1346 |
|
</widget> |
1347 |
|
<packing> |
1348 |
|
<property name="type">tab</property> |
1349 |
|
</packing> |
1350 |
|
</child> |
1351 |
|
|
1352 |
|
<child> |
1353 |
|
<widget class="GtkVBox" id="vbox13"> |
1354 |
|
<property name="visible">True</property> |
1355 |
|
<property name="homogeneous">False</property> |
1356 |
|
<property name="spacing">0</property> |
1357 |
|
|
1358 |
|
<child> |
1359 |
|
<widget class="GtkVBox" id="vbox14"> |
1360 |
|
<property name="visible">True</property> |
1361 |
|
<property name="homogeneous">False</property> |
1362 |
|
<property name="spacing">0</property> |
1363 |
|
|
1364 |
|
<child> |
1365 |
|
<widget class="GtkVBox" id="vbox15"> |
1366 |
|
<property name="border_width">10</property> |
1367 |
|
<property name="visible">True</property> |
1368 |
|
<property name="homogeneous">False</property> |
1369 |
|
<property name="spacing">0</property> |
1370 |
|
|
1371 |
|
<child> |
1372 |
|
<widget class="GtkFrame" id="frame11"> |
1373 |
|
<property name="visible">True</property> |
1374 |
|
<property name="label_xalign">0</property> |
1375 |
|
<property name="label_yalign">0.5</property> |
1376 |
|
<property name="shadow_type">GTK_SHADOW_NONE</property> |
1377 |
|
|
1378 |
|
<child> |
1379 |
|
<placeholder/> |
1380 |
|
</child> |
1381 |
|
|
1382 |
|
<child> |
1383 |
|
<widget class="GtkLabel" id="label35"> |
1384 |
|
<property name="visible">True</property> |
1385 |
|
<property name="label" translatable="yes"><span weight="bold">Colors</span></property> |
1386 |
|
<property name="use_underline">False</property> |
1387 |
|
<property name="use_markup">True</property> |
1388 |
|
<property name="justify">GTK_JUSTIFY_LEFT</property> |
1389 |
|
<property name="wrap">False</property> |
1390 |
|
<property name="selectable">False</property> |
1391 |
|
<property name="xalign">0.5</property> |
1392 |
|
<property name="yalign">0.5</property> |
1393 |
|
<property name="xpad">0</property> |
1394 |
|
<property name="ypad">0</property> |
1395 |
|
</widget> |
1396 |
|
<packing> |
1397 |
|
<property name="type">label_item</property> |
1398 |
|
</packing> |
1399 |
|
</child> |
1400 |
|
</widget> |
1401 |
|
<packing> |
1402 |
|
<property name="padding">5</property> |
1403 |
|
<property name="expand">True</property> |
1404 |
|
<property name="fill">True</property> |
1405 |
|
</packing> |
1406 |
|
</child> |
1407 |
|
</widget> |
1408 |
|
<packing> |
1409 |
|
<property name="padding">0</property> |
1410 |
|
<property name="expand">True</property> |
1411 |
|
<property name="fill">True</property> |
1412 |
|
</packing> |
1413 |
|
</child> |
1414 |
|
</widget> |
1415 |
|
<packing> |
1416 |
|
<property name="padding">0</property> |
1417 |
|
<property name="expand">True</property> |
1418 |
|
<property name="fill">True</property> |
1419 |
|
</packing> |
1420 |
|
</child> |
1421 |
|
</widget> |
1422 |
|
<packing> |
1423 |
|
<property name="tab_expand">False</property> |
1424 |
|
<property name="tab_fill">True</property> |
1425 |
|
</packing> |
1426 |
|
</child> |
1427 |
|
|
1428 |
|
<child> |
1429 |
|
<widget class="GtkLabel" id="label29"> |
1430 |
|
<property name="visible">True</property> |
1431 |
|
<property name="label" translatable="yes">Syntax Highlighting</property> |
1432 |
|
<property name="use_underline">False</property> |
1433 |
|
<property name="use_markup">False</property> |
1434 |
|
<property name="justify">GTK_JUSTIFY_LEFT</property> |
1435 |
|
<property name="wrap">False</property> |
1436 |
|
<property name="selectable">False</property> |
1437 |
|
<property name="xalign">0.5</property> |
1438 |
|
<property name="yalign">0.5</property> |
1439 |
|
<property name="xpad">0</property> |
1440 |
|
<property name="ypad">0</property> |
1441 |
|
</widget> |
1442 |
|
<packing> |
1443 |
|
<property name="type">tab</property> |
1444 |
|
</packing> |
1445 |
|
</child> |
1446 |
|
|
1447 |
|
<child> |
1448 |
|
<placeholder/> |
1449 |
|
</child> |
1450 |
|
|
1451 |
|
<child> |
1452 |
|
<widget class="GtkLabel" id="label30"> |
1453 |
|
<property name="visible">True</property> |
1454 |
|
<property name="label" translatable="yes">Charsets</property> |
1455 |
|
<property name="use_underline">False</property> |
1456 |
|
<property name="use_markup">False</property> |
1457 |
|
<property name="justify">GTK_JUSTIFY_LEFT</property> |
1458 |
<property name="wrap">False</property> |
<property name="wrap">False</property> |
1459 |
<property name="selectable">False</property> |
<property name="selectable">False</property> |
1460 |
<property name="xalign">0.5</property> |
<property name="xalign">0.5</property> |