public final class JaxoPrefs
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
MAX_RECENT_FILES
Defines the maximum numbers of recent files presented in the recent file
menu.
|
static java.lang.String |
PREF_AMPLITUDE
The preferred amplitude for photon and gluon objects.
|
static java.lang.String |
PREF_ANTIALIAS
A boolean preference indicating wether to use antialias or not.
|
static java.lang.String |
PREF_ARROW
A boolean preference indicating wether to draw arrows or not.
|
static java.lang.String |
PREF_ARROWINSET
The preferred arrow inset.
|
static java.lang.String |
PREF_ARROWLENGTH
The preferred arrow length.
|
static java.lang.String |
PREF_ARROWPOSITION
The preferred arrow poaition.
|
static java.lang.String |
PREF_ARROWWIDTH
The preferred arrow width.
|
static java.lang.String |
PREF_BROWSER
The preferred HTML browser.
|
static java.lang.String |
PREF_CANVASBACKGROUND
The preferred canvas background color.
|
static java.lang.String |
PREF_COLOR
The preferred Object color.
|
static java.lang.String |
PREF_COLORSPACE
The preferred color space.
|
static java.lang.String |
PREF_DEFAULTACTION
The default action.
|
static java.lang.String |
PREF_DLSEP
The preferred separation of double line objects.
|
static java.lang.String |
PREF_DVIPSPATH
The preferred dvips path.
|
static java.lang.String |
PREF_EDITOR
The preferred text editor.
|
static java.lang.String |
PREF_GRIDCOLOR
The preferred canvas background color.
|
static java.lang.String |
PREF_GRIDONOFF
A boolean preference indicating wether the grid is on or off.
|
static java.lang.String |
PREF_GRIDSIZE
The preferred grid size.
|
static java.lang.String |
PREF_GRIDSTYLE
The preferred grid style.
|
static java.lang.String |
PREF_GRIDTYPE
The preferred grid type.
|
static java.lang.String |
PREF_LANGUAGE
The preferred language.
|
static java.lang.String |
PREF_LATEXPATH
The preferred latex path.
|
static java.lang.String |
PREF_LINEWIDTH
The preferred line width.
|
static java.lang.String |
PREF_LOOKNFEEL
The preferred Look and Feel (as of 2.0, the Class Name).
|
static java.lang.String |
PREF_PSFAMILY
The preferred Postscript font family.
|
static java.lang.String |
PREF_PSROTANGLE
The preferred postscript text rotation angle.
|
static java.lang.String |
PREF_PSSIZE
The preferred Postscript font size.
|
static java.lang.String |
PREF_PSSTYLE
The preferred Postscript font style.
|
static java.lang.String |
PREF_PSVIEWER
The preferred postscript viewer.
|
static java.lang.String |
PREF_SCREENSIZEX
The preferred screen size - x dimension.
|
static java.lang.String |
PREF_SCREENSIZEY
The preferred screen size - y dimension.
|
static java.lang.String |
PREF_SHOWGRIDBAR
A boolean preference indicating wether to show the gridbar bar or not.
|
static java.lang.String |
PREF_SHOWSPLASHWINDOW
A boolean preference indicating wether to show the start-up splash window or not.
|
static java.lang.String |
PREF_SHOWSTATUS
A boolean preference indicating wether to show the status bar or not.
|
static java.lang.String |
PREF_SHOWTOOL
A boolean preference indicating wether to show the tool bar or not.
|
static java.lang.String |
PREF_SNAPONOFF
A boolean preference indicating wether snapping is on or off.
|
static java.lang.String |
PREF_TEXALIGN
The preferred TeX alignment.
|
static java.lang.String |
PREF_TEXROTANGLE
The preferred LaTeX text rotation angle.
|
static java.lang.String |
PREF_TEXSIZE
The preferred TeX font size.
|
static java.lang.String |
PREF_TEXTCOLOR
The preferred Text color.
|
static java.lang.String |
PREF_UNDODEPTH
The preferred undo depth.
|
static java.lang.String |
PREF_USER_DIR
The current user directory.
|
static java.lang.String |
PREF_VERSION
The version of the preferences.
|
static java.lang.String |
PREF_VERTEXSIZE
The preferred default vertex size.
|
Modifier and Type | Method and Description |
---|---|
static void |
addRecentFile(java.lang.String st)
Adds the given absolute path name to the list of recntly opened files.
|
static void |
clearRecentFiles()
Sets all recent files to empty Strings.
|
static boolean |
getBooleanPref(java.lang.String name)
Returns the preference with 'name' as a boolean, or throws a
IllegalArgumentException if it does not correspond to a boolean.
|
static float |
getFloatPref(java.lang.String name)
Returns the preference with 'name' as a float, or throws a
IllegalArgumentException if it does not correspond to a float.
|
static int |
getIntPref(java.lang.String name)
Returns the preference with 'name' as an integer, or throws a
IllegalArgumentException if it does not correspond to an int.
|
static java.lang.String[] |
getRecentFiles()
Returns an array of recently opened files.
|
static java.lang.Object |
getState()
State of preferences.
|
static java.lang.String |
getStringPref(java.lang.String name)
Returns the preference with 'name' as a String, or throws a
IllegalArgumentException if it does not correspond to a String.
|
static void |
initSessionPrefs()
Sets the Preferences for the current session from the Preferences node.
|
static void |
resetPref(java.lang.String name)
Re-sets the given Preference to its default value.
|
static void |
savePrefs()
Saves the current set of Preferences to the user Preferences node,
so they will be used in later sessions.
|
static void |
saveRecentFiles()
Saves the last visited files in the Preferences node.
|
static void |
setBooleanPref(java.lang.String name,
boolean newPref)
Sets the preference with 'name' to the boolean value of newPref.
|
static void |
setFloatPref(java.lang.String name,
float newPref)
Sets the preference with 'name' to the float value of newPref.
|
static void |
setIntPref(java.lang.String name,
int newPref)
Sets the preference with 'name' to the int value newPref.
|
static void |
setRecentFiles(java.lang.String[] filePaths)
Set the recently opened files to the given array of absolute path names.
|
static void |
setState(java.lang.Object value)
Restore the preferences to a previous state.
|
static void |
setStringPref(java.lang.String name,
java.lang.String str)
Sets the preference with 'name' to the string str.
|
public static final java.lang.String PREF_BROWSER
public static final java.lang.String PREF_EDITOR
public static final java.lang.String PREF_PSVIEWER
public static final java.lang.String PREF_LOOKNFEEL
public static final java.lang.String PREF_LANGUAGE
public static final java.lang.String PREF_GRIDTYPE
public static final java.lang.String PREF_COLOR
public static final java.lang.String PREF_PSFAMILY
public static final java.lang.String PREF_TEXTCOLOR
public static final java.lang.String PREF_LATEXPATH
public static final java.lang.String PREF_DVIPSPATH
public static final java.lang.String PREF_CANVASBACKGROUND
public static final java.lang.String PREF_VERSION
public static final java.lang.String PREF_GRIDCOLOR
public static final java.lang.String PREF_USER_DIR
public static final java.lang.String PREF_SCREENSIZEX
public static final java.lang.String PREF_SCREENSIZEY
public static final java.lang.String PREF_GRIDSIZE
public static final java.lang.String PREF_AMPLITUDE
public static final java.lang.String PREF_PSSTYLE
public static final java.lang.String PREF_PSSIZE
public static final java.lang.String PREF_TEXSIZE
public static final java.lang.String PREF_TEXALIGN
public static final java.lang.String PREF_PSROTANGLE
public static final java.lang.String PREF_TEXROTANGLE
public static final java.lang.String PREF_DEFAULTACTION
public static final java.lang.String PREF_UNDODEPTH
public static final java.lang.String PREF_COLORSPACE
public static final java.lang.String PREF_GRIDSTYLE
public static final java.lang.String PREF_VERTEXSIZE
public static final java.lang.String PREF_LINEWIDTH
public static final java.lang.String PREF_DLSEP
public static final java.lang.String PREF_ARROWPOSITION
public static final java.lang.String PREF_ARROWLENGTH
public static final java.lang.String PREF_ARROWWIDTH
public static final java.lang.String PREF_ARROWINSET
public static final java.lang.String PREF_SHOWTOOL
public static final java.lang.String PREF_SHOWSTATUS
public static final java.lang.String PREF_ANTIALIAS
public static final java.lang.String PREF_ARROW
public static final java.lang.String PREF_GRIDONOFF
public static final java.lang.String PREF_SNAPONOFF
public static final java.lang.String PREF_SHOWGRIDBAR
public static final java.lang.String PREF_SHOWSPLASHWINDOW
public static final int MAX_RECENT_FILES
public static java.lang.String[] getRecentFiles()
public static void setRecentFiles(java.lang.String[] filePaths)
filePaths
- the absolute path names.
If an entry is null, it will be replaced by an empty String.public static void clearRecentFiles()
public static void addRecentFile(java.lang.String st)
st
- an absolute path name.public static java.lang.String getStringPref(java.lang.String name)
name
- The name of the preference.public static int getIntPref(java.lang.String name)
name
- The name of the preference.public static float getFloatPref(java.lang.String name)
name
- The name of the preference.public static boolean getBooleanPref(java.lang.String name)
name
- The name of the preference.public static void setStringPref(java.lang.String name, java.lang.String str)
name
- The name of the preference to be set.str
- the preference to be set.public static void setIntPref(java.lang.String name, int newPref)
name
- The name of the preference to be set.newPref
- The preference to be set.public static void setFloatPref(java.lang.String name, float newPref)
name
- The name of the preference to be set.newPref
- The preference to be set.public static void setBooleanPref(java.lang.String name, boolean newPref)
name
- The name of the preference to be set.newPref
- The preference to be set.public static java.lang.Object getState()
setState(Object)
.public static void setState(java.lang.Object value)
value
- previous state to be set, obtained from getState()
.public static void initSessionPrefs()
public static void resetPref(java.lang.String name)
name
- the name of the preference to re-set.public static void savePrefs()
public static void saveRecentFiles()
Licensed under GPL. For more information, see http://jaxodraw.sourceforge.net/license.html or the LICENSE file in the jaxodraw distribution.