org.pf.joi
Class Preferences

java.lang.Object
  org.pf.joi.Preferences

public class Preferences
extends java.lang.Object

This singleton contains the general settings of JOI.

Version:

1.1

Author:

Manfred Duchrow

Method Summary

int	getDoubleClickMode() Returns a open mode that defines where to inspect the selected element with a double-click.
ElementFilter	getInitialElementFilter() Returns the a copy of the initial element filter
int	getMainMargin() Returns the margin to be used inside the main window
int	getMiddleButtonMode() Returns a open mode that defines where to inspect the selected element with pressing the middle mouse button.
boolean	getQuoteStrings() Returns whether or not strings should be enclosed by quotes when shown in an inspector.
int	getTreeWidth() Returns the the width of the tree view
int	getWindowHeight() Returns the initial width for a window
int	getWindowWidth() Returns the initial width for a window
static Preferences	instance() Returns the only instance this class supports (design pattern "Singleton")
boolean	isAutoSortOn() Returns true if automatic sorting of elements is desired
boolean	isEditingSupported() Returns true if editing og object values is supported

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

instance

public static Preferences instance()

Returns the only instance this class supports (design pattern "Singleton")

getWindowWidth

public int getWindowWidth()

Returns the initial width for a window

getWindowHeight

public int getWindowHeight()

Returns the initial width for a window

getMainMargin

public int getMainMargin()

Returns the margin to be used inside the main window

getTreeWidth

public int getTreeWidth()

Returns the the width of the tree view

getDoubleClickMode

public int getDoubleClickMode()

Returns a open mode that defines where to inspect the selected element with a double-click.

1. In the current place
2. In a new tab
3. In a new window

getMiddleButtonMode

public int getMiddleButtonMode()

Returns a open mode that defines where to inspect the selected element with pressing the middle mouse button.

1. In the current place
2. In a new tab
3. In a new window

isAutoSortOn

public boolean isAutoSortOn()

Returns true if automatic sorting of elements is desired

isEditingSupported

public boolean isEditingSupported()

Returns true if editing og object values is supported

getQuoteStrings

public boolean getQuoteStrings()

Returns whether or not strings should be enclosed by quotes when shown in an inspector.

getInitialElementFilter

public ElementFilter getInitialElementFilter()

Returns the a copy of the initial element filter