Magic: 13000 Internal Form Definition File (do not change) Number of forms: 14 Unit of measure: FL_COORD_PIXEL SnapGrid: 5 =============== FORM =============== Name: form_preferences Width: 470 Height: 500 Number of Objects: 8 -------------------- class: FL_BOX type: UP_BOX box: 0 0 470 500 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_TABFOLDER type: TOP_TABFOLDER box: 5 10 455 375 boxtype: FL_FLAT_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_TOP_LEFT style: FL_BOLD_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_NONE gravity: FL_NoGravity FL_NoGravity name: tabfolder_prefs callback: argument: -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 5 390 100 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Restore|#R shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: button_restore callback: C_FormBaseRestoreCB argument: 0 -------------------- class: FL_BUTTON type: RETURN_BUTTON box: 170 390 90 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Save shortcut: ^M resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: button_ok callback: C_FormBaseOKCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 270 390 90 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Apply|#A shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: button_apply callback: C_FormBaseApplyCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 370 390 90 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Cancel|^[ shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: button_close callback: C_FormBaseCancelCB argument: 0 -------------------- class: FL_FRAME type: ENGRAVED_FRAME box: 0 425 470 1 boxtype: FL_NO_BOX colors: FL_BLACK FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_TEXT type: NORMAL_TEXT box: 5 430 460 70 boxtype: FL_FLAT_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT|FL_ALIGN_INSIDE style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: text_warning callback: argument: =============== FORM =============== Name: form_preferences_inner_tab Width: 455 Height: 375 Number of Objects: 2 -------------------- class: FL_BOX type: FLAT_BOX box: 0 0 455 375 boxtype: FL_FLAT_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_TABFOLDER type: TOP_TABFOLDER box: 0 0 455 375 boxtype: FL_FLAT_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_TOP_LEFT style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_NONE gravity: FL_NoGravity FL_NoGravity name: tabfolder_inner callback: argument: =============== FORM =============== Name: form_preferences_screen_fonts Width: 455 Height: 375 Number of Objects: 21 -------------------- class: FL_BOX type: FLAT_BOX box: 0 0 455 375 boxtype: FL_FLAT_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_LABELFRAME type: ENGRAVED_FRAME box: 10 180 285 145 boxtype: FL_NO_BOX colors: FL_BLACK FL_COL1 alignment: FL_ALIGN_TOP_LEFT style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: Scale & Resolution shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_LABELFRAME type: ENGRAVED_FRAME box: 10 15 285 155 boxtype: FL_NO_BOX colors: FL_BLACK FL_COL1 alignment: FL_ALIGN_TOP_LEFT style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: Fonts used shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_INPUT type: NORMAL_INPUT box: 145 25 140 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Roman|#R shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_roman callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 145 60 140 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Sans Serif|#S shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_sans callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 145 95 140 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Typewriter|#T shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_typewriter callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 145 130 140 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Encoding|#E shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_screen_encoding callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 20 190 34 41 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_RIGHT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Rescale bitmap fonts|#b shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: check_scalable callback: C_FormBaseInputCB argument: 0 value: 1 -------------------- class: FL_COUNTER type: NORMAL_COUNTER box: 185 245 95 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_BLUE alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Zoom %|#Z shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: counter_zoom callback: C_FormBaseInputCB argument: 0 bounds: 0 999 precision: 0 value: 150 sstep: 1 -------------------- class: FL_COUNTER type: NORMAL_COUNTER box: 185 280 95 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_BLUE alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Screen DPI|#D shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: counter_dpi callback: C_FormBaseInputCB argument: 0 bounds: 0 999 precision: 0 value: 150 sstep: 1 -------------------- class: FL_INPUT type: FLOAT_INPUT box: 370 20 70 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: tiny shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_tiny callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: FLOAT_INPUT box: 370 50 70 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: smallest shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_script callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: FLOAT_INPUT box: 370 80 70 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: smaller shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_footnote callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: FLOAT_INPUT box: 370 110 70 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: small shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_small callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: FLOAT_INPUT box: 370 140 70 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: normal shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_normal callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: FLOAT_INPUT box: 370 170 70 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: large shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_large callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: FLOAT_INPUT box: 370 200 70 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: larger shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_larger callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: FLOAT_INPUT box: 370 230 70 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: largest shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_largest callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: FLOAT_INPUT box: 370 260 70 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: huge shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_huge callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: FLOAT_INPUT box: 370 290 70 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: huger shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_huger callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_LABELFRAME type: ENGRAVED_FRAME box: 305 15 140 310 boxtype: FL_NO_BOX colors: FL_BLACK FL_COL1 alignment: FL_ALIGN_TOP_LEFT style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: Size shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: =============== FORM =============== Name: form_preferences_interface Width: 450 Height: 350 Number of Objects: 12 -------------------- class: FL_BOX type: FLAT_BOX box: 0 0 450 350 boxtype: FL_FLAT_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_LABELFRAME type: ENGRAVED_FRAME box: 15 20 425 110 boxtype: FL_NO_BOX colors: FL_BLACK FL_COL1 alignment: FL_ALIGN_TOP_LEFT style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: Popup Fonts & Encoding shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_INPUT type: NORMAL_INPUT box: 230 30 200 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Normal Font|#N shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_popup_normal_font callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 230 60 200 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Bold Font|#B shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_popup_bold_font callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 230 90 200 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Popup Encoding|#P shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_popup_font_encoding callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_LABELFRAME type: ENGRAVED_FRAME box: 15 150 425 85 boxtype: FL_NO_BOX colors: FL_BLACK FL_COL1 alignment: FL_ALIGN_TOP_LEFT style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: Layout & Bindings shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_INPUT type: NORMAL_INPUT box: 160 160 170 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: User Interface file|#U shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_ui_file callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 335 160 100 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Browse...|#r shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: button_ui_file_browse callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 160 195 170 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Bind file|#f shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_bind_file callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 335 195 100 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Browse...|#w shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: button_bind_file_browse callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_LABELFRAME type: ENGRAVED_FRAME box: 15 255 425 45 boxtype: FL_NO_BOX colors: FL_BLACK FL_COL1 alignment: FL_ALIGN_TOP_LEFT style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: Dead Keys shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 95 265 30 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Override X Window dead-keys|#O shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: check_override_x_dead_keys callback: C_FormBaseInputCB argument: 0 value: 1 =============== FORM =============== Name: form_preferences_colors Width: 450 Height: 360 Number of Objects: 15 -------------------- class: FL_BOX type: FLAT_BOX box: 0 0 450 360 boxtype: FL_FLAT_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_BROWSER type: HOLD_BROWSER box: 10 25 195 290 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_TOP style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: LyX objects|#L shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: browser_lyx_objs callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_DIAL type: NORMAL_DIAL box: 276 23 100 100 boxtype: FL_FLAT_BOX colors: FL_COL1 FL_RIGHT_BCOL alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: H|#H shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: dial_hue callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_SLIDER type: HOR_NICE_SLIDER box: 251 135 150 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: S|#S shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: slider_saturation callback: C_FormBaseInputCB argument: 0 slsize: 0.15 -------------------- class: FL_SLIDER type: HOR_NICE_SLIDER box: 251 175 150 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: V|#V shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: slider_value callback: C_FormBaseInputCB argument: 0 slsize: 0.15 -------------------- class: FL_SLIDER type: VERT_FILL_SLIDER box: 250 25 40 180 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_RED alignment: FL_ALIGN_BOTTOM style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: R|#R shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: slider_red callback: C_FormBaseInputCB argument: 0 slsize: 0.15 -------------------- class: FL_SLIDER type: VERT_FILL_SLIDER box: 305 25 40 180 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_GREEN alignment: FL_ALIGN_BOTTOM style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: G|#G shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: slider_green callback: C_FormBaseInputCB argument: 0 slsize: 0.15 -------------------- class: FL_SLIDER type: VERT_FILL_SLIDER box: 360 25 40 180 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_BLUE alignment: FL_ALIGN_BOTTOM style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: B|#B shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: slider_blue callback: C_FormBaseInputCB argument: 0 slsize: 0.15 -------------------- class: FL_BEGIN_GROUP type: 0 box: 0 10 10 0 boxtype: FL_NO_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_ROUND3DBUTTON type: RADIO_BUTTON box: 250 220 30 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_RIGHT style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: HSV shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: radio_hsv callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_ROUND3DBUTTON type: RADIO_BUTTON box: 335 220 30 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_RIGHT style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: RGB shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: radio_rgb callback: C_FormBaseInputCB argument: 0 value: 1 -------------------- class: FL_END_GROUP type: 0 box: 0 0 0 0 boxtype: FL_NO_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_TEXT type: NORMAL_TEXT box: 250 250 150 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT|FL_ALIGN_INSIDE style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: text_color_values callback: argument: -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 250 285 60 30 boxtype: FL_BORDER_BOX colors: FL_WHITE FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: button_color callback: argument: -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 310 285 90 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Modify|#M shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: button_modify callback: C_FormBaseInputCB argument: 0 =============== FORM =============== Name: form_preferences_lnf_misc Width: 450 Height: 350 Number of Objects: 8 -------------------- class: FL_BOX type: FLAT_BOX box: 0 0 450 350 boxtype: FL_FLAT_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 15 25 30 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Auto region delete|#A shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: check_auto_region_delete callback: C_FormBaseInputCB argument: 0 value: 1 -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 15 75 30 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Cursor follows scrollbar|#C shortcut: resize: FL_RESIZE_NONE gravity: FL_NoGravity FL_NoGravity name: check_cursor_follows_scrollbar callback: C_FormBaseInputCB argument: 0 value: 1 -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 15 130 30 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Dialogs iconify with main window|#D shortcut: resize: FL_RESIZE_NONE gravity: FL_NoGravity FL_NoGravity name: check_dialogs_iconify_with_main callback: C_FormBaseInputCB argument: 0 value: 1 -------------------- class: FL_COUNTER type: NORMAL_COUNTER box: 310 190 115 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_BLUE alignment: FL_ALIGN_TOP style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Wheel mouse jump shortcut: resize: FL_RESIZE_NONE gravity: FL_NoGravity FL_NoGravity name: counter_wm_jump callback: C_FormBaseInputCB argument: 0 bounds: 0 250 precision: 0 value: 100 sstep: 1 -------------------- class: FL_COUNTER type: NORMAL_COUNTER box: 310 115 115 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_BLUE alignment: FL_ALIGN_TOP style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Autosave interval shortcut: resize: FL_RESIZE_NONE gravity: FL_NoGravity FL_NoGravity name: counter_autosave callback: C_FormBaseInputCB argument: 0 bounds: 0 1200 precision: 0 value: 300 sstep: 1 -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 15 185 30 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Instant Preview|#P shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: check_preview_latex callback: C_FormBaseInputCB argument: 0 value: 1 -------------------- class: FL_CHOICE type: NORMAL_CHOICE box: 305 40 130 30 boxtype: FL_FRAME_BOX colors: FL_COL1 FL_BLACK alignment: FL_ALIGN_TOP style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: Graphics display|#G shortcut: resize: FL_RESIZE_NONE gravity: FL_NoGravity FL_NoGravity name: choice_display callback: C_FormBaseInputCB argument: 0 =============== FORM =============== Name: form_preferences_spelloptions Width: 450 Height: 360 Number of Objects: 14 -------------------- class: FL_BOX type: FLAT_BOX box: 0 0 450 360 boxtype: FL_FLAT_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_CHOICE type: NORMAL_CHOICE box: 240 30 171 34 boxtype: FL_FRAME_BOX colors: FL_COL1 FL_BLACK alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Spell command|#S shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: choice_spell_command callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 208 100 30 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Use alternative language|#a shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: check_alt_lang callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 239 100 170 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_alt_lang callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 208 130 30 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Use escape characters|#e shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: check_escape_chars callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 239 130 170 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_escape_chars callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 208 160 30 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Use personal dictionary|#d shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: check_personal_dict callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 239 160 170 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_personal_dict callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 240 195 100 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Browse...|#B shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: button_personal_dict callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 155 250 30 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_RIGHT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Accept compound words|#w shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: check_compound_words callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 155 275 30 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_RIGHT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Use input encoding|#i shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: check_input_enc callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_LABELFRAME type: ENGRAVED_FRAME box: 15 245 425 60 boxtype: FL_NO_BOX colors: FL_BLACK FL_COL1 alignment: FL_ALIGN_TOP_LEFT style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: Advanced Options shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_LABELFRAME type: ENGRAVED_FRAME box: 15 20 425 55 boxtype: FL_NO_BOX colors: FL_BLACK FL_COL1 alignment: FL_ALIGN_TOP_LEFT style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: Interface shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_LABELFRAME type: ENGRAVED_FRAME box: 15 90 425 140 boxtype: FL_NO_BOX colors: FL_BLACK FL_COL1 alignment: FL_ALIGN_TOP_LEFT style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: Language Options shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: =============== FORM =============== Name: form_preferences_language Width: 450 Height: 360 Number of Objects: 20 -------------------- class: FL_BOX type: FLAT_BOX box: 0 0 450 360 boxtype: FL_FLAT_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_FRAME type: ENGRAVED_FRAME box: 5 10 440 80 boxtype: FL_NO_BOX colors: FL_BLACK FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_INPUT type: NORMAL_INPUT box: 131 18 300 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Package|#P shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_package callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_CHOICE type: NORMAL_CHOICE box: 231 56 200 30 boxtype: FL_FRAME_BOX colors: FL_COL1 FL_BLACK alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: Default language|#l shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: choice_default_lang callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 78 113 30 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Keyboard\nmap|#K shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: check_use_kbmap callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 145 100 190 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: 1st|#1 shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_kbmap1 callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 145 135 190 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: 2nd|#2 shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_kbmap2 callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 340 100 100 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: Browse...|#o shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: button_kbmap1_browse callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 340 135 100 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: Browse...|#w shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: button_kbmap2_browse callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 140 175 30 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: RtL support|#R shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: check_rtl_support callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 265 175 30 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Auto begin|#b shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: check_auto_begin callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 390 175 30 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Use babel|#U shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: check_use_babel callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 140 205 30 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Mark foreign|#M shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: check_mark_foreign callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 265 205 30 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Auto finish|#f shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: check_auto_end callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 390 205 30 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Global|#G shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: check_global_options callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 130 245 300 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Command start|#s shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_command_begin callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 130 280 300 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Command end|#e shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_command_end callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_FRAME type: ENGRAVED_FRAME box: 5 175 440 60 boxtype: FL_NO_BOX colors: FL_BLACK FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_FRAME type: ENGRAVED_FRAME box: 5 240 440 80 boxtype: FL_NO_BOX colors: FL_BLACK FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_FRAME type: ENGRAVED_FRAME box: 5 95 440 75 boxtype: FL_NO_BOX colors: FL_BLACK FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: =============== FORM =============== Name: form_preferences_formats Width: 450 Height: 360 Number of Objects: 9 -------------------- class: FL_BOX type: FLAT_BOX box: 0 0 450 360 boxtype: FL_FLAT_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_BROWSER type: HOLD_BROWSER box: 30 30 160 270 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_TOP style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: All formats|#l shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: browser_all callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 280 30 150 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Format|#F shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_format callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 280 70 150 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: GUI name|#G shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_gui_name callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 280 110 150 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Shortcut|#S shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_shrtcut callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 280 150 150 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Extension|#E shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_extension callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 280 190 150 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Viewer|#V shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_viewer callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 240 270 90 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Add|#A shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: button_add callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 340 270 90 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Delete|#D shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: button_delete callback: C_FormBaseInputCB argument: 0 =============== FORM =============== Name: form_preferences_converters Width: 450 Height: 360 Number of Objects: 8 -------------------- class: FL_BOX type: FLAT_BOX box: 0 0 450 360 boxtype: FL_FLAT_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_BROWSER type: HOLD_BROWSER box: 30 30 160 270 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_TOP style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: All converters|#l shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: browser_all callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_CHOICE type: NORMAL_CHOICE box: 280 30 150 30 boxtype: FL_FRAME_BOX colors: FL_COL1 FL_BLACK alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: From|#F shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: choice_from callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_CHOICE type: NORMAL_CHOICE box: 280 70 150 30 boxtype: FL_FRAME_BOX colors: FL_COL1 FL_BLACK alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: To|#T shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: choice_to callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 280 110 150 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Converter|#C shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_converter callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 280 150 150 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Extra flags|#E shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_flags callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 240 270 90 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Add|#A shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: button_add callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 340 270 90 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Delete|#D shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: button_delete callback: C_FormBaseInputCB argument: 0 =============== FORM =============== Name: form_preferences_paths Width: 450 Height: 350 Number of Objects: 17 -------------------- class: FL_BOX type: FLAT_BOX box: 0 0 450 350 boxtype: FL_FLAT_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_INPUT type: NORMAL_INPUT box: 170 10 170 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Default path|#p shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_default_path callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 345 10 100 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Browse... shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: button_default_path_browse callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 170 45 170 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Template path|#T shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_template_path callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 345 45 100 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Browse... shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: button_template_path_browse callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 140 80 30 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Temp dir|#d shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: check_use_temp_dir callback: C_FormBaseInputCB argument: 0 value: 1 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 170 80 170 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_temp_dir callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 345 80 100 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Browse... shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: button_temp_dir_browse callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 140 115 30 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Check last files|#C shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: check_last_files callback: C_FormBaseInputCB argument: 0 value: 1 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 170 115 170 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_lastfiles callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 345 115 100 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Browse... shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: button_lastfiles_browse callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_COUNTER type: SIMPLE_COUNTER box: 170 150 90 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_BLUE alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Last file count|#L shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: counter_lastfiles callback: C_FormBaseInputCB argument: 0 bounds: 0 9 precision: 0 value: 4 sstep: 1 -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 140 205 30 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_LEFT|FL_ALIGN_INSIDE style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Backup path|#B shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: check_make_backups callback: C_FormBaseInputCB argument: 0 value: 1 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 170 205 170 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_backup_path callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 345 205 100 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Browse... shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: button_backup_path_browse callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 170 245 170 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: LyXServer pipe|#S shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_serverpipe callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 345 245 100 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Browse... shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: button_serverpipe_browse callback: C_FormBaseInputCB argument: 0 =============== FORM =============== Name: form_preferences_inputs_misc Width: 450 Height: 360 Number of Objects: 2 -------------------- class: FL_BOX type: FLAT_BOX box: 0 0 450 360 boxtype: FL_FLAT_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_INPUT type: NORMAL_INPUT box: 120 70 285 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: date format|#f shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_date_format callback: C_FormBaseInputCB argument: 0 =============== FORM =============== Name: form_preferences_printer Width: 450 Height: 350 Number of Objects: 21 -------------------- class: FL_BOX type: FLAT_BOX box: 0 0 450 350 boxtype: FL_FLAT_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_INPUT type: NORMAL_INPUT box: 130 10 80 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: name shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_name callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 240 10 30 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: adapt output shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: check_adapt_output callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_LABELFRAME type: ENGRAVED_FRAME box: 10 60 435 260 boxtype: FL_NO_BOX colors: FL_BLACK FL_COL1 alignment: FL_ALIGN_TOP_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Printer Command and Flags shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_INPUT type: NORMAL_INPUT box: 130 75 80 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: command shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_command callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 130 105 80 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: page range shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_page_range callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 130 135 80 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: copies shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_copies callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 130 165 80 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: reverse shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_reverse callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 130 195 80 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: to printer shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_to_printer callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 130 225 80 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: file extension shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_file_extension callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 130 255 80 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: spool command shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_spool_command callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 130 285 80 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: paper type shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_paper_type callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 360 75 80 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: even pages shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_even_pages callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 360 105 80 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: odd pages shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_odd_pages callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 360 135 80 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: collated shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_collated callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 360 165 80 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: landscape shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_landscape callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 360 195 80 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: to file shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_to_file callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 360 225 80 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: extra options shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_extra_options callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 360 255 80 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: spool printer prefix shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_spool_prefix callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 360 285 80 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: paper size shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_paper_size callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_FRAME type: ENGRAVED_FRAME box: 10 5 435 45 boxtype: FL_NO_BOX colors: FL_BLACK FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: =============== FORM =============== Name: form_preferences_outputs_misc Width: 455 Height: 375 Number of Objects: 10 -------------------- class: FL_BOX type: FLAT_BOX box: 0 0 455 375 boxtype: FL_FLAT_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NorthWest FL_SouthEast name: callback: argument: -------------------- class: FL_FRAME type: ENGRAVED_FRAME box: 10 10 435 165 boxtype: FL_NO_BOX colors: FL_BLACK FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_COUNTER type: NORMAL_COUNTER box: 330 25 100 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_BLUE alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Ascii line length|#A shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: counter_line_len callback: C_FormBaseInputCB argument: 0 bounds: 0 120 precision: 0 value: 75 sstep: 1 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 230 65 200 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: TeX encoding|#T shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_tex_encoding callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_CHOICE type: NORMAL_CHOICE box: 230 105 199 29 boxtype: FL_FRAME_BOX colors: FL_COL1 FL_BLACK alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Default paper size|#p shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: choice_default_papersize callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_LABELFRAME type: ENGRAVED_FRAME box: 10 190 435 135 boxtype: FL_NO_BOX colors: FL_BLACK FL_COL1 alignment: FL_ALIGN_TOP_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Outside code interaction shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: -------------------- class: FL_INPUT type: NORMAL_INPUT box: 145 205 285 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: ascii roff|#r shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_ascii_roff callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 145 245 285 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: checktex|#c shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_checktex callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 145 285 285 30 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: DVI paper option|#D shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: input_paperoption callback: C_FormBaseInputCB argument: 0 -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 20 140 30 30 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: Autoreset Class Options on change|#u shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: check_autoreset_classopt callback: C_FormBaseInputCB argument: 0 ============================== create_the_forms