appconstants.java

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

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

AppConstants.java

Application constants interface.

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

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 java.awt.Insets;

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


// APPLICATION CONSTANTS INTERFACE


interface AppConstants
{

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

    // Component constants

    int     TEXT_FIELD_MARGIN   = 3;
    Insets  COMPONENT_INSETS    = new Insets( 2, 3, 2, 3 );

    // Strings

    String  ELLIPSIS_STR        = "...";
    String  FILE_CHANGED_SUFFIX = " *";
    String  OK_STR              = "OK";
    String  CANCEL_STR          = "Cancel";
    String  ALREADY_EXISTS_STR  = "\nThe file already exists.\nDo you want to replace it?";

    String[]    RC_OPTION_STRS  = { "Replace", "Cancel" };

    // Command-method prefix

    String  COMMAND_METHOD_PREFIX   = "do";

    // Temporary-file prefix

    String  TEMP_FILE_PREFIX    = "_$_";

    // Filename suffixes

    String  CONFIG_FILE_SUFFIX  = ".conf";
    String  PNG_FILE_SUFFIX     = ".png";
    String  TEXT_FILE_SUFFIX    = ".txt";
    String  XML_FILE_SUFFIX     = ".xml";

    // File-filter descriptions

    String  CONFIG_FILES_STR    = "Configuration Files (*" + CONFIG_FILE_SUFFIX + ")";
    String  PNG_FILES_STR       = "Portable Network Graphics Files (*" + PNG_FILE_SUFFIX + ")";
    String  TEXT_FILES_STR      = "Text Files (*" + TEXT_FILE_SUFFIX + ")";
    String  XML_FILES_STR       = "XML Files (*" + XML_FILE_SUFFIX + ")";

}

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