Magic: 13000 Internal Form Definition File (do not change) Number of forms: 1 Unit of measure: FL_COORD_PIXEL =============== FORM =============== Name: kdconst Width: 940 Height: 570 Number of Objects: 23 -------------------- class: FL_BOX type: UP_BOX box: 0 0 940 570 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_TEXT type: NORMAL_TEXT box: 61 0 291 29 boxtype: FL_NO_BOX colors: FL_BLACK FL_GREEN alignment: FL_ALIGN_CENTER|FL_ALIGN_INSIDE style: FL_NORMAL_STYLE size: FL_MEDIUM_SIZE lcol: FL_BLACK label: Environment Window shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: window_label callback: argument: -------------------- class: FL_TEXT type: NORMAL_TEXT box: 610 30 140 30 boxtype: FL_FLAT_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_CENTER|FL_ALIGN_INSIDE style: FL_NORMAL_STYLE size: FL_MEDIUM_SIZE lcol: FL_BLACK label: Object Split Count shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: count_text callback: argument: -------------------- class: FL_VALSLIDER type: HOR_BROWSER_SLIDER box: 90 520 240 20 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_BOTTOM style: FL_NORMAL_STYLE size: FL_MEDIUM_SIZE lcol: FL_BLACK label: Speed Slider shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: speed_slider callback: speed_CB argument: 0 -------------------- class: FL_TEXT type: NORMAL_TEXT box: 430 260 130 20 boxtype: FL_FLAT_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_CENTER|FL_ALIGN_INSIDE style: FL_NORMAL_STYLE size: FL_MEDIUM_SIZE lcol: FL_BLACK label: Branch Depth shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: depth_text callback: argument: 0 -------------------- class: FL_TEXT type: NORMAL_TEXT box: 430 290 130 20 boxtype: FL_FLAT_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_CENTER|FL_ALIGN_INSIDE style: FL_NORMAL_STYLE size: FL_MEDIUM_SIZE lcol: FL_BLACK label: Current Depth shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: current_depth_text callback: argument: 0 -------------------- class: FL_TEXT type: NORMAL_TEXT box: 560 260 60 20 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_CENTER|FL_ALIGN_INSIDE style: FL_NORMAL_STYLE size: FL_MEDIUM_SIZE lcol: FL_BLACK label: 0 shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: depth_count callback: argument: 0 -------------------- class: FL_GLCANVAS type: NORMAL_CANVAS box: 10 30 420 410 boxtype: FL_DOWN_BOX colors: FL_BLACK FL_GREEN alignment: FL_ALIGN_TOP style: FL_NORMAL_STYLE size: FL_LARGE_SIZE lcol: FL_GREEN label: shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: GLCanvas[0] callback: argument: 0 -------------------- class: FL_TEXT type: NORMAL_TEXT box: 440 350 490 90 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_CENTER|FL_ALIGN_INSIDE style: FL_NORMAL_STYLE size: FL_MEDIUM_SIZE lcol: FL_BLACK label: What's happenin'\ntext shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: wassappenin_text callback: argument: 0 -------------------- class: FL_BEGIN_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: continuous callback: argument: -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 90 450 80 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_MEDIUM_SIZE lcol: FL_BLACK label: Rewind shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: rewind_button callback: rewind_CB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 250 450 80 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_MEDIUM_SIZE lcol: FL_BLACK label: FForw shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: ff_button callback: ff_CB argument: 0 -------------------- 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_BEGIN_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: stepthru callback: argument: -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 250 480 80 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_MEDIUM_SIZE lcol: FL_BLACK label: Step + shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: stepforw_button callback: stepforw_CB argument: 0 -------------------- class: FL_BUTTON type: NORMAL_BUTTON box: 90 480 80 30 boxtype: FL_UP_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_MEDIUM_SIZE lcol: FL_BLACK label: Step - shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: stepback_CB callback: stepback_CB argument: 0 -------------------- 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: 560 290 60 20 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_MCOL alignment: FL_ALIGN_CENTER|FL_ALIGN_INSIDE style: FL_NORMAL_STYLE size: FL_MEDIUM_SIZE lcol: FL_BLACK label: 0 shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: current_depth_count callback: argument: 0 -------------------- class: FL_VALSLIDER type: HOR_BROWSER_SLIDER box: 450 500 480 40 boxtype: FL_DOWN_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_BOTTOM style: FL_NORMAL_STYLE size: FL_MEDIUM_SIZE lcol: FL_BLACK label: # Log Entries Visualized shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: num_logs_slider callback: num_logs_CB argument: 0 value: 0.00 -------------------- class: FL_CHART type: BAR_CHART box: 440 80 250 130 boxtype: FL_FRAME_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_BOTTOM style: FL_NORMAL_STYLE size: FL_MEDIUM_SIZE lcol: FL_BLACK label: Current Split %'s shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: current_split_chart callback: argument: 0 -------------------- class: FL_CHART type: BAR_CHART box: 700 80 230 130 boxtype: FL_FRAME_BOX colors: FL_COL1 FL_COL1 alignment: FL_ALIGN_BOTTOM style: FL_NORMAL_STYLE size: FL_MEDIUM_SIZE lcol: FL_BLACK label: Best Split %'s shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: best_split_chart callback: argument: 0 -------------------- class: FL_CHECKBUTTON type: PUSH_BUTTON box: 690 260 190 50 boxtype: FL_NO_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_MEDIUM_SIZE lcol: FL_BLACK label: Only show best splits shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: step_over_button callback: step_over_CB argument: 0 -------------------- class: FL_LIGHTBUTTON type: PUSH_BUTTON box: 170 450 80 60 boxtype: FL_UP_BOX colors: FL_COL1 FL_YELLOW alignment: FL_ALIGN_CENTER style: FL_NORMAL_STYLE size: FL_MEDIUM_SIZE lcol: FL_BLACK label: Play shortcut: resize: FL_RESIZE_ALL gravity: FL_NoGravity FL_NoGravity name: play_button callback: play_CB argument: 0 ============================== create_the_forms