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
|
|
|
//
|
|
|
|
// Integer input 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
|
|
|
//
|
|
|
|
|
2008-10-15 17:46:06 +04:00
|
|
|
/* \file
|
2008-09-16 11:26:22 +04:00
|
|
|
Fl_Int_Input widget . */
|
|
|
|
|
1998-10-06 22:21:25 +04:00
|
|
|
#ifndef Fl_Int_Input_H
|
|
|
|
#define Fl_Int_Input_H
|
|
|
|
|
|
|
|
#include "Fl_Input.H"
|
|
|
|
|
2008-09-15 15:10:51 +04:00
|
|
|
/**
|
2011-05-23 22:32:47 +04:00
|
|
|
The Fl_Int_Input class is a subclass of Fl_Input that only allows
|
|
|
|
the user to type decimal digits (or hex numbers of the form 0xaef).
|
2008-09-15 15:10:51 +04:00
|
|
|
*/
|
2010-12-13 02:21:03 +03:00
|
|
|
class FL_EXPORT Fl_Int_Input : public Fl_Input {
|
1998-10-06 22:21:25 +04:00
|
|
|
public:
|
2008-09-15 15:10:51 +04:00
|
|
|
/**
|
|
|
|
Creates a new Fl_Int_Input widget using the given position,
|
|
|
|
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_Int_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
|
|
|
//
|