public class Settings
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) XMLFileElement |
xpref |
(package private) XMLFileElement |
xrecent |
Constructor and Description |
---|
Settings(java.lang.String appname) |
Modifier and Type | Method and Description |
---|---|
void |
addElement(java.lang.String name,
java.lang.String value) |
void |
addRecentFile(java.io.File f) |
void |
addRecentPath(java.lang.String fpath) |
java.lang.String[] |
getRecentPaths() |
java.lang.String |
getValue(java.lang.String eltname) |
boolean |
hasElement(java.lang.String name) |
boolean |
hasElement(java.lang.String name,
java.lang.String value) |
void |
setElement(java.lang.String name,
java.lang.String value) |
XMLFileElement xrecent
XMLFileElement xpref
public void addRecentFile(java.io.File f)
public void addRecentPath(java.lang.String fpath)
public java.lang.String[] getRecentPaths()
public void addElement(java.lang.String name, java.lang.String value)
public boolean hasElement(java.lang.String name, java.lang.String value)
public boolean hasElement(java.lang.String name)
public java.lang.String getValue(java.lang.String eltname)
public void setElement(java.lang.String name, java.lang.String value)
Copyright © 2013. All Rights Reserved.