Searched refs:box_WK_busy (Results 1 – 4 of 4) sorted by relevance
396 box_WK_busy->color((byte & 0x04) == 0x04 ? FL_DARK_GREEN : FL_BACKGROUND2_COLOR); in WK_show_status_change()397 box_WK_busy->redraw(); in WK_show_status_change()
343 extern Fl_Box *box_WK_busy;
3177 Fl_Box *box_WK_busy=(Fl_Box *)0; variable12143 { box_WK_busy = new Fl_Box(419, 66, 16, 16, _("Busy")); in ConfigureDialog()12144 box_WK_busy->box(FL_DIAMOND_DOWN_BOX); in ConfigureDialog()12145 box_WK_busy->align(Fl_Align(FL_ALIGN_RIGHT)); in ConfigureDialog()
4049 Fl_Box box_WK_busy {