appconfig.java

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

        if ( securityManager == null )
            return;

        // Check clipboard access

        try
        {
            securityManager.checkPermission( new AWTPermission( "accessClipboard" ) );
        }
        catch ( SecurityException e )
        {
            permissionAccessClipboard = false;
        }

    }

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

    public boolean hasPermissionAccessClipboard( )
    {
        return permissionAccessClipboard;
    }

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

    public FileType getDefaultFileType( )
    {
        return defaultFileType;
    }

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

    public boolean isNewDocumentOnStartup( )
    {
        return newDocumentOnStartup;
    }

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

    public NoYesAsk getSaveFunctionColours( )
    {
        return saveFunctionColours;
    }

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

    public boolean isShowUnixPathnames( )
    {
        return showUnixPathnames;
    }

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

    public boolean isShowFullPathnames( )
    {
        return showFullPathnames;
    }

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

    public Point getMainWindowLocation( )
    {
        return mainWindowLocation;
    }

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

    public String getLookAndFeel( )
    {
        return lookAndFeel;
    }

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

    public boolean isOrientationByLocale( )
    {
        return orientationByLocale;
    }

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

    public boolean isBackgroundColour( )
    {
        return ( backgroundColour != null );
    }

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

    public Color getBackgroundColour( )
    {
        Color colour = backgroundColour;
        if ( colour == null )
        {
            colour = UIManager.getColor( PANEL_BACKGROUND_COLOUR_KEY );
            if ( colour == null )
                colour = DEFAULT_BACKGROUND_COLOUR;
        }
        return colour;
    }

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

    public Dimension getPlotSize( )
    {
        return plotSize;
    }

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

    public boolean isPlotShowGrid( )
    {
        return plotShowGrid;
    }

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

    public int getPlotNumFractionDigits( )
    {
        return plotNumFractionDigits;
    }

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

    public IntegerRange getPlotFixedPointExponentRange( )
    {
        return plotFixedPointExponentRange;
    }

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

    public boolean isPlotNormaliseScientificNotation( )
    {
        return plotNormaliseScientificNotation;
    }

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

    public Color getPlotFocusedBorderColour( )
    {
        return plotFocusedBorderColour;
    }

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

    public Color getPlotImageMarginColour( )
    {
        return plotImageMarginColour;
    }

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

    public Color getPlotBackgroundColour( )
    {
        return plotBackgroundColour;
    }

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

    public Color getPlotGridColour( )
    {
        return plotGridColour;
    }

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

    public Color getPlotAxisColour( )
    {
        return plotAxisColour;
    }

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

    public Color getPlotScaleColour( )
    {
        return plotScaleColour;
    }

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

    public String getFunctionPathname( )
    {
        return functionPathname;
    }

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

    public File getFunctionDirectory( )
    {
        return new File( PropertyString.parsePathname( functionPathname ) );
    }

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

    public Dimension getFunctionListSize( )
    {
        return functionListSize;
    }

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

    public Color getFunctionColour( int index )
    {
        return functionColours[index];
    }

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

    public void setDefaultFileType( FileType fileType )
    {
        if ( defaultFileType != fileType )
        {
            defaultFileType = fileType;
            changed = true;
        }
    }

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

    public void setNewDocumentOnStartup( boolean newDocumentOnStartup )
    {
        if ( this.newDocumentOnStartup != newDocumentOnStartup )
        {
            this.newDocumentOnStartup = newDocumentOnStartup;
            changed = true;
        }
    }

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

    public void setSaveFunctionColours( NoYesAsk saveColours )
    {
        if ( saveFunctionColours != saveColours )
        {
            saveFunctionColours = saveColours;
            changed = true;
        }
    }

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

    public void setShowUnixPathnames( boolean showUnixPathnames )
    {
        if ( this.showUnixPathnames != showUnixPathnames )
        {
            this.showUnixPathnames = showUnixPathnames;
            changed = true;
        }
    }

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

    public void setShowFullPathnames( boolean showFullPathnames )
    {
        if ( this.showFullPathnames != showFullPathnames )
        {
            this.showFullPathnames = showFullPathnames;
            changed = true;
        }
    }

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

    public void setMainWindowLocation( Point location )
    {
        if ( !mainWindowLocation.equals( location ) )
        {
            mainWindowLocation = location;
            changed = true;
        }
    }

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

    public void setLookAndFeel( String lookAndFeel )
    {
        if ( !this.lookAndFeel.equals( lookAndFeel ) )
        {
            this.lookAndFeel = lookAndFeel;
            changed = true;
        }
    }

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

    public void setOrientationByLocale( boolean orientationByLocale )
    {
        if ( this.orientationByLocale != orientationByLocale )
        {
            this.orientationByLocale = orientationByLocale;
            changed = true;
        }
    }

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

    public void setBackgroundColour( Color colour )
    {
        if ( ((backgroundColour == null) && (colour != null)) ||
             ((backgroundColour != null) && !backgroundColour.equals( colour )) )
        {
            backgroundColour = colour;
            changed = true;
        }
    }

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

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

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

    public void setPlotShowGrid( boolean showGrid )
    {
        if ( plotShowGrid != showGrid )
        {
            plotShowGrid = showGrid;
            changed = true;
        }
    }

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

    public void setPlotNumFractionDigits( int numDigits )
    {
        if ( plotNumFractionDigits != numDigits )
        {
            plotNumFractionDigits = numDigits;
            changed = true;
        }
    }

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

    public void setPlotFixedPointExponentRange( IntegerRange range )
    {
        if ( !plotFixedPointExponentRange.equals( range ) )
        {
            plotFixedPointExponentRange = range;
            changed = true;
        }
    }

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

    public void setPlotNormaliseScientificNotation( boolean normalise )
    {
        if ( plotNormaliseScientificNotation != normalise )
        {
            plotNormaliseScientificNotation = normalise;
            changed = true;
        }
    }

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

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

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

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

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

    public void setPlotBackgroundColour( Color colour )
    {
        if ( !plotBackgroundColour.equals( colour ) )