Overview  Package   Class  Use  Deprecated  Index
Home >> All >> com >> arranger >> jarl >> [ ui overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

com.arranger.jarl.ui
Class PrefManager  

java.lang.Object
  com.arranger.jarl.ui.PrefManager

---

class PrefManager

extends java.lang.Object

PrefManager created on Apr 15, 2003

---

Constructor Summary
(package private)	PrefManager()

 

Method Summary
java.util.Properties	getPreferences()
protected  java.io.File	getPrefFile()
void	storePreferences(java.util.Properties properties)

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

PrefManager

PrefManager()

Method Detail

getPreferences

public java.util.Properties getPreferences()

---

storePreferences

public void storePreferences(java.util.Properties properties)

---

getPrefFile

protected java.io.File getPrefFile()

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> com >> arranger >> jarl >> [ ui overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---