3 Internal Form Definition File
7 Unit of measure: FL_COORD_PIXEL
10 =============== FORM ===============
11 Name: form_preferences
21 colors: FL_COL1 FL_COL1
22 alignment: FL_ALIGN_CENTER
23 style: FL_NORMAL_STYLE
29 gravity: FL_NoGravity FL_NoGravity
39 colors: FL_COL1 FL_COL1
40 alignment: FL_ALIGN_TOP_LEFT
41 style: FL_NORMAL_STYLE
46 resize: FL_RESIZE_NONE
47 gravity: FL_NoGravity FL_NoGravity
57 colors: FL_COL1 FL_COL1
58 alignment: FL_ALIGN_CENTER
59 style: FL_NORMAL_STYLE
65 gravity: FL_NoGravity FL_NoGravity
67 callback: C_FormBaseApplyCB
75 colors: FL_COL1 FL_COL1
76 alignment: FL_ALIGN_CENTER
77 style: FL_NORMAL_STYLE
83 gravity: FL_NoGravity FL_NoGravity
85 callback: C_FormBaseCancelCB
93 colors: FL_COL1 FL_COL1
94 alignment: FL_ALIGN_CENTER
95 style: FL_NORMAL_STYLE
100 resize: FL_RESIZE_ALL
101 gravity: FL_NoGravity FL_NoGravity
103 callback: C_FormBaseOKCB
111 colors: FL_COL1 FL_COL1
112 alignment: FL_ALIGN_CENTER
113 style: FL_NORMAL_STYLE
118 resize: FL_RESIZE_ALL
119 gravity: FL_NoGravity FL_NoGravity
121 callback: C_FormBaseRestoreCB
129 colors: FL_BLACK FL_COL1
130 alignment: FL_ALIGN_CENTER
131 style: FL_NORMAL_STYLE
132 size: FL_DEFAULT_SIZE
136 resize: FL_RESIZE_ALL
137 gravity: FL_NoGravity FL_NoGravity
147 colors: FL_COL1 FL_MCOL
148 alignment: FL_ALIGN_LEFT|FL_ALIGN_INSIDE
149 style: FL_NORMAL_STYLE
150 size: FL_DEFAULT_SIZE
154 resize: FL_RESIZE_ALL
155 gravity: FL_NoGravity FL_NoGravity
165 colors: FL_COL1 FL_RED
166 alignment: FL_ALIGN_CENTER
167 style: FL_NORMAL_STYLE
168 size: FL_DEFAULT_SIZE
172 resize: FL_RESIZE_ALL
173 gravity: FL_NoGravity FL_NoGravity
178 =============== FORM ===============
189 colors: FL_COL1 FL_COL1
190 alignment: FL_ALIGN_CENTER
191 style: FL_NORMAL_STYLE
192 size: FL_DEFAULT_SIZE
196 resize: FL_RESIZE_ALL
197 gravity: FL_NoGravity FL_NoGravity
207 colors: FL_COL1 FL_COL1
208 alignment: FL_ALIGN_TOP_LEFT
209 style: FL_NORMAL_STYLE
210 size: FL_DEFAULT_SIZE
214 resize: FL_RESIZE_NONE
215 gravity: FL_NoGravity FL_NoGravity
216 name: tabfolder_outer
220 =============== FORM ===============
221 Name: form_screen_fonts
224 Number of Objects: 18
231 colors: FL_COL1 FL_COL1
232 alignment: FL_ALIGN_CENTER
233 style: FL_NORMAL_STYLE
234 size: FL_DEFAULT_SIZE
238 resize: FL_RESIZE_ALL
239 gravity: FL_NoGravity FL_NoGravity
249 colors: FL_COL1 FL_MCOL
250 alignment: FL_ALIGN_LEFT
251 style: FL_NORMAL_STYLE
256 resize: FL_RESIZE_ALL
257 gravity: FL_NoGravity FL_NoGravity
259 callback: C_FormBaseInputCB
260 argument: SCREENFONTS
267 colors: FL_COL1 FL_MCOL
268 alignment: FL_ALIGN_LEFT
269 style: FL_NORMAL_STYLE
274 resize: FL_RESIZE_ALL
275 gravity: FL_NoGravity FL_NoGravity
277 callback: C_FormBaseInputCB
278 argument: SCREENFONTS
285 colors: FL_COL1 FL_MCOL
286 alignment: FL_ALIGN_LEFT
287 style: FL_NORMAL_STYLE
292 resize: FL_RESIZE_ALL
293 gravity: FL_NoGravity FL_NoGravity
294 name: input_typewriter
295 callback: C_FormBaseInputCB
296 argument: SCREENFONTS
303 colors: FL_COL1 FL_BLUE
304 alignment: FL_ALIGN_LEFT
305 style: FL_NORMAL_STYLE
310 resize: FL_RESIZE_ALL
311 gravity: FL_NoGravity FL_NoGravity
313 callback: C_FormBaseInputCB
314 argument: SCREENFONTS
321 class: FL_CHECKBUTTON
325 colors: FL_COL1 FL_YELLOW
326 alignment: FL_ALIGN_RIGHT
327 style: FL_NORMAL_STYLE
330 label: Use scalable fonts
332 resize: FL_RESIZE_ALL
333 gravity: FL_NoGravity FL_NoGravity
335 callback: C_FormBaseInputCB
336 argument: SCREENFONTS
344 colors: FL_COL1 FL_MCOL
345 alignment: FL_ALIGN_LEFT
346 style: FL_NORMAL_STYLE
351 resize: FL_RESIZE_ALL
352 gravity: FL_NoGravity FL_NoGravity
353 name: input_screen_encoding
354 callback: C_FormBaseInputCB
355 argument: SCREENFONTS
362 colors: FL_COL1 FL_MCOL
363 alignment: FL_ALIGN_LEFT
364 style: FL_NORMAL_STYLE
369 resize: FL_RESIZE_ALL
370 gravity: FL_NoGravity FL_NoGravity
372 callback: C_FormBaseInputCB
373 argument: SCREENFONTS
380 colors: FL_COL1 FL_MCOL
381 alignment: FL_ALIGN_LEFT
382 style: FL_NORMAL_STYLE
387 resize: FL_RESIZE_ALL
388 gravity: FL_NoGravity FL_NoGravity
390 callback: C_FormBaseInputCB
391 argument: SCREENFONTS
398 colors: FL_COL1 FL_MCOL
399 alignment: FL_ALIGN_LEFT
400 style: FL_NORMAL_STYLE
405 resize: FL_RESIZE_ALL
406 gravity: FL_NoGravity FL_NoGravity
408 callback: C_FormBaseInputCB
409 argument: SCREENFONTS
416 colors: FL_COL1 FL_MCOL
417 alignment: FL_ALIGN_LEFT
418 style: FL_NORMAL_STYLE
423 resize: FL_RESIZE_ALL
424 gravity: FL_NoGravity FL_NoGravity
426 callback: C_FormBaseInputCB
427 argument: SCREENFONTS
434 colors: FL_COL1 FL_MCOL
435 alignment: FL_ALIGN_LEFT
436 style: FL_NORMAL_STYLE
441 resize: FL_RESIZE_ALL
442 gravity: FL_NoGravity FL_NoGravity
444 callback: C_FormBaseInputCB
445 argument: SCREENFONTS
452 colors: FL_COL1 FL_MCOL
453 alignment: FL_ALIGN_LEFT
454 style: FL_NORMAL_STYLE
459 resize: FL_RESIZE_ALL
460 gravity: FL_NoGravity FL_NoGravity
462 callback: C_FormBaseInputCB
463 argument: SCREENFONTS
470 colors: FL_COL1 FL_BLUE
471 alignment: FL_ALIGN_LEFT
472 style: FL_NORMAL_STYLE
477 resize: FL_RESIZE_ALL
478 gravity: FL_NoGravity FL_NoGravity
480 callback: C_FormBaseInputCB
481 argument: SCREENFONTS
492 colors: FL_COL1 FL_MCOL
493 alignment: FL_ALIGN_LEFT
494 style: FL_NORMAL_STYLE
499 resize: FL_RESIZE_ALL
500 gravity: FL_NoGravity FL_NoGravity
502 callback: C_FormBaseInputCB
503 argument: SCREENFONTS
510 colors: FL_COL1 FL_MCOL
511 alignment: FL_ALIGN_LEFT
512 style: FL_NORMAL_STYLE
517 resize: FL_RESIZE_ALL
518 gravity: FL_NoGravity FL_NoGravity
520 callback: C_FormBaseInputCB
521 argument: SCREENFONTS
528 colors: FL_COL1 FL_MCOL
529 alignment: FL_ALIGN_LEFT
530 style: FL_NORMAL_STYLE
535 resize: FL_RESIZE_ALL
536 gravity: FL_NoGravity FL_NoGravity
538 callback: C_FormBaseInputCB
539 argument: SCREENFONTS
546 colors: FL_COL1 FL_MCOL
547 alignment: FL_ALIGN_LEFT
548 style: FL_NORMAL_STYLE
553 resize: FL_RESIZE_ALL
554 gravity: FL_NoGravity FL_NoGravity
556 callback: C_FormBaseInputCB
557 argument: SCREENFONTS
559 =============== FORM ===============
560 Name: form_outputs_misc
570 colors: FL_COL1 FL_COL1
571 alignment: FL_ALIGN_CENTER
572 style: FL_NORMAL_STYLE
573 size: FL_DEFAULT_SIZE
577 resize: FL_RESIZE_ALL
578 gravity: FL_NoGravity FL_NoGravity
588 colors: FL_COL1 FL_BLUE
589 alignment: FL_ALIGN_LEFT
590 style: FL_NORMAL_STYLE
593 label: Ascii line length|#A
595 resize: FL_RESIZE_ALL
596 gravity: FL_NoGravity FL_NoGravity
597 name: counter_line_len
598 callback: C_FormBaseInputCB
599 argument: OUTPUTSMISC
610 colors: FL_COL1 FL_MCOL
611 alignment: FL_ALIGN_LEFT
612 style: FL_NORMAL_STYLE
615 label: TeX encoding|#T
617 resize: FL_RESIZE_ALL
618 gravity: FL_NoGravity FL_NoGravity
619 name: input_tex_encoding
620 callback: C_FormBaseInputCB
621 argument: OUTPUTSMISC
627 boxtype: FL_FRAME_BOX
628 colors: FL_COL1 FL_BLACK
629 alignment: FL_ALIGN_LEFT
630 style: FL_NORMAL_STYLE
633 label: Default paper size|#p
635 resize: FL_RESIZE_ALL
636 gravity: FL_NoGravity FL_NoGravity
637 name: choice_default_papersize
638 callback: C_FormBaseInputCB
639 argument: OUTPUTSMISC
646 colors: FL_COL1 FL_MCOL
647 alignment: FL_ALIGN_LEFT
648 style: FL_NORMAL_STYLE
653 resize: FL_RESIZE_ALL
654 gravity: FL_NoGravity FL_NoGravity
655 name: input_ascii_roff
656 callback: C_FormBaseInputCB
657 argument: OUTPUTSMISC
664 colors: FL_COL1 FL_MCOL
665 alignment: FL_ALIGN_LEFT
666 style: FL_NORMAL_STYLE
671 resize: FL_RESIZE_ALL
672 gravity: FL_NoGravity FL_NoGravity
674 callback: C_FormBaseInputCB
675 argument: OUTPUTSMISC
682 colors: FL_BLACK FL_COL1
683 alignment: FL_ALIGN_TOP_LEFT
687 label: Outside code interaction
689 resize: FL_RESIZE_ALL
690 gravity: FL_NoGravity FL_NoGravity
695 =============== FORM ===============
696 Name: form_spellchecker
699 Number of Objects: 11
706 colors: FL_COL1 FL_COL1
707 alignment: FL_ALIGN_CENTER
708 style: FL_NORMAL_STYLE
709 size: FL_DEFAULT_SIZE
713 resize: FL_RESIZE_ALL
714 gravity: FL_NoGravity FL_NoGravity
723 boxtype: FL_FRAME_BOX
724 colors: FL_COL1 FL_BLACK
725 alignment: FL_ALIGN_TOP
726 style: FL_NORMAL_STYLE
729 label: Spell command|#S
731 resize: FL_RESIZE_ALL
732 gravity: FL_NoGravity FL_NoGravity
733 name: choice_spell_command
734 callback: C_FormBaseInputCB
735 argument: SPELLCHECKER
738 class: FL_CHECKBUTTON
742 colors: FL_COL1 FL_YELLOW
743 alignment: FL_ALIGN_LEFT
744 style: FL_NORMAL_STYLE
747 label: Use alternative language|#a
749 resize: FL_RESIZE_ALL
750 gravity: FL_NoGravity FL_NoGravity
752 callback: C_FormBaseInputCB
753 argument: SPELLCHECKER
760 colors: FL_COL1 FL_MCOL
761 alignment: FL_ALIGN_LEFT
762 style: FL_NORMAL_STYLE
763 size: FL_DEFAULT_SIZE
767 resize: FL_RESIZE_ALL
768 gravity: FL_NoGravity FL_NoGravity
770 callback: C_FormBaseInputCB
771 argument: SPELLCHECKER
774 class: FL_CHECKBUTTON
778 colors: FL_COL1 FL_YELLOW
779 alignment: FL_ALIGN_LEFT
780 style: FL_NORMAL_STYLE
783 label: Use escape characters|#e
785 resize: FL_RESIZE_ALL
786 gravity: FL_NoGravity FL_NoGravity
787 name: check_escape_chars
788 callback: C_FormBaseInputCB
789 argument: SPELLCHECKER
796 colors: FL_COL1 FL_MCOL
797 alignment: FL_ALIGN_LEFT
798 style: FL_NORMAL_STYLE
799 size: FL_DEFAULT_SIZE
803 resize: FL_RESIZE_ALL
804 gravity: FL_NoGravity FL_NoGravity
805 name: input_escape_chars
806 callback: C_FormBaseInputCB
807 argument: SPELLCHECKER
810 class: FL_CHECKBUTTON
814 colors: FL_COL1 FL_YELLOW
815 alignment: FL_ALIGN_LEFT
816 style: FL_NORMAL_STYLE
819 label: Use personal dictionary|#d
821 resize: FL_RESIZE_ALL
822 gravity: FL_NoGravity FL_NoGravity
823 name: check_personal_dict
824 callback: C_FormBaseInputCB
825 argument: SPELLCHECKER
832 colors: FL_COL1 FL_MCOL
833 alignment: FL_ALIGN_LEFT
834 style: FL_NORMAL_STYLE
835 size: FL_DEFAULT_SIZE
839 resize: FL_RESIZE_ALL
840 gravity: FL_NoGravity FL_NoGravity
841 name: input_personal_dict
842 callback: C_FormBaseInputCB
843 argument: SPELLCHECKER
850 colors: FL_COL1 FL_COL1
851 alignment: FL_ALIGN_CENTER
852 style: FL_NORMAL_STYLE
857 resize: FL_RESIZE_ALL
858 gravity: FL_NoGravity FL_NoGravity
859 name: button_personal_dict
860 callback: C_FormBaseInputCB
861 argument: SPELLCHECKER
864 class: FL_CHECKBUTTON
868 colors: FL_COL1 FL_YELLOW
869 alignment: FL_ALIGN_RIGHT
870 style: FL_NORMAL_STYLE
873 label: Accept compound words|#w
875 resize: FL_RESIZE_ALL
876 gravity: FL_NoGravity FL_NoGravity
877 name: check_compound_words
878 callback: C_FormBaseInputCB
879 argument: SPELLCHECKER
882 class: FL_CHECKBUTTON
886 colors: FL_COL1 FL_YELLOW
887 alignment: FL_ALIGN_RIGHT
888 style: FL_NORMAL_STYLE
891 label: Use input encoding|#i
893 resize: FL_RESIZE_ALL
894 gravity: FL_NoGravity FL_NoGravity
895 name: check_input_enc
896 callback: C_FormBaseInputCB
897 argument: SPELLCHECKER
899 =============== FORM ===============
900 Name: form_inputs_misc
910 colors: FL_COL1 FL_COL1
911 alignment: FL_ALIGN_CENTER
912 style: FL_NORMAL_STYLE
913 size: FL_DEFAULT_SIZE
917 resize: FL_RESIZE_ALL
918 gravity: FL_NoGravity FL_NoGravity
928 colors: FL_COL1 FL_MCOL
929 alignment: FL_ALIGN_LEFT
930 style: FL_NORMAL_STYLE
933 label: date format|#f
935 resize: FL_RESIZE_ALL
936 gravity: FL_NoGravity FL_NoGravity
937 name: input_date_format
938 callback: C_FormBaseInputCB
941 =============== FORM ===============
945 Number of Objects: 12
952 colors: FL_COL1 FL_COL1
953 alignment: FL_ALIGN_CENTER
954 style: FL_NORMAL_STYLE
955 size: FL_DEFAULT_SIZE
959 resize: FL_RESIZE_ALL
960 gravity: FL_NoGravity FL_NoGravity
970 colors: FL_COL1 FL_MCOL
971 alignment: FL_ALIGN_LEFT
972 style: FL_NORMAL_STYLE
977 resize: FL_RESIZE_ALL
978 gravity: FL_NoGravity FL_NoGravity
980 callback: C_FormBaseInputCB
987 boxtype: FL_FRAME_BOX
988 colors: FL_COL1 FL_BLACK
989 alignment: FL_ALIGN_LEFT
990 style: FL_NORMAL_STYLE
991 size: FL_DEFAULT_SIZE
993 label: Default language|#D
995 resize: FL_RESIZE_ALL
996 gravity: FL_NoGravity FL_NoGravity
997 name: choice_default_lang
998 callback: C_FormBaseInputCB
1001 --------------------
1002 class: FL_CHECKBUTTON
1006 colors: FL_COL1 FL_YELLOW
1007 alignment: FL_ALIGN_LEFT
1008 style: FL_NORMAL_STYLE
1009 size: FL_NORMAL_SIZE
1011 label: Keyboard map|#K
1013 resize: FL_RESIZE_ALL
1014 gravity: FL_NoGravity FL_NoGravity
1015 name: check_use_kbmap
1016 callback: C_FormBaseInputCB
1019 --------------------
1023 boxtype: FL_FRAME_BOX
1024 colors: FL_COL1 FL_BLACK
1025 alignment: FL_ALIGN_LEFT
1026 style: FL_NORMAL_STYLE
1027 size: FL_DEFAULT_SIZE
1031 resize: FL_RESIZE_ALL
1032 gravity: FL_NoGravity FL_NoGravity
1033 name: choice_kbmap_1
1034 callback: C_FormBaseInputCB
1037 --------------------
1041 boxtype: FL_FRAME_BOX
1042 colors: FL_COL1 FL_BLACK
1043 alignment: FL_ALIGN_LEFT
1044 style: FL_NORMAL_STYLE
1045 size: FL_DEFAULT_SIZE
1049 resize: FL_RESIZE_ALL
1050 gravity: FL_NoGravity FL_NoGravity
1051 name: choice_kbmap_2
1052 callback: C_FormBaseInputCB
1055 --------------------
1056 class: FL_CHECKBUTTON
1060 colors: FL_COL1 FL_YELLOW
1061 alignment: FL_ALIGN_LEFT
1062 style: FL_NORMAL_STYLE
1063 size: FL_NORMAL_SIZE
1065 label: RtL support|#R
1067 resize: FL_RESIZE_ALL
1068 gravity: FL_NoGravity FL_NoGravity
1069 name: check_rtl_support
1070 callback: C_FormBaseInputCB
1073 --------------------
1074 class: FL_CHECKBUTTON
1078 colors: FL_COL1 FL_YELLOW
1079 alignment: FL_ALIGN_LEFT
1080 style: FL_NORMAL_STYLE
1081 size: FL_NORMAL_SIZE
1083 label: Mark foreign|#M
1085 resize: FL_RESIZE_ALL
1086 gravity: FL_NoGravity FL_NoGravity
1087 name: check_mark_foreign
1088 callback: C_FormBaseInputCB
1091 --------------------
1092 class: FL_CHECKBUTTON
1096 colors: FL_COL1 FL_YELLOW
1097 alignment: FL_ALIGN_LEFT
1098 style: FL_NORMAL_STYLE
1099 size: FL_NORMAL_SIZE
1101 label: Auto begin|#b
1103 resize: FL_RESIZE_ALL
1104 gravity: FL_NoGravity FL_NoGravity
1105 name: check_auto_begin
1106 callback: C_FormBaseInputCB
1109 --------------------
1110 class: FL_CHECKBUTTON
1114 colors: FL_COL1 FL_YELLOW
1115 alignment: FL_ALIGN_LEFT
1116 style: FL_NORMAL_STYLE
1117 size: FL_NORMAL_SIZE
1119 label: Auto finish|#f
1121 resize: FL_RESIZE_ALL
1122 gravity: FL_NoGravity FL_NoGravity
1123 name: check_auto_end
1124 callback: C_FormBaseInputCB
1127 --------------------
1131 boxtype: FL_DOWN_BOX
1132 colors: FL_COL1 FL_MCOL
1133 alignment: FL_ALIGN_LEFT
1134 style: FL_NORMAL_STYLE
1135 size: FL_NORMAL_SIZE
1137 label: Command start|#s
1139 resize: FL_RESIZE_ALL
1140 gravity: FL_NoGravity FL_NoGravity
1141 name: input_command_begin
1142 callback: C_FormBaseInputCB
1145 --------------------
1149 boxtype: FL_DOWN_BOX
1150 colors: FL_COL1 FL_MCOL
1151 alignment: FL_ALIGN_LEFT
1152 style: FL_NORMAL_STYLE
1153 size: FL_NORMAL_SIZE
1155 label: Command end|#e
1157 resize: FL_RESIZE_ALL
1158 gravity: FL_NoGravity FL_NoGravity
1159 name: input_command_end
1160 callback: C_FormBaseInputCB
1163 =============== FORM ===============
1167 Number of Objects: 1
1169 --------------------
1173 boxtype: FL_FLAT_BOX
1174 colors: FL_COL1 FL_COL1
1175 alignment: FL_ALIGN_CENTER
1176 style: FL_NORMAL_STYLE
1177 size: FL_DEFAULT_SIZE
1181 resize: FL_RESIZE_ALL
1182 gravity: FL_NoGravity FL_NoGravity
1187 =============== FORM ===============
1191 Number of Objects: 9
1193 --------------------
1197 boxtype: FL_FLAT_BOX
1198 colors: FL_COL1 FL_COL1
1199 alignment: FL_ALIGN_CENTER
1200 style: FL_NORMAL_STYLE
1201 size: FL_DEFAULT_SIZE
1205 resize: FL_RESIZE_ALL
1206 gravity: FL_NoGravity FL_NoGravity
1211 --------------------
1212 class: FL_CHECKBUTTON
1216 colors: FL_COL1 FL_YELLOW
1217 alignment: FL_ALIGN_CENTER
1218 style: FL_NORMAL_STYLE
1219 size: FL_NORMAL_SIZE
1221 label: Show banner|#S
1223 resize: FL_RESIZE_ALL
1224 gravity: FL_NoGravity FL_NoGravity
1226 callback: C_FormBaseInputCB
1227 argument: LOOKNFEELMISC
1230 --------------------
1231 class: FL_CHECKBUTTON
1235 colors: FL_COL1 FL_YELLOW
1236 alignment: FL_ALIGN_CENTER
1237 style: FL_NORMAL_STYLE
1238 size: FL_NORMAL_SIZE
1240 label: Auto region delete|#A
1242 resize: FL_RESIZE_ALL
1243 gravity: FL_NoGravity FL_NoGravity
1244 name: check_auto_region_delete
1245 callback: C_FormBaseInputCB
1246 argument: LOOKNFEELMISC
1249 --------------------
1250 class: FL_CHECKBUTTON
1254 colors: FL_COL1 FL_YELLOW
1255 alignment: FL_ALIGN_CENTER
1256 style: FL_NORMAL_STYLE
1257 size: FL_NORMAL_SIZE
1259 label: Exit confirmation|#E
1261 resize: FL_RESIZE_ALL
1262 gravity: FL_NoGravity FL_NoGravity
1263 name: check_exit_confirm
1264 callback: C_FormBaseInputCB
1265 argument: LOOKNFEELMISC
1268 --------------------
1269 class: FL_CHECKBUTTON
1273 colors: FL_COL1 FL_YELLOW
1274 alignment: FL_ALIGN_CENTER
1275 style: FL_NORMAL_STYLE
1276 size: FL_NORMAL_SIZE
1278 label: Display keyboard shortcuts
1280 resize: FL_RESIZE_ALL
1281 gravity: FL_NoGravity FL_NoGravity
1282 name: check_display_shortcuts
1283 callback: C_FormBaseInputCB
1284 argument: LOOKNFEELMISC
1287 --------------------
1289 type: SIMPLE_COUNTER
1292 colors: FL_COL1 FL_BLUE
1293 alignment: FL_ALIGN_LEFT
1294 style: FL_NORMAL_STYLE
1295 size: FL_NORMAL_SIZE
1297 label: Autosave interval
1299 resize: FL_RESIZE_ALL
1300 gravity: FL_NoGravity FL_NoGravity
1301 name: counter_autosave
1302 callback: C_FormBaseInputCB
1303 argument: LOOKNFEELMISC
1309 --------------------
1310 class: FL_CHECKBUTTON
1314 colors: FL_COL1 FL_YELLOW
1315 alignment: FL_ALIGN_CENTER
1316 style: FL_NORMAL_STYLE
1317 size: FL_NORMAL_SIZE
1319 label: File->New asks for name|#N
1321 resize: FL_RESIZE_ALL
1322 gravity: FL_NoGravity FL_NoGravity
1323 name: check_ask_new_file
1324 callback: C_FormBaseInputCB
1325 argument: LOOKNFEELMISC
1328 --------------------
1329 class: FL_CHECKBUTTON
1333 colors: FL_COL1 FL_YELLOW
1334 alignment: FL_ALIGN_CENTER
1335 style: FL_NORMAL_STYLE
1336 size: FL_NORMAL_SIZE
1338 label: Cursor follows scrollbar|#C
1340 resize: FL_RESIZE_ALL
1341 gravity: FL_NoGravity FL_NoGravity
1342 name: check_cursor_follows_scrollbar
1343 callback: C_FormBaseInputCB
1344 argument: LOOKNFEELMISC
1347 --------------------
1349 type: SIMPLE_COUNTER
1352 colors: FL_COL1 FL_BLUE
1353 alignment: FL_ALIGN_LEFT
1354 style: FL_NORMAL_STYLE
1355 size: FL_NORMAL_SIZE
1357 label: Wheel mouse jump
1359 resize: FL_RESIZE_ALL
1360 gravity: FL_NoGravity FL_NoGravity
1361 name: counter_wm_jump
1362 callback: C_FormBaseInputCB
1363 argument: LOOKNFEELMISC
1369 =============== FORM ===============
1370 Name: form_interface
1373 Number of Objects: 9
1375 --------------------
1379 boxtype: FL_FLAT_BOX
1380 colors: FL_COL1 FL_COL1
1381 alignment: FL_ALIGN_CENTER
1382 style: FL_NORMAL_STYLE
1383 size: FL_DEFAULT_SIZE
1387 resize: FL_RESIZE_ALL
1388 gravity: FL_NoGravity FL_NoGravity
1393 --------------------
1397 boxtype: FL_DOWN_BOX
1398 colors: FL_COL1 FL_MCOL
1399 alignment: FL_ALIGN_LEFT
1400 style: FL_NORMAL_STYLE
1401 size: FL_NORMAL_SIZE
1405 resize: FL_RESIZE_ALL
1406 gravity: FL_NoGravity FL_NoGravity
1407 name: input_popup_font
1408 callback: C_FormBaseInputCB
1411 --------------------
1415 boxtype: FL_DOWN_BOX
1416 colors: FL_COL1 FL_MCOL
1417 alignment: FL_ALIGN_LEFT
1418 style: FL_NORMAL_STYLE
1419 size: FL_NORMAL_SIZE
1423 resize: FL_RESIZE_ALL
1424 gravity: FL_NoGravity FL_NoGravity
1425 name: input_menu_font
1426 callback: C_FormBaseInputCB
1429 --------------------
1433 boxtype: FL_DOWN_BOX
1434 colors: FL_COL1 FL_MCOL
1435 alignment: FL_ALIGN_LEFT
1436 style: FL_NORMAL_STYLE
1437 size: FL_NORMAL_SIZE
1439 label: Popup Encoding
1441 resize: FL_RESIZE_ALL
1442 gravity: FL_NoGravity FL_NoGravity
1443 name: input_popup_encoding
1444 callback: C_FormBaseInputCB
1447 --------------------
1451 boxtype: FL_DOWN_BOX
1452 colors: FL_COL1 FL_MCOL
1453 alignment: FL_ALIGN_LEFT
1454 style: FL_NORMAL_STYLE
1455 size: FL_NORMAL_SIZE
1459 resize: FL_RESIZE_ALL
1460 gravity: FL_NoGravity FL_NoGravity
1461 name: input_bind_file
1462 callback: C_FormBaseInputCB
1465 --------------------
1470 colors: FL_COL1 FL_COL1
1471 alignment: FL_ALIGN_CENTER
1472 style: FL_NORMAL_STYLE
1473 size: FL_NORMAL_SIZE
1477 resize: FL_RESIZE_ALL
1478 gravity: FL_NoGravity FL_NoGravity
1479 name: button_bind_file_browse
1483 --------------------
1487 boxtype: FL_DOWN_BOX
1488 colors: FL_COL1 FL_MCOL
1489 alignment: FL_ALIGN_LEFT
1490 style: FL_NORMAL_STYLE
1491 size: FL_NORMAL_SIZE
1493 label: User Interface file|#U
1495 resize: FL_RESIZE_ALL
1496 gravity: FL_NoGravity FL_NoGravity
1498 callback: C_FormBaseInputCB
1501 --------------------
1506 colors: FL_COL1 FL_COL1
1507 alignment: FL_ALIGN_CENTER
1508 style: FL_NORMAL_STYLE
1509 size: FL_NORMAL_SIZE
1513 resize: FL_RESIZE_ALL
1514 gravity: FL_NoGravity FL_NoGravity
1515 name: button_ui_file_browse
1519 --------------------
1520 class: FL_CHECKBUTTON
1524 colors: FL_COL1 FL_YELLOW
1525 alignment: FL_ALIGN_CENTER
1526 style: FL_NORMAL_STYLE
1527 size: FL_NORMAL_SIZE
1529 label: Override X-Windows dead-keys|#O
1531 resize: FL_RESIZE_ALL
1532 gravity: FL_NoGravity FL_NoGravity
1533 name: check_override_x_dead_keys
1534 callback: C_FormBaseInputCB
1538 =============== FORM ===============
1542 Number of Objects: 20
1544 --------------------
1548 boxtype: FL_FLAT_BOX
1549 colors: FL_COL1 FL_COL1
1550 alignment: FL_ALIGN_CENTER
1551 style: FL_NORMAL_STYLE
1552 size: FL_DEFAULT_SIZE
1556 resize: FL_RESIZE_ALL
1557 gravity: FL_NoGravity FL_NoGravity
1562 --------------------
1566 boxtype: FL_DOWN_BOX
1567 colors: FL_COL1 FL_MCOL
1568 alignment: FL_ALIGN_LEFT
1569 style: FL_NORMAL_STYLE
1570 size: FL_NORMAL_SIZE
1574 resize: FL_RESIZE_ALL
1575 gravity: FL_NoGravity FL_NoGravity
1577 callback: C_FormBaseInputCB
1580 --------------------
1584 boxtype: FL_DOWN_BOX
1585 colors: FL_COL1 FL_MCOL
1586 alignment: FL_ALIGN_LEFT
1587 style: FL_NORMAL_STYLE
1588 size: FL_NORMAL_SIZE
1592 resize: FL_RESIZE_ALL
1593 gravity: FL_NoGravity FL_NoGravity
1594 name: input_page_range
1595 callback: C_FormBaseInputCB
1598 --------------------
1602 boxtype: FL_DOWN_BOX
1603 colors: FL_COL1 FL_MCOL
1604 alignment: FL_ALIGN_LEFT
1605 style: FL_NORMAL_STYLE
1606 size: FL_NORMAL_SIZE
1610 resize: FL_RESIZE_ALL
1611 gravity: FL_NoGravity FL_NoGravity
1613 callback: C_FormBaseInputCB
1616 --------------------
1620 boxtype: FL_DOWN_BOX
1621 colors: FL_COL1 FL_MCOL
1622 alignment: FL_ALIGN_LEFT
1623 style: FL_NORMAL_STYLE
1624 size: FL_NORMAL_SIZE
1628 resize: FL_RESIZE_ALL
1629 gravity: FL_NoGravity FL_NoGravity
1631 callback: C_FormBaseInputCB
1634 --------------------
1638 boxtype: FL_DOWN_BOX
1639 colors: FL_COL1 FL_MCOL
1640 alignment: FL_ALIGN_LEFT
1641 style: FL_NORMAL_STYLE
1642 size: FL_NORMAL_SIZE
1646 resize: FL_RESIZE_ALL
1647 gravity: FL_NoGravity FL_NoGravity
1648 name: input_to_printer
1649 callback: C_FormBaseInputCB
1652 --------------------
1656 boxtype: FL_DOWN_BOX
1657 colors: FL_COL1 FL_MCOL
1658 alignment: FL_ALIGN_LEFT
1659 style: FL_NORMAL_STYLE
1660 size: FL_NORMAL_SIZE
1662 label: file extension
1664 resize: FL_RESIZE_ALL
1665 gravity: FL_NoGravity FL_NoGravity
1666 name: input_file_extension
1667 callback: C_FormBaseInputCB
1670 --------------------
1674 boxtype: FL_DOWN_BOX
1675 colors: FL_COL1 FL_MCOL
1676 alignment: FL_ALIGN_LEFT
1677 style: FL_NORMAL_STYLE
1678 size: FL_NORMAL_SIZE
1680 label: spool command
1682 resize: FL_RESIZE_ALL
1683 gravity: FL_NoGravity FL_NoGravity
1684 name: input_spool_command
1685 callback: C_FormBaseInputCB
1688 --------------------
1692 boxtype: FL_DOWN_BOX
1693 colors: FL_COL1 FL_MCOL
1694 alignment: FL_ALIGN_LEFT
1695 style: FL_NORMAL_STYLE
1696 size: FL_NORMAL_SIZE
1700 resize: FL_RESIZE_ALL
1701 gravity: FL_NoGravity FL_NoGravity
1702 name: input_paper_type
1703 callback: C_FormBaseInputCB
1706 --------------------
1710 boxtype: FL_DOWN_BOX
1711 colors: FL_COL1 FL_MCOL
1712 alignment: FL_ALIGN_LEFT
1713 style: FL_NORMAL_STYLE
1714 size: FL_NORMAL_SIZE
1718 resize: FL_RESIZE_ALL
1719 gravity: FL_NoGravity FL_NoGravity
1720 name: input_even_pages
1721 callback: C_FormBaseInputCB
1724 --------------------
1728 boxtype: FL_DOWN_BOX
1729 colors: FL_COL1 FL_MCOL
1730 alignment: FL_ALIGN_LEFT
1731 style: FL_NORMAL_STYLE
1732 size: FL_NORMAL_SIZE
1736 resize: FL_RESIZE_ALL
1737 gravity: FL_NoGravity FL_NoGravity
1738 name: input_odd_pages
1739 callback: C_FormBaseInputCB
1742 --------------------
1746 boxtype: FL_DOWN_BOX
1747 colors: FL_COL1 FL_MCOL
1748 alignment: FL_ALIGN_LEFT
1749 style: FL_NORMAL_STYLE
1750 size: FL_NORMAL_SIZE
1754 resize: FL_RESIZE_ALL
1755 gravity: FL_NoGravity FL_NoGravity
1756 name: input_collated
1757 callback: C_FormBaseInputCB
1760 --------------------
1764 boxtype: FL_DOWN_BOX
1765 colors: FL_COL1 FL_MCOL
1766 alignment: FL_ALIGN_LEFT
1767 style: FL_NORMAL_STYLE
1768 size: FL_NORMAL_SIZE
1772 resize: FL_RESIZE_ALL
1773 gravity: FL_NoGravity FL_NoGravity
1774 name: input_landscape
1775 callback: C_FormBaseInputCB
1778 --------------------
1782 boxtype: FL_DOWN_BOX
1783 colors: FL_COL1 FL_MCOL
1784 alignment: FL_ALIGN_LEFT
1785 style: FL_NORMAL_STYLE
1786 size: FL_NORMAL_SIZE
1790 resize: FL_RESIZE_ALL
1791 gravity: FL_NoGravity FL_NoGravity
1793 callback: C_FormBaseInputCB
1796 --------------------
1800 boxtype: FL_DOWN_BOX
1801 colors: FL_COL1 FL_MCOL
1802 alignment: FL_ALIGN_LEFT
1803 style: FL_NORMAL_STYLE
1804 size: FL_NORMAL_SIZE
1806 label: extra options
1808 resize: FL_RESIZE_ALL
1809 gravity: FL_NoGravity FL_NoGravity
1810 name: input_extra_options
1811 callback: C_FormBaseInputCB
1814 --------------------
1818 boxtype: FL_DOWN_BOX
1819 colors: FL_COL1 FL_MCOL
1820 alignment: FL_ALIGN_LEFT
1821 style: FL_NORMAL_STYLE
1822 size: FL_NORMAL_SIZE
1824 label: spool printer prefix
1826 resize: FL_RESIZE_ALL
1827 gravity: FL_NoGravity FL_NoGravity
1828 name: input_spool_prefix
1829 callback: C_FormBaseInputCB
1832 --------------------
1836 boxtype: FL_DOWN_BOX
1837 colors: FL_COL1 FL_MCOL
1838 alignment: FL_ALIGN_LEFT
1839 style: FL_NORMAL_STYLE
1840 size: FL_NORMAL_SIZE
1844 resize: FL_RESIZE_ALL
1845 gravity: FL_NoGravity FL_NoGravity
1846 name: input_paper_size
1847 callback: C_FormBaseInputCB
1850 --------------------
1854 boxtype: FL_DOWN_BOX
1855 colors: FL_COL1 FL_MCOL
1856 alignment: FL_ALIGN_LEFT
1857 style: FL_NORMAL_STYLE
1858 size: FL_NORMAL_SIZE
1862 resize: FL_RESIZE_ALL
1863 gravity: FL_NoGravity FL_NoGravity
1865 callback: C_FormBaseInputCB
1868 --------------------
1869 class: FL_CHECKBUTTON
1873 colors: FL_COL1 FL_YELLOW
1874 alignment: FL_ALIGN_CENTER
1875 style: FL_NORMAL_STYLE
1876 size: FL_NORMAL_SIZE
1880 resize: FL_RESIZE_ALL
1881 gravity: FL_NoGravity FL_NoGravity
1882 name: check_adapt_output
1883 callback: C_FormBaseInputCB
1886 --------------------
1887 class: FL_LABELFRAME
1888 type: ENGRAVED_FRAME
1891 colors: FL_BLACK FL_COL1
1892 alignment: FL_ALIGN_TOP_LEFT
1893 style: FL_NORMAL_STYLE
1894 size: FL_NORMAL_SIZE
1896 label: Printer Command and Flags
1898 resize: FL_RESIZE_ALL
1899 gravity: FL_NoGravity FL_NoGravity
1904 =============== FORM ===============
1908 Number of Objects: 17
1910 --------------------
1914 boxtype: FL_FLAT_BOX
1915 colors: FL_COL1 FL_COL1
1916 alignment: FL_ALIGN_CENTER
1917 style: FL_NORMAL_STYLE
1918 size: FL_DEFAULT_SIZE
1922 resize: FL_RESIZE_ALL
1923 gravity: FL_NoGravity FL_NoGravity
1928 --------------------
1932 boxtype: FL_DOWN_BOX
1933 colors: FL_COL1 FL_MCOL
1934 alignment: FL_ALIGN_LEFT
1935 style: FL_NORMAL_STYLE
1936 size: FL_NORMAL_SIZE
1938 label: Default path|#p
1940 resize: FL_RESIZE_ALL
1941 gravity: FL_NoGravity FL_NoGravity
1942 name: input_default_path
1943 callback: C_FormBaseInputCB
1946 --------------------
1951 colors: FL_COL1 FL_COL1
1952 alignment: FL_ALIGN_CENTER
1953 style: FL_NORMAL_STYLE
1954 size: FL_NORMAL_SIZE
1958 resize: FL_RESIZE_ALL
1959 gravity: FL_NoGravity FL_NoGravity
1960 name: button_document_browse
1964 --------------------
1966 type: SIMPLE_COUNTER
1969 colors: FL_COL1 FL_BLUE
1970 alignment: FL_ALIGN_LEFT
1971 style: FL_NORMAL_STYLE
1972 size: FL_NORMAL_SIZE
1974 label: Last file count|#L
1976 resize: FL_RESIZE_ALL
1977 gravity: FL_NoGravity FL_NoGravity
1978 name: counter_lastfiles
1979 callback: C_FormBaseInputCB
1986 --------------------
1990 boxtype: FL_DOWN_BOX
1991 colors: FL_COL1 FL_MCOL
1992 alignment: FL_ALIGN_LEFT
1993 style: FL_NORMAL_STYLE
1994 size: FL_NORMAL_SIZE
1996 label: Template path|#T
1998 resize: FL_RESIZE_ALL
1999 gravity: FL_NoGravity FL_NoGravity
2000 name: input_template_path
2001 callback: C_FormBaseInputCB
2004 --------------------
2009 colors: FL_COL1 FL_COL1
2010 alignment: FL_ALIGN_CENTER
2011 style: FL_NORMAL_STYLE
2012 size: FL_NORMAL_SIZE
2016 resize: FL_RESIZE_ALL
2017 gravity: FL_NoGravity FL_NoGravity
2018 name: button_template_browse
2022 --------------------
2023 class: FL_CHECKBUTTON
2027 colors: FL_COL1 FL_YELLOW
2028 alignment: FL_ALIGN_LEFT
2029 style: FL_NORMAL_STYLE
2030 size: FL_NORMAL_SIZE
2032 label: Check last files|#C
2034 resize: FL_RESIZE_ALL
2035 gravity: FL_NoGravity FL_NoGravity
2036 name: check_last_files
2037 callback: C_FormBaseInputCB
2041 --------------------
2046 colors: FL_COL1 FL_COL1
2047 alignment: FL_ALIGN_CENTER
2048 style: FL_NORMAL_STYLE
2049 size: FL_NORMAL_SIZE
2053 resize: FL_RESIZE_ALL
2054 gravity: FL_NoGravity FL_NoGravity
2055 name: button_temp_dir_browse
2059 --------------------
2063 boxtype: FL_DOWN_BOX
2064 colors: FL_COL1 FL_MCOL
2065 alignment: FL_ALIGN_LEFT
2066 style: FL_NORMAL_STYLE
2067 size: FL_NORMAL_SIZE
2071 resize: FL_RESIZE_ALL
2072 gravity: FL_NoGravity FL_NoGravity
2073 name: input_lastfiles
2074 callback: C_FormBaseInputCB
2077 --------------------
2082 colors: FL_COL1 FL_COL1
2083 alignment: FL_ALIGN_CENTER
2084 style: FL_NORMAL_STYLE
2085 size: FL_NORMAL_SIZE
2089 resize: FL_RESIZE_ALL
2090 gravity: FL_NoGravity FL_NoGravity
2091 name: button_lastfiles_browse
2095 --------------------
2096 class: FL_CHECKBUTTON
2100 colors: FL_COL1 FL_YELLOW
2101 alignment: FL_ALIGN_LEFT|FL_ALIGN_INSIDE
2102 style: FL_NORMAL_STYLE
2103 size: FL_NORMAL_SIZE
2105 label: Backup path|#B
2107 resize: FL_RESIZE_ALL
2108 gravity: FL_NoGravity FL_NoGravity
2109 name: check_make_backups
2110 callback: C_FormBaseInputCB
2114 --------------------
2118 boxtype: FL_DOWN_BOX
2119 colors: FL_COL1 FL_MCOL
2120 alignment: FL_ALIGN_LEFT
2121 style: FL_NORMAL_STYLE
2122 size: FL_NORMAL_SIZE
2126 resize: FL_RESIZE_ALL
2127 gravity: FL_NoGravity FL_NoGravity
2128 name: input_backup_path
2129 callback: C_FormBaseInputCB
2132 --------------------
2137 colors: FL_COL1 FL_COL1
2138 alignment: FL_ALIGN_CENTER
2139 style: FL_NORMAL_STYLE
2140 size: FL_NORMAL_SIZE
2144 resize: FL_RESIZE_ALL
2145 gravity: FL_NoGravity FL_NoGravity
2146 name: button_backup_path_browse
2150 --------------------
2154 boxtype: FL_DOWN_BOX
2155 colors: FL_COL1 FL_MCOL
2156 alignment: FL_ALIGN_LEFT
2157 style: FL_NORMAL_STYLE
2158 size: FL_NORMAL_SIZE
2160 label: LyXServer pipe|#S
2162 resize: FL_RESIZE_ALL
2163 gravity: FL_NoGravity FL_NoGravity
2164 name: input_serverpipe
2165 callback: C_FormBaseInputCB
2168 --------------------
2173 colors: FL_COL1 FL_COL1
2174 alignment: FL_ALIGN_CENTER
2175 style: FL_NORMAL_STYLE
2176 size: FL_NORMAL_SIZE
2180 resize: FL_RESIZE_ALL
2181 gravity: FL_NoGravity FL_NoGravity
2182 name: button_serverpipe_browse
2186 --------------------
2190 boxtype: FL_DOWN_BOX
2191 colors: FL_COL1 FL_MCOL
2192 alignment: FL_ALIGN_LEFT
2193 style: FL_NORMAL_STYLE
2194 size: FL_NORMAL_SIZE
2198 resize: FL_RESIZE_ALL
2199 gravity: FL_NoGravity FL_NoGravity
2200 name: input_temp_dir
2201 callback: C_FormBaseInputCB
2204 --------------------
2205 class: FL_CHECKBUTTON
2209 colors: FL_COL1 FL_YELLOW
2210 alignment: FL_ALIGN_LEFT
2211 style: FL_NORMAL_STYLE
2212 size: FL_NORMAL_SIZE
2216 resize: FL_RESIZE_ALL
2217 gravity: FL_NoGravity FL_NoGravity
2218 name: check_use_temp_dir
2219 callback: C_FormBaseInputCB
2223 ==============================