org.fife.rtext.plugins.tools
Class ToolsPrefs

java.lang.Object
  org.fife.ui.app.Prefs
      org.fife.rtext.plugins.tools.ToolsPrefs

public class ToolsPrefs
extends Prefs

Preferences for the tools plugin.

Version:

0.8

Author:

Robert Futrell

Field Summary

javax.swing.KeyStroke	editToolsAccelerator Accelerator for the "Edit Tools..." action.
javax.swing.KeyStroke	newToolAccelerator Accelerator for the "New Tool..." action.
int	windowPosition The location of the dockable tool output window.
javax.swing.KeyStroke	windowVisibilityAccelerator Key stroke that toggles the task window's visibility.
boolean	windowVisible Whether the GUI plugin window is active (visible).

Constructor Summary

ToolsPrefs()

Method Summary

void	load(java.io.InputStream in) Overridden to validate the task identifiers value.
void	setDefaults() Sets all fields in this class to their default values.

Methods inherited from class org.fife.ui.app.Prefs

load, load, save, save, save

Methods inherited from class java.lang.Object

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

Field Detail

windowVisible

public boolean windowVisible

Whether the GUI plugin window is active (visible).

windowPosition

public int windowPosition

The location of the dockable tool output window.

windowVisibilityAccelerator

public javax.swing.KeyStroke windowVisibilityAccelerator

Key stroke that toggles the task window's visibility.

newToolAccelerator

public javax.swing.KeyStroke newToolAccelerator

Accelerator for the "New Tool..." action.

editToolsAccelerator

public javax.swing.KeyStroke editToolsAccelerator

Accelerator for the "Edit Tools..." action.

Constructor Detail

ToolsPrefs

public ToolsPrefs()

Method Detail

load

public void load(java.io.InputStream in)
          throws java.io.IOException

Overridden to validate the task identifiers value.

Overrides:

load in class Prefs

Parameters:

in - The input stream. It is the caller's responsibility to close this stream.

Throws:

java.io.IOException - If an IO error occurs.

See Also:

Prefs.load(File), Prefs.load(Properties)

setDefaults

public void setDefaults()

Sets all fields in this class to their default values.

Specified by:

setDefaults in class Prefs