1998-10-20 01:39:29 +04:00
|
|
|
//
|
2005-02-25 00:55:12 +03:00
|
|
|
// "$Id$"
|
1998-10-20 01:39:29 +04:00
|
|
|
//
|
|
|
|
// Value slider header file for the Fast Light Tool Kit (FLTK).
|
|
|
|
//
|
2010-11-29 00:06:39 +03:00
|
|
|
// Copyright 1998-2010 by Bill Spitzak and others.
|
1998-10-20 01:39:29 +04:00
|
|
|
//
|
2011-07-19 08:49:30 +04:00
|
|
|
// This library is free software. Distribution and use rights are outlined in
|
|
|
|
// the file "COPYING" which should have been included with this file. If this
|
|
|
|
// file is missing or damaged, see the license at:
|
|
|
|
//
|
|
|
|
// http://www.fltk.org/COPYING.php
|
1998-10-20 01:39:29 +04:00
|
|
|
//
|
2005-04-16 04:13:17 +04:00
|
|
|
// Please report all bugs and problems on the following page:
|
|
|
|
//
|
|
|
|
// http://www.fltk.org/str.php
|
1998-10-20 01:39:29 +04:00
|
|
|
//
|
1998-10-06 22:21:25 +04:00
|
|
|
|
2008-10-15 17:46:06 +04:00
|
|
|
/* \file
|
2008-09-16 11:26:22 +04:00
|
|
|
Fl_Value_Slider widget . */
|
|
|
|
|
1998-10-06 22:21:25 +04:00
|
|
|
#ifndef Fl_Value_Slider_H
|
|
|
|
#define Fl_Value_Slider_H
|
|
|
|
|
|
|
|
#include "Fl_Slider.H"
|
|
|
|
|
2008-09-15 16:46:49 +04:00
|
|
|
/**
|
|
|
|
The Fl_Value_Slider widget is a Fl_Slider widget
|
|
|
|
with a box displaying the current value.
|
2010-12-09 02:53:04 +03:00
|
|
|
<P ALIGN=CENTER>\image html value_slider.png
|
|
|
|
\image latex value_slider.png "Fl_Value_Slider" width=4cm
|
2008-09-15 16:46:49 +04:00
|
|
|
*/
|
2002-08-14 20:49:38 +04:00
|
|
|
class FL_EXPORT Fl_Value_Slider : public Fl_Slider {
|
2008-04-23 23:09:28 +04:00
|
|
|
Fl_Font textfont_;
|
2008-08-16 01:11:21 +04:00
|
|
|
Fl_Fontsize textsize_;
|
2009-09-27 15:06:56 +04:00
|
|
|
Fl_Color textcolor_;
|
2009-02-18 12:27:54 +03:00
|
|
|
protected:
|
2002-08-14 20:49:38 +04:00
|
|
|
void draw();
|
2009-02-18 12:27:54 +03:00
|
|
|
public:
|
2002-08-14 20:49:38 +04:00
|
|
|
int handle(int);
|
|
|
|
Fl_Value_Slider(int x,int y,int w,int h, const char *l = 0);
|
2008-09-15 16:46:49 +04:00
|
|
|
/** Gets the typeface of the text in the value box. */
|
2008-04-23 23:09:28 +04:00
|
|
|
Fl_Font textfont() const {return textfont_;}
|
2008-09-15 16:46:49 +04:00
|
|
|
/** Sets the typeface of the text in the value box. */
|
2008-04-23 23:09:28 +04:00
|
|
|
void textfont(Fl_Font s) {textfont_ = s;}
|
2008-09-15 16:46:49 +04:00
|
|
|
/** Gets the size of the text in the value box. */
|
2008-08-16 01:11:21 +04:00
|
|
|
Fl_Fontsize textsize() const {return textsize_;}
|
2008-09-15 16:46:49 +04:00
|
|
|
/** Sets the size of the text in the value box. */
|
2008-08-16 01:11:21 +04:00
|
|
|
void textsize(Fl_Fontsize s) {textsize_ = s;}
|
2008-09-15 16:46:49 +04:00
|
|
|
/** Gets the color of the text in the value box. */
|
2009-09-27 15:06:56 +04:00
|
|
|
Fl_Color textcolor() const {return textcolor_;}
|
2008-09-15 16:46:49 +04:00
|
|
|
/** Sets the color of the text in the value box. */
|
2009-09-27 15:06:56 +04:00
|
|
|
void textcolor(Fl_Color s) {textcolor_ = s;}
|
1998-10-06 22:21:25 +04:00
|
|
|
};
|
|
|
|
|
|
|
|
#endif
|
1998-10-20 01:39:29 +04:00
|
|
|
|
|
|
|
//
|
2005-02-25 00:55:12 +03:00
|
|
|
// End of "$Id$".
|
1998-10-20 01:39:29 +04:00
|
|
|
//
|