Magic: 13000 Internal Form Definition File (do not change) Number of forms: 6 Unit of measure: FL_COORD_PIXEL =============== FORM =============== Name: form_title Width: 420 Height: 290 Number of Objects: 2 -------------------- class: FL_BOX type: UP_BOX box: 0 0 420 290 boxtype: FL_UP_BOX colors: FL_BLACK FL_TOP_BCOL 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_TIMER type: HIDDEN_TIMER box: 110 170 190 60 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_RED 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: timer_title callback: TimerCB argument: 0 =============== FORM =============== Name: form_figure Width: 340 Height: 150 Number of Objects: 10 -------------------- class: FL_BOX type: UP_BOX box: 0 0 340 150 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_FRAME type: ENGRAVED_FRAME box: 10 20 320 80 boxtype: FL_NO_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_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: group_radio_fugre callback: argument: -------------------- class: FL_CHECKBUTTON type: RADIO_BUTTON box: 10 30 320 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: Encapsulated Postscript (*.eps, *.ps)|#E shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: radio_postscript callback: argument: -------------------- class: FL_CHECKBUTTON type: RADIO_BUTTON box: 10 60 320 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: Inlined EPS (*.eps, *.ps)|#I shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: radio_inline callback: argument: -------------------- 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_BUTTON type: RETURN_BUTTON box: 10 110 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: OK shortcut: ^M resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: FigureOKCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 120 110 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: Apply|#A shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: FigureApplyCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 230 110 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: Cancel|^[ shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: FigureCancelCB argument: 0 -------------------- class: FL_TEXT type: NORMAL_TEXT box: 20 10 50 20 boxtype: FL_FLAT_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_LEFT|FL_ALIGN_INSIDE style: FL_BOLD_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Type shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: callback: argument: =============== FORM =============== Name: form_screen Width: 390 Height: 220 Number of Objects: 9 -------------------- class: FL_BOX type: UP_BOX box: 0 0 390 220 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_INPUT type: NORMAL_INPUT box: 140 10 240 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 font|#R shortcut: resize: FL_RESIZE_X gravity: FL_NorthWest FL_NoGravity name: input_roman callback: argument: -------------------- class: FL_INPUT type: NORMAL_INPUT box: 140 40 240 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 font|#S shortcut: resize: FL_RESIZE_X gravity: FL_NorthWest FL_NoGravity name: input_sans callback: argument: -------------------- class: FL_INPUT type: NORMAL_INPUT box: 140 70 240 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 font|#T shortcut: resize: FL_RESIZE_X gravity: FL_NorthWest FL_NoGravity name: input_typewriter callback: argument: -------------------- class: FL_INPUT type: NORMAL_INPUT box: 140 100 240 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: Font norm|#N shortcut: resize: FL_RESIZE_X gravity: FL_NorthWest FL_NoGravity name: input_font_norm callback: argument: -------------------- class: FL_INPUT type: INT_INPUT box: 140 140 50 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: Font zoom|#Z shortcut: resize: FL_RESIZE_X gravity: FL_NorthWest FL_NoGravity name: intinput_size callback: argument: -------------------- class: FL_BUTTON type: RETURN_BUTTON box: 60 180 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: OK shortcut: ^M resize: FL_RESIZE_NONE gravity: FL_SouthEast FL_SouthEast name: callback: ScreenOKCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 170 180 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: Apply|#A shortcut: resize: FL_RESIZE_NONE gravity: FL_SouthEast FL_SouthEast name: callback: ScreenApplyCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 280 180 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: Cancel|^[ shortcut: resize: FL_RESIZE_NONE gravity: FL_SouthEast FL_SouthEast name: callback: ScreenCancelCB argument: 0 =============== FORM =============== Name: form_toc Width: 420 Height: 340 Number of Objects: 5 -------------------- class: FL_BOX type: UP_BOX box: 0 0 420 340 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_BROWSER type: HOLD_BROWSER box: 10 10 400 280 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_BOTTOM style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NorthWest FL_SouthEast name: browser_toc callback: TocSelectCB argument: 0 -------------------- class: FL_BUTTON type: RETURN_BUTTON box: 310 300 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: Close shortcut: ^M resize: FL_RESIZE_NONE gravity: FL_SouthEast FL_SouthEast name: callback: TocCancelCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 200 300 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: Update|Uu#u shortcut: resize: FL_RESIZE_NONE gravity: FL_SouthEast FL_SouthEast name: callback: TocUpdateCB argument: 0 -------------------- class: FL_CHOICE type: NORMAL_CHOICE box: 60 300 130 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: Type|Tt#t shortcut: resize: FL_RESIZE_NONE gravity: FL_SouthEast FL_SouthEast name: toctype callback: TocUpdateCB argument: 0 =============== FORM =============== Name: form_ref Width: 590 Height: 400 Number of Objects: 13 -------------------- class: FL_BOX type: UP_BOX box: 0 0 590 400 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_BROWSER type: HOLD_BROWSER box: 10 10 280 380 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_BOTTOM style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NorthWest FL_SouthEast name: browser_ref callback: argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 480 60 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: Update|#U shortcut: resize: FL_RESIZE_NONE gravity: FL_NorthEast FL_NorthEast name: callback: RefUpdateCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 480 100 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: Close|#C^[ shortcut: resize: FL_RESIZE_NONE gravity: FL_NorthEast FL_NorthEast name: callback: RefHideCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 310 60 160 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: Insert reference|#I^M shortcut: resize: FL_RESIZE_NONE gravity: FL_NorthEast FL_NorthEast name: ref callback: RefSelectCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 310 100 160 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: Insert page number|#P shortcut: resize: FL_RESIZE_NONE gravity: FL_NorthEast FL_NorthEast name: pageref callback: RefSelectCB argument: 1 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 310 280 160 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: Go to reference|#G shortcut: resize: FL_RESIZE_NONE gravity: FL_NorthEast FL_NorthEast name: gotoref callback: RefSelectCB argument: 5 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 380 20 200 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: Name|#N shortcut: resize: FL_RESIZE_X gravity: FL_NorthEast FL_NorthEast name: ref_name callback: argument: -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 310 360 110 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: Sort keys|#S shortcut: resize: FL_RESIZE_NONE gravity: FL_SouthEast FL_SouthEast name: sort callback: RefUpdateCB argument: 0 value: 1 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 310 140 160 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: Insert text reference|#V shortcut: resize: FL_RESIZE_NONE gravity: FL_NorthEast FL_NorthEast name: vref callback: RefSelectCB argument: 2 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 310 180 160 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: Insert text page number|#N shortcut: resize: FL_RESIZE_NONE gravity: FL_NorthEast FL_NorthEast name: vpageref callback: RefSelectCB argument: 3 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 310 220 160 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: Insert pretty reference|#T shortcut: resize: FL_RESIZE_NONE gravity: FL_NorthEast FL_NorthEast name: prettyref callback: RefSelectCB argument: 4 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 310 320 160 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: Go back|#B shortcut: resize: FL_RESIZE_NONE gravity: FL_NorthEast FL_NorthEast name: back callback: RefSelectCB argument: 6 =============== FORM =============== Name: form_external Width: 560 Height: 310 Number of Objects: 11 -------------------- class: FL_BOX type: UP_BOX box: 0 0 560 310 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_CHOICE type: NORMAL_CHOICE box: 130 10 300 30 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: Template|#t shortcut: resize: FL_RESIZE_ALL gravity: FL_NorthWest FL_NorthEast name: templatechoice callback: ExternalTemplateCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 130 190 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: File|#F shortcut: resize: FL_RESIZE_ALL gravity: FL_SouthWest FL_SouthEast name: filename callback: argument: -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 330 190 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_SouthEast FL_SouthEast name: filenamebrowse callback: ExternalBrowseCB argument: 0 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 130 230 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: Parameters|#P shortcut: resize: FL_RESIZE_ALL gravity: FL_SouthWest FL_SouthEast name: parameters callback: argument: -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 435 50 110 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_BLACK alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Edit file|#E shortcut: resize: FL_RESIZE_ALL gravity: FL_NorthEast FL_NorthEast name: edit callback: ExternalEditCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 435 90 110 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_BLACK alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: View result|#V shortcut: resize: FL_RESIZE_ALL gravity: FL_NorthEast FL_NorthEast name: view callback: ExternalViewCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 435 130 110 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_BLACK alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: Update result|#U shortcut: resize: FL_RESIZE_ALL gravity: FL_NorthEast FL_NorthEast name: update callback: ExternalUpdateCB argument: 0 -------------------- class: FL_BUTTON type: RETURN_BUTTON box: 315 270 110 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_BLACK alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_NORMAL_SIZE lcol: FL_BLACK label: OK shortcut: ^M resize: FL_RESIZE_ALL gravity: FL_SouthEast FL_SouthEast name: ok callback: ExternalOKCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 435 270 110 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|#C^[ shortcut: resize: FL_RESIZE_ALL gravity: FL_SouthEast FL_SouthEast name: cancel callback: ExternalCancelCB argument: 0 -------------------- class: FL_BROWSER type: NORMAL_BROWSER box: 130 50 300 130 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_TOP style: FL_NORMAL_STYLE size: FL_DEFAULT_SIZE lcol: FL_BLACK label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NorthWest FL_SouthEast name: helptext callback: argument: ============================== create_the_forms