Searched refs:dotty_major (Results 1 – 1 of 1) sorted by relevance
697 Fl_Button *dotty_major; member in UI_Preferences1000 { dotty_major = new Fl_Button(150 + 1*55, 340, 45, 25, ""); in UI_Preferences()1001 dotty_major->box(FL_BORDER_BOX); in UI_Preferences()1002 dotty_major->align(FL_ALIGN_RIGHT); in UI_Preferences()1003 dotty_major->callback((Fl_Callback*)color_callback, this); in UI_Preferences()1004 dotty_major->tooltip("large square color"); in UI_Preferences()1492 dotty_major->color(dotty_major_col); in LoadValues()1646 dotty_major_col = (rgb_color_t) dotty_major->color(); in SaveValues()