fpathnamefield.java

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

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

FPathnameField.java

Pathname field 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.GuiUtilities;

import java.io.File;

import textfield.PathnameField;

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


// PATHNAME FIELD CLASS


class FPathnameField
    extends PathnameField
{

////////////////////////////////////////////////////////////////////////
//  Constants
////////////////////////////////////////////////////////////////////////

    private static final    int NUM_COLUMNS = 40;

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

    public FPathnameField( )
    {
        super( NUM_COLUMNS );
        init( );
    }

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

    public FPathnameField( String pathname )
    {
        super( pathname, NUM_COLUMNS );
        init( );
    }

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

    public FPathnameField( File file )
    {
        super( file, NUM_COLUMNS );
        init( );
    }

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

////////////////////////////////////////////////////////////////////////
//  Instance methods : overriding methods
////////////////////////////////////////////////////////////////////////

    public void setFile( File file )
    {
        setFile( file, AppConfig.getInstance( ).isShowUnixPathnames( ) );
    }

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

////////////////////////////////////////////////////////////////////////
//  Instance methods
////////////////////////////////////////////////////////////////////////

    private void init( )
    {
        AppFont.TEXT_FIELD.setFont( this );
        GuiUtilities.setHorizontalMargins( this, AppConstants.TEXT_FIELD_MARGIN );
    }

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

}

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