1 #ifndef _OPTIONS_DLG_H_
2 #define _OPTIONS_DLG_H_
4 #include <FL/Fl_Window.H>
5 #include <FL/Fl_Scroll.H>
6 #include <FL/Fl_Check_Button.H>
7 #include <FL/Fl_Button.H>
25 std::vector<Option*> options;
30 Fl_Check_Button* showAllCheck;
33 static void checkChanged( Fl_Widget* w,
void* p );
36 static const int vm = 4;
38 static const int boxH = 30;
44 void setOptions(
const std::set<Option*>& opts );