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
|
|
|
//
|
|
|
|
// Floating point input header file for the Fast Light Tool Kit (FLTK).
|
|
|
|
//
|
2011-05-23 22:32:47 +04:00
|
|
|
// Copyright 1998-2011 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:
|
1998-10-20 01:39:29 +04:00
|
|
|
//
|
2011-07-19 08:49:30 +04:00
|
|
|
// 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
|
|
|
//
|
|
|
|
|
2008-10-15 17:46:06 +04:00
|
|
|
/* \file
|
2008-09-16 11:26:22 +04:00
|
|
|
Fl_Float_Input widget . */
|
|
|
|
|
1998-10-06 22:21:25 +04:00
|
|
|
#ifndef Fl_Float_Input_H
|
|
|
|
#define Fl_Float_Input_H
|
|
|
|
|
|
|
|
#include "Fl_Input.H"
|
|
|
|
|
2008-09-15 15:10:51 +04:00
|
|
|
/**
|
|
|
|
The Fl_Float_Input class is a subclass of Fl_Input
|
|
|
|
that only allows the user to type floating point numbers (sign,
|
|
|
|
digits, decimal point, more digits, 'E' or 'e', sign, digits).
|
|
|
|
*/
|
2011-05-23 22:32:47 +04:00
|
|
|
class FL_EXPORT Fl_Float_Input : public Fl_Input {
|
1998-10-06 22:21:25 +04:00
|
|
|
public:
|
2008-09-15 15:10:51 +04:00
|
|
|
/**
|
2011-05-23 22:32:47 +04:00
|
|
|
Creates a new Fl_Float_Input widget using the given position,
|
2008-09-15 15:10:51 +04:00
|
|
|
size, and label string. The default boxtype is FL_DOWN_BOX.
|
2011-05-23 22:32:47 +04:00
|
|
|
|
|
|
|
Inherited destructor destroys the widget and any value associated with it.
|
2008-09-15 15:10:51 +04:00
|
|
|
*/
|
2011-05-23 22:32:47 +04:00
|
|
|
Fl_Float_Input(int X,int Y,int W,int H,const char *l = 0);
|
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
|
|
|
//
|