fintegerspinner.java

来自「FuncPlotter is a combined Java applicati」· Java 代码 · 共 73 行

/*====================================================================*\

FIntegerSpinner.java

Integer spinner class.

------------------------------------------------------------------------

This file is part of FuncPlotter, a combined Java application and applet
for plotting explicit functions in one variable.
Copyright 2005-2007 Andy Morgan-Richards.

FuncPlotter is free software: you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by the
Free Software Foundation, either version 3 of the License, or (at your
option) any later version.

This program is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
General Public License for more details.

You should have received a copy of the GNU General Public License along
with this program.  If not, see <http://www.gnu.org/licenses/>.

\*====================================================================*/


// IMPORTS


import gui.IntegerSpinner;

//----------------------------------------------------------------------


// INTEGER SPINNER CLASS


class FIntegerSpinner
    extends IntegerSpinner
{

////////////////////////////////////////////////////////////////////////
//  Constructors
////////////////////////////////////////////////////////////////////////

    public FIntegerSpinner( int value,
                            int minValue,
                            int maxValue,
                            int maxLength )
    {
        this( value, minValue, maxValue, maxLength, false );
    }

    //------------------------------------------------------------------

    public FIntegerSpinner( int     value,
                            int     minValue,
                            int     maxValue,
                            int     maxLength,
                            boolean signed )
    {
        super( value, minValue, maxValue, maxLength, signed );
        AppFont.TEXT_FIELD.setFont( this );
    }

    //------------------------------------------------------------------

}

//----------------------------------------------------------------------