Magic: 13000 Internal Form Definition File (do not change) Number of forms: 5 Unit of measure: FL_COORD_PIXEL =============== FORM =============== Name: form_title Width: 425 Height: 290 Number of Objects: 2 -------------------- class: FL_BOX type: UP_BOX box: 0 0 425 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: 4 -------------------- 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 =============== FORM =============== Name: form_ref Width: 290 Height: 330 Number of Objects: 8 -------------------- class: FL_BOX type: UP_BOX box: 0 0 290 330 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 270 140 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: 180 200 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_SouthEast FL_SouthEast name: callback: RefUpdateCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 180 240 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_SouthEast FL_SouthEast name: callback: RefHideCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 10 240 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_SouthWest FL_SouthWest name: callback: RefSelectCB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 10 200 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_SouthWest FL_SouthWest name: callback: RefSelectCB argument: 1 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 10 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_SouthWest FL_SouthWest name: callback: RefSelectCB argument: 2 -------------------- class: FL_INPUT type: NORMAL_INPUT box: 80 160 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_SouthWest FL_SouthEast name: ref_name callback: argument: ============================== create_the_forms