org.xmlhammer
Class PreferencesHandler

java.lang.Object
  org.xmlhammer.PreferencesHandler

public class PreferencesHandler
extends java.lang.Object

Method Summary

static PreferencesHandler	getInstance()
Preferences	getPreferences()
void	storePreferences(javax.swing.JFrame frame, javax.swing.JSplitPane split, javax.swing.JSplitPane horizontalSplit)
void	updateCatalogProperties()
void	updateProxy()
void	useDefaultPreferences()

Methods inherited from class java.lang.Object

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

Method Detail

getInstance

public static PreferencesHandler getInstance()

useDefaultPreferences

public void useDefaultPreferences()

getPreferences

public Preferences getPreferences()

Returns:

the preferences.

updateCatalogProperties

public void updateCatalogProperties()

updateProxy

public void updateProxy()

storePreferences

public void storePreferences(javax.swing.JFrame frame,
                             javax.swing.JSplitPane split,
                             javax.swing.JSplitPane horizontalSplit)
                      throws javax.xml.bind.JAXBException,
                             java.io.FileNotFoundException

Throws:

javax.xml.bind.JAXBException

java.io.FileNotFoundException