|
|
@ -43,7 +43,7 @@ Function {make_widget_panel()} {open |
|
|
|
} { |
|
|
|
} { |
|
|
|
Fl_Group {} { |
|
|
|
Fl_Group {} { |
|
|
|
label GUI |
|
|
|
label GUI |
|
|
|
callback propagate_load selected |
|
|
|
callback propagate_load |
|
|
|
xywh {5 25 400 290} labelsize 11 when 0 resizable |
|
|
|
xywh {5 25 400 290} labelsize 11 when 0 resizable |
|
|
|
} { |
|
|
|
} { |
|
|
|
Fl_Group {} { |
|
|
|
Fl_Group {} { |
|
|
@ -510,7 +510,7 @@ Function {make_widget_panel()} {open |
|
|
|
} |
|
|
|
} |
|
|
|
Fl_Button {} { |
|
|
|
Fl_Button {} { |
|
|
|
label {Hide &Overlays} |
|
|
|
label {Hide &Overlays} |
|
|
|
callback overlay_cb |
|
|
|
callback overlay_cb selected |
|
|
|
tooltip {Hide the widget overlay box.} xywh {231 325 99 20} labelsize 11 labelcolor 1 |
|
|
|
tooltip {Hide the widget overlay box.} xywh {231 325 99 20} labelsize 11 labelcolor 1 |
|
|
|
} |
|
|
|
} |
|
|
|
Fl_Button {} { |
|
|
|
Fl_Button {} { |
|
|
@ -531,7 +531,7 @@ Function {make_widget_panel()} {open |
|
|
|
Fl_Button wLiveMode { |
|
|
|
Fl_Button wLiveMode { |
|
|
|
label {LIve &Mode} |
|
|
|
label {LIve &Mode} |
|
|
|
callback live_mode_cb |
|
|
|
callback live_mode_cb |
|
|
|
tooltip {Hide the widget overlay box.} xywh {145 325 84 20} type Toggle labelsize 11 labelcolor 0 |
|
|
|
tooltip {Hide the widget overlay box.} xywh {142 325 84 20} type Toggle labelsize 11 labelcolor 0 |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|