appconfig.java

FuncPlotter is a combined Java application and applet for displaying two-dimensional plots of explic

        {
            plotBackgroundColour = colour;
            changed = true;
        }
    }

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

    public void setPlotGridColour( Color colour )
    {
        if ( !plotGridColour.equals( colour ) )
        {
            plotGridColour = colour;
            changed = true;
        }
    }

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

    public void setPlotAxisColour( Color colour )
    {
        if ( !plotAxisColour.equals( colour ) )
        {
            plotAxisColour = colour;
            changed = true;
        }
    }

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

    public void setPlotScaleColour( Color colour )
    {
        if ( !plotScaleColour.equals( colour ) )
        {
            plotScaleColour = colour;
            changed = true;
        }
    }

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

    public void setFunctionPathname( String pathname )
    {
        if ( !functionPathname.equals( pathname ) )
        {
            functionPathname = pathname;
            changed = true;
        }
    }

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

    public void setFunctionListSize( Dimension size )
    {
        if ( !functionListSize.equals( size ) )
        {
            functionListSize = size;
            changed = true;
        }
    }

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

    public void setFunctionColour( int   index,
                                   Color colour )
    {
        if ( !functionColours[index].equals( colour ) )
        {
            functionColours[index] = colour;
            changed = true;
        }
    }

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

    public void setFont( int    index,
                         FontEx font )
    {
        if ( !FontEx.getFontEx( index ).equals( font ) )
        {
            FontEx.setFontEx( index, font );
            changed = true;
        }
    }

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

    private void getParameters( JApplet    applet,
                                ConfigFile configFile )
    {

        // Default file type

        Parameter param = Parameter.getParam( applet, configFile,
                                              ElementName.GENERAL + "." + ElementName.DEFAULT_FILE_TYPE );
        if ( param.isValid( ) )
            setDefaultFileType( param );

        // New document on startup

        param = Parameter.getParam( applet, configFile,
                                    ElementName.GENERAL + "." + ElementName.NEW_DOCUMENT_ON_STARTUP );
        if ( param.isValid( ) )
            setNewDocumentOnStartup( param );

        // Save function colours

        param = Parameter.getParam( applet, configFile,
                                    ElementName.GENERAL + "." + ElementName.SAVE_FUNCTION_COLOURS );
        if ( param.isValid( ) )
            setSaveFunctionColours( param );

        // Show UNIX pathnames

        param = Parameter.getParam( applet, configFile,
                                    ElementName.GENERAL + "." + ElementName.SHOW_UNIX_PATHNAMES );
        if ( param.isValid( ) )
            setShowUnixPathnames( param );

        // Show full pathnames

        param = Parameter.getParam( applet, configFile,
                                    ElementName.GENERAL + "." + ElementName.SHOW_FULL_PATHNAMES );
        if ( param.isValid( ) )
            setShowFullPathnames( param );

        // Main window location

        param = Parameter.getParam( applet, configFile,
                                    ElementName.GENERAL + "." + ElementName.MAIN_WINDOW_LOCATION );
        if ( param.isValid( ) )
            setMainWindowLocation( param );

        // Look-and-feel

        param = Parameter.getParam( applet, configFile,
                                    ElementName.APPEARANCE + "." + ElementName.LOOK_AND_FEEL );
        if ( param.isValid( ) )
            setLookAndFeel( param );

        // Orientation by locale

        param = Parameter.getParam( applet, configFile,
                                    ElementName.APPEARANCE + "." + ElementName.ORIENTATION_BY_LOCALE );
        if ( param.isValid( ) )
            setOrientationByLocale( param );

        // Background colour

        param = Parameter.getParam( applet, configFile,
                                    ElementName.APPEARANCE + "." + ElementName.BACKGROUND_COLOUR );
        if ( param.isValid( ) )
            setBackgroundColour( param );

        // Plot size

        param = Parameter.getParam( applet, configFile, ElementName.PLOT + "." + ElementName.SIZE );
        if ( param.isValid( ) )
            setPlotSize( param );

        // Plot show grid

        param = Parameter.getParam( applet, configFile, ElementName.PLOT + "." + ElementName.SHOW_GRID );
        if ( param.isValid( ) )
            setPlotShowGrid( param );

        // Plot number of fraction digits

        param = Parameter.getParam( applet, configFile,
                                    ElementName.PLOT + "." + ElementName.NUM_FRACTION_DIGITS );
        if ( param.isValid( ) )
            setPlotNumFractionDigits( param );

        // Plot fixed-point exponent range

        param = Parameter.getParam( applet, configFile,
                                    ElementName.PLOT + "." + ElementName.FIXED_POINT_EXPONENT_RANGE );
        if ( param.isValid( ) )
            setPlotFixedPointExponentRange( param );

        // Plot normalise scientific notation

        param = Parameter.getParam( applet, configFile,
                                    ElementName.PLOT + "." + ElementName.NORMALISE_SCIENTIFIC_NOTATION );
        if ( param.isValid( ) )
            setPlotNormaliseScientificNotation( param );

        // Plot focused border colour

        param = Parameter.getParam( applet, configFile,
                                    ElementName.PLOT + "." + ElementName.FOCUSED_BORDER_COLOUR );
        if ( param.isValid( ) )
            setPlotFocusedBorderColour( param );

        // Plot image margin colour

        param = Parameter.getParam( applet, configFile,
                                    ElementName.PLOT + "." + ElementName.IMAGE_MARGIN_COLOUR );
        if ( param.isValid( ) )
            setPlotImageMarginColour( param );

        // Plot background colour

        param = Parameter.getParam( applet, configFile,
                                    ElementName.PLOT + "." + ElementName.BACKGROUND_COLOUR );
        if ( param.isValid( ) )
            setPlotBackgroundColour( param );

        // Plot grid colour

        param = Parameter.getParam( applet, configFile,
                                    ElementName.PLOT + "." + ElementName.GRID_COLOUR );
        if ( param.isValid( ) )
            setPlotGridColour( param );

        // Plot axis colour

        param = Parameter.getParam( applet, configFile,
                                    ElementName.PLOT + "." + ElementName.AXIS_COLOUR );
        if ( param.isValid( ) )
            setPlotAxisColour( param );

        // Plot scale colour

        param = Parameter.getParam( applet, configFile,
                                    ElementName.PLOT + "." + ElementName.SCALE_COLOUR );
        if ( param.isValid( ) )
            setPlotScaleColour( param );

        // Function directory

        param = Parameter.getParam( applet, configFile,
                                    ElementName.FUNCTION + "." + ElementName.DIRECTORY );
        if ( param.isValid( ) )
            setFunctionPathname( param );

        // Function list size

        param = Parameter.getParam( applet, configFile,
                                    ElementName.FUNCTION + "." + ElementName.LIST_SIZE );
        if ( param.isValid( ) )
            setFunctionListSize( param );

        // Function colours

        for ( int i = 0; i < functionColours.length; ++i )
        {
            param = Parameter.getParam( applet, configFile,
                                        ElementName.FUNCTION + "." + ElementName.COLOUR, i );
            if ( param.isValid( ) )
                setFunctionColour( param );
        }

        // Fonts

        for ( AppFont appFont : AppFont.values( ) )
        {
            param = Parameter.getParam( applet, configFile, ElementName.FONT + "." + appFont.getKey( ) );
            if ( param.isValid( ) )
                setFont( appFont, param );
        }

    }

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

    private void setParameters( ConfigFile configFile )
    {

        // Default file type

        String name = ElementName.GENERAL + "." + ElementName.DEFAULT_FILE_TYPE;
        String value = defaultFileType.getKey( );
        configFile.setValue( name, value );

        // New document on startup

        name = ElementName.GENERAL + "." + ElementName.NEW_DOCUMENT_ON_STARTUP;
        value = NoYes.getKey( newDocumentOnStartup );
        configFile.setValue( name, value );

        // Save function colours

        name = ElementName.GENERAL + "." + ElementName.SAVE_FUNCTION_COLOURS;
        value = saveFunctionColours.getKey( );
        configFile.setValue( name, value );

        // Show UNIX pathnames

        name = ElementName.GENERAL + "." + ElementName.SHOW_UNIX_PATHNAMES;
        value = NoYes.getKey( showUnixPathnames );
        configFile.setValue( name, value );

        // Show full pathnames

        name = ElementName.GENERAL + "." + ElementName.SHOW_FULL_PATHNAMES;
        value = NoYes.getKey( showFullPathnames );
        configFile.setValue( name, value );

        // Main window location

        name = ElementName.GENERAL + "." + ElementName.MAIN_WINDOW_LOCATION;
        value = mainWindowLocation.x + ", " + mainWindowLocation.y;
        configFile.setValue( name, value );

        // Look-and-feel

        name = ElementName.APPEARANCE + "." + ElementName.LOOK_AND_FEEL;
        value = lookAndFeel;
        configFile.setValue( name, value );

        // Orientation by locale

        name = ElementName.APPEARANCE + "." + ElementName.ORIENTATION_BY_LOCALE;
        value = NoYes.getKey( orientationByLocale );
        configFile.setValue( name, value );

        // Background colour

        name = ElementName.APPEARANCE + "." + ElementName.BACKGROUND_COLOUR;
        value = isBackgroundColour( ) ? ColourUtilities.colourToRgbString( backgroundColour )
                                      : new String( );
        configFile.setValue( name, value );

        // Plot size

        name = ElementName.PLOT + "." + ElementName.SIZE;
        value = Integer.toString( plotSize.width ) + ", " + Integer.toString( plotSize.height );
        configFile.setValue( name, value );

        // Plot show grid

        name = ElementName.PLOT + "." + ElementName.SHOW_GRID;
        value = NoYes.getKey( plotShowGrid );
        configFile.setValue( name, value );

        // Plot number of fraction digits

        name = ElementName.PLOT + "." + ElementName.NUM_FRACTION_DIGITS;
        value = Integer.toString( plotNumFractionDigits );
        configFile.setValue( name, value );

        // Plot fixed-point exponent range

        name = ElementName.PLOT + "." + ElementName.FIXED_POINT_EXPONENT_RANGE;
        value = plotFixedPointExponentRange.toString( );
        configFile.setValue( name, value );

        // Plot normalise scientific notation

        name = ElementName.PLOT + "." + ElementName.NORMALISE_SCIENTIFIC_NOTATION;
        value = NoYes.getKey( plotNormaliseScientificNotation );
        configFile.setValue( name, value );

        // Plot focused border colour

        name = ElementName.PLOT + "." + ElementName.FOCUSED_BORDER_COLOUR;
        value = ColourUtilities.colourToRgbString( plotFocusedBorderColour );
        configFile.setValue( name, value );

        // Plot image margin colour

        name = ElementName.PLOT + "." + ElementName.IMAGE_MARGIN_COLOUR;
        value = ColourUtilities.colourToRgbString( plotImageMarginColour );
        configFile.setValue( name, value );

        // Plot background colour

        name = ElementName.PLOT + "." + ElementName.BACKGROUND_COLOUR;
        value = ColourUtilities.colourToRgbString( plotBackgroundColour );
        configFile.setValue( name, value );

        // Plot grid colour

        name = ElementName.PLOT + "." + ElementName.GRID_COLOUR;
        value = ColourUtilities.colourToRgbString( plotGridColour );
        configFile.setValue( name, value );

        // Plot axis colour

        name = ElementName.PLOT + "." + ElementName.AXIS_COLOUR;
        value = ColourUtilities.colourToRgbString( plotAxisColour );
        configFile.setValue( name, value );

        // Plot scale colour

        name = ElementName.PLOT + "." + ElementName.SCALE_COLOUR;