00001 #ifndef FAT_SLIDER_H 00002 #define FAT_SLIDER_H 00003 00004 #include <FL/Fl.h> 00005 #include <FL/Fl_Window.h> 00006 #include <FL/Fl_Slider.h> 00007 00008 class fat_slider : public Fl_Slider { 00009 double bar_size; 00010 int handle ( int event ); 00011 00012 public: 00013 void get_range ( double &min, double &max ); 00014 fat_slider ( int x, int y, int width, int height, const char *l=0 ); 00015 }; 00016 00017 #endif