fr.umlv.unitex
Class Preferences

java.lang.Object
  extended by fr.umlv.unitex.Preferences

public class Preferences
extends java.lang.Object

This class describes graph presentation preferences.

Author:
Sébastien Paumier

Field Summary
 boolean antialiasing
          Indicates if the graph must be rendered with an antialiasing effect or not
 java.awt.Color backgroundColor
          Background color
 boolean charByChar
          Indicates if the language must be processed char by char or not
 java.awt.Color commentColor
          Color used to draw comment boxes, i.e. boxes with no input or output transition
 boolean date
          Indicates if the date must be shown on graphs
 boolean filename
          Indicates if file names must be shown on graphs
 java.awt.Color foregroundColor
          Foreground color, used to draw text, boxes and transitions
 boolean frame
          Indicates if a frame must be drawn around the graph
 java.lang.String htmlFontName
          Name of the font used to render HTML concordances
 int htmlFontSize
          HTML size of the font used to render HTML concordances (1 to 7)
 java.io.File htmlViewer
          Name of the external program to use to view HTML concordances.
 java.lang.String iconBarPosition
           
 java.awt.Font input
          Box input font
 int inputFontStyle
          Style of input font
 int inputSize
          Size of input font
 int MAX_TEXT_FILE_SIZE
          Maximum size in bytes of text files.
 java.awt.Font output
          Box output font
 int outputFontStyle
          Style of output font
 int outputSize
          Size of output font
 boolean pathname
          Indicates if path name must be shown on graphs
static Preferences pref
          General preferences
 boolean rightToLeft
          Indicates if the language must be read from right to left or not
 java.awt.Color selectedColor
          Color used to draw selected boxes
 java.awt.Color subgraphColor
          Color used to draw box lines that refer to sub-graphs
 java.awt.Font textFont
          Text font used in edition text field
 int textFontSize
          Size of edition text field font
 int textFontStyle
          Style of edition text field font
 
Constructor Summary
Preferences()
          Constructs a new Preferences, using language configuration values.
 
Method Summary
 Preferences getClone()
           
static Preferences getCloneOfPreferences()
           
static java.lang.String getConcordanceFontName()
           
static int getConcordanceFontSize()
           
static void reset()
          Sets the values to the default ones for the.
static void savePreferences(Preferences p)
          Saves Preferences p to the current language configuration file.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

input

public java.awt.Font input
Box input font


output

public java.awt.Font output
Box output font


textFont

public java.awt.Font textFont
Text font used in edition text field


backgroundColor

public java.awt.Color backgroundColor
Background color


foregroundColor

public java.awt.Color foregroundColor
Foreground color, used to draw text, boxes and transitions


subgraphColor

public java.awt.Color subgraphColor
Color used to draw box lines that refer to sub-graphs


selectedColor

public java.awt.Color selectedColor
Color used to draw selected boxes


commentColor

public java.awt.Color commentColor
Color used to draw comment boxes, i.e. boxes with no input or output transition


date

public boolean date
Indicates if the date must be shown on graphs


filename

public boolean filename
Indicates if file names must be shown on graphs


pathname

public boolean pathname
Indicates if path name must be shown on graphs


frame

public boolean frame
Indicates if a frame must be drawn around the graph


inputSize

public int inputSize
Size of input font


outputSize

public int outputSize
Size of output font


textFontSize

public int textFontSize
Size of edition text field font


inputFontStyle

public int inputFontStyle
Style of input font


outputFontStyle

public int outputFontStyle
Style of output font


textFontStyle

public int textFontStyle
Style of edition text field font


htmlFontName

public java.lang.String htmlFontName
Name of the font used to render HTML concordances


htmlFontSize

public int htmlFontSize
HTML size of the font used to render HTML concordances (1 to 7)


antialiasing

public boolean antialiasing
Indicates if the graph must be rendered with an antialiasing effect or not


htmlViewer

public java.io.File htmlViewer
Name of the external program to use to view HTML concordances. If null, concordances will be shown in a Unitex frame


charByChar

public boolean charByChar
Indicates if the language must be processed char by char or not


rightToLeft

public boolean rightToLeft
Indicates if the language must be read from right to left or not


MAX_TEXT_FILE_SIZE

public int MAX_TEXT_FILE_SIZE
Maximum size in bytes of text files. If a file is bigger than this limit, it won't be loaded.


iconBarPosition

public java.lang.String iconBarPosition

pref

public static Preferences pref
General preferences

Constructor Detail

Preferences

public Preferences()
Constructs a new Preferences, using language configuration values.

Method Detail

reset

public static void reset()
Sets the values to the default ones for the.


savePreferences

public static void savePreferences(Preferences p)
Saves Preferences p to the current language configuration file.

Parameters:
p -

getClone

public Preferences getClone()
Returns:
a copy of the preferences

getCloneOfPreferences

public static Preferences getCloneOfPreferences()
Returns:
a copy of global preferences

getConcordanceFontName

public static java.lang.String getConcordanceFontName()
Returns:
the name of the HTML concordance font

getConcordanceFontSize

public static int getConcordanceFontSize()
Returns:
the size of the HTML concordance font