com.finalist.jaggenerator
Class Settings

java.lang.Object
  com.finalist.jaggenerator.Settings

public class Settings

extends java.lang.Object

The Settings class handles the loading and saving of user-settings like the current Window-size, divider-locations, etc.

Author:

Onno Scheffers

Constructor Summary

Settings()

Method Summary

static int	getHorizontalDividerPosition() Returns the last-known horizontal divider position.
static java.awt.Rectangle	getUserWindowBounds(javax.swing.JFrame frame) Returns the last-known window bounds.
static int	getVerticalDividerPosition() Returns the last-known vertical divider position.
static boolean	isMaximized() Returns the last-known maximized state.
static void	read() Static method for reading the user-settings
static void	setHorizontalDividerPosition(int horizontalDividerPosition) Sets a new value for the horizontal divider position that will be stored the next time you call write().
static void	setMaximized(boolean maximized) Sets a new value for the maximized state that will be stored the next time you call write().
static void	setUserWindowBounds(java.awt.Rectangle bounds) Sets a new value for the window bounds that will be stored the next time you call write().
static void	setVerticalDividerPosition(int verticalDividerPosition) Sets a new value for the vertical divider position that will be stored the next time you call write().
static void	write() Static method for writing the user-settings.

Methods inherited from class java.lang.Object

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

Constructor Detail

Settings

public Settings()

Method Detail

read

public static void read()

Static method for reading the user-settings

write

public static void write()

Static method for writing the user-settings.

getVerticalDividerPosition

public static int getVerticalDividerPosition()

Returns the last-known vertical divider position.

Returns:

the last-known vertical divider position.

setVerticalDividerPosition

public static void setVerticalDividerPosition(int verticalDividerPosition)

Sets a new value for the vertical divider position that will be stored the next time you call write().

Parameters:

verticalDividerPosition - The value to store for the vertical divider position.

getHorizontalDividerPosition

public static int getHorizontalDividerPosition()

Returns the last-known horizontal divider position.

Returns:

the last-known horizontal divider position.

setHorizontalDividerPosition

public static void setHorizontalDividerPosition(int horizontalDividerPosition)

Sets a new value for the horizontal divider position that will be stored the next time you call write().

Parameters:

horizontalDividerPosition - The value to store for the horizontal divider position.

isMaximized

public static boolean isMaximized()

Returns the last-known maximized state.

Returns:

the last-known maximized state.

setMaximized

public static void setMaximized(boolean maximized)

Sets a new value for the maximized state that will be stored the next time you call write().

Parameters:

maximized - The value to store for the maximized state.

getUserWindowBounds

public static java.awt.Rectangle getUserWindowBounds(javax.swing.JFrame frame)

Returns the last-known window bounds.

Returns:

the last-known window bounds.

setUserWindowBounds

public static void setUserWindowBounds(java.awt.Rectangle bounds)

Sets a new value for the window bounds that will be stored the next time you call write().

Parameters:

bounds - The value to store for the window bounds.