java.lang.Object
org.media.hyperpad.conf.ConfigHandler
- public class ConfigHandler
- extends java.lang.Object
Class meant to handle the configuration XML for HyperPad.
- Version:
- $Revision: 1.1 $ $Date: 2002/09/13 18:47:56 $
|
Method Summary |
boolean |
getAntiAliasingStatus()
|
java.lang.String |
getBrowser()
|
java.lang.String |
getButtonDisplay()
|
java.awt.Color |
getCharacterColor()
|
java.awt.Font |
getCharacterFont()
|
private java.awt.Color |
getColor(java.lang.String node,
java.lang.String subnode,
java.lang.String type)
|
java.awt.Color |
getCommentColor()
|
java.awt.Font |
getCommentFont()
|
private org.w3c.dom.Element |
getElement(java.lang.String main,
java.lang.String subnode,
java.lang.String type)
|
private java.lang.String |
getFirstChildValue(java.lang.String node,
java.lang.String child)
|
private java.awt.Font |
getFont(java.lang.String node,
java.lang.String subnode,
java.lang.String type)
|
java.lang.String |
getFtpProxyHost()
|
java.lang.String |
getFtpProxyPort()
|
java.awt.Color |
getGeneralBgColor()
|
java.awt.Color |
getGeneralColor()
|
java.awt.Font |
getGeneralFont()
|
boolean |
getHighlight()
|
java.lang.String |
getHistoryLength()
|
boolean |
getHTMLMode()
|
java.lang.String |
getHttpProxyHost()
|
java.lang.String |
getHttpProxyPort()
|
java.awt.Color |
getKeywordColor()
|
java.awt.Font |
getKeywordFont()
|
boolean |
getLineWrapStatus()
|
java.lang.String |
getLookAndFeel()
|
java.awt.Font |
getMenuFont()
|
private boolean |
getMode(java.lang.String node,
java.lang.String parent,
java.lang.String mode)
|
boolean |
getNavigationBarStatus()
|
java.awt.Color |
getNumericColor()
|
java.awt.Font |
getNumericFont()
|
boolean |
getProxyStatus()
|
java.lang.String |
getRecentListLength()
|
boolean |
getReplaceMode()
|
private java.lang.String |
getSCKeyAndModifiers(java.lang.String node,
java.lang.String subnode)
|
private java.lang.String |
getSecondChildValue(java.lang.String node,
java.lang.String parent,
java.lang.String key)
|
java.lang.String |
getShortcut(java.lang.String key)
|
java.lang.String |
getSpaceNumber()
|
java.awt.Color |
getStringColor()
|
java.awt.Font |
getStringFont()
|
private java.io.InputStream |
getXML(java.lang.String path)
|
void |
save(java.lang.String xmlpath)
|
protected static void |
saveXML(java.lang.String path,
org.w3c.dom.Document doc,
org.w3c.dom.Element root)
|
void |
setAntiAliasingStatus(boolean new_status)
|
void |
setBrowser(java.lang.String new_path)
|
void |
setButtonDisplay(java.lang.String new_display)
|
void |
setCharacterColor(int new_r,
int new_g,
int new_b)
|
void |
setCharacterFont(java.lang.String new_name,
int new_style,
int new_size)
|
private void |
setColor(java.lang.String node,
java.lang.String subnode,
java.lang.String type,
int new_r,
int new_g,
int new_b)
|
void |
setCommentColor(int new_r,
int new_g,
int new_b)
|
void |
setCommentFont(java.lang.String new_name,
int new_style,
int new_size)
|
private void |
setFirstChildValue(java.lang.String node,
java.lang.String child,
java.lang.String new_value)
|
private void |
setFont(java.lang.String node,
java.lang.String subnode,
java.lang.String type,
java.lang.String new_name,
int new_style,
int new_size)
|
void |
setFtpProxyHost(java.lang.String new_value)
|
void |
setFtpProxyPort(java.lang.String new_value)
|
void |
setGeneralBgColor(int new_r,
int new_g,
int new_b)
|
void |
setGeneralColor(int new_r,
int new_g,
int new_b)
|
void |
setGeneralFont(java.lang.String new_name,
int new_style,
int new_size)
|
void |
setHighlight(boolean new_mode)
|
void |
setHistoryLength(java.lang.String length)
|
void |
setHTMLMode(boolean new_mode)
|
void |
setHttpProxyHost(java.lang.String new_value)
|
void |
setHttpProxyPort(java.lang.String new_value)
|
void |
setKeywordColor(int new_r,
int new_g,
int new_b)
|
void |
setKeywordFont(java.lang.String new_name,
int new_style,
int new_size)
|
void |
setLineWrapStatus(boolean new_status)
|
void |
setLookAndFeel(java.lang.String new_LF)
|
private void |
setMode(java.lang.String node,
java.lang.String parent,
java.lang.String mode,
boolean new_mode)
|
void |
setNavigationBarStatus(boolean new_status)
|
void |
setNumericColor(int new_r,
int new_g,
int new_b)
|
void |
setNumericFont(java.lang.String new_name,
int new_style,
int new_size)
|
void |
setProxyStatus(boolean new_status)
|
void |
setRecentListLength(java.lang.String length)
|
void |
setReplaceMode(boolean new_mode)
|
private void |
setSCKeyAndModifiers(java.lang.String node,
java.lang.String subnode,
java.lang.String new_value,
java.lang.String new_modifiers)
|
private void |
setSecondChildValue(java.lang.String node,
java.lang.String parent,
java.lang.String key,
java.lang.String new_value)
|
void |
setShortcut(java.lang.String key,
java.lang.String new_SCkey,
java.lang.String new_modifiers)
|
void |
setSpaceNumber(java.lang.String number)
|
void |
setStringColor(int new_r,
int new_g,
int new_b)
|
void |
setStringFont(java.lang.String new_name,
int new_style,
int new_size)
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
document
org.w3c.dom.Document document
is
org.xml.sax.InputSource is
e
org.w3c.dom.Element e
ConfigHandler
public ConfigHandler(java.lang.String path)
getXML
private java.io.InputStream getXML(java.lang.String path)
throws java.io.IOException
getNavigationBarStatus
public boolean getNavigationBarStatus()
setNavigationBarStatus
public void setNavigationBarStatus(boolean new_status)
getButtonDisplay
public java.lang.String getButtonDisplay()
setButtonDisplay
public void setButtonDisplay(java.lang.String new_display)
getReplaceMode
public boolean getReplaceMode()
setReplaceMode
public void setReplaceMode(boolean new_mode)
getSpaceNumber
public java.lang.String getSpaceNumber()
setSpaceNumber
public void setSpaceNumber(java.lang.String number)
getHistoryLength
public java.lang.String getHistoryLength()
setHistoryLength
public void setHistoryLength(java.lang.String length)
getRecentListLength
public java.lang.String getRecentListLength()
setRecentListLength
public void setRecentListLength(java.lang.String length)
getHTMLMode
public boolean getHTMLMode()
setHTMLMode
public void setHTMLMode(boolean new_mode)
getHighlight
public boolean getHighlight()
setHighlight
public void setHighlight(boolean new_mode)
getLookAndFeel
public java.lang.String getLookAndFeel()
setLookAndFeel
public void setLookAndFeel(java.lang.String new_LF)
getAntiAliasingStatus
public boolean getAntiAliasingStatus()
setAntiAliasingStatus
public void setAntiAliasingStatus(boolean new_status)
getLineWrapStatus
public boolean getLineWrapStatus()
setLineWrapStatus
public void setLineWrapStatus(boolean new_status)
getBrowser
public java.lang.String getBrowser()
setBrowser
public void setBrowser(java.lang.String new_path)
getProxyStatus
public boolean getProxyStatus()
setProxyStatus
public void setProxyStatus(boolean new_status)
getHttpProxyHost
public java.lang.String getHttpProxyHost()
setHttpProxyHost
public void setHttpProxyHost(java.lang.String new_value)
getHttpProxyPort
public java.lang.String getHttpProxyPort()
setHttpProxyPort
public void setHttpProxyPort(java.lang.String new_value)
getFtpProxyHost
public java.lang.String getFtpProxyHost()
setFtpProxyHost
public void setFtpProxyHost(java.lang.String new_value)
getFtpProxyPort
public java.lang.String getFtpProxyPort()
setFtpProxyPort
public void setFtpProxyPort(java.lang.String new_value)
getMenuFont
public java.awt.Font getMenuFont()
getGeneralFont
public java.awt.Font getGeneralFont()
setGeneralFont
public void setGeneralFont(java.lang.String new_name,
int new_style,
int new_size)
getGeneralColor
public java.awt.Color getGeneralColor()
setGeneralColor
public void setGeneralColor(int new_r,
int new_g,
int new_b)
getGeneralBgColor
public java.awt.Color getGeneralBgColor()
setGeneralBgColor
public void setGeneralBgColor(int new_r,
int new_g,
int new_b)
getCommentFont
public java.awt.Font getCommentFont()
setCommentFont
public void setCommentFont(java.lang.String new_name,
int new_style,
int new_size)
getCommentColor
public java.awt.Color getCommentColor()
setCommentColor
public void setCommentColor(int new_r,
int new_g,
int new_b)
getKeywordFont
public java.awt.Font getKeywordFont()
setKeywordFont
public void setKeywordFont(java.lang.String new_name,
int new_style,
int new_size)
getKeywordColor
public java.awt.Color getKeywordColor()
setKeywordColor
public void setKeywordColor(int new_r,
int new_g,
int new_b)
getStringFont
public java.awt.Font getStringFont()
setStringFont
public void setStringFont(java.lang.String new_name,
int new_style,
int new_size)
getStringColor
public java.awt.Color getStringColor()
setStringColor
public void setStringColor(int new_r,
int new_g,
int new_b)
getNumericFont
public java.awt.Font getNumericFont()
setNumericFont
public void setNumericFont(java.lang.String new_name,
int new_style,
int new_size)
getNumericColor
public java.awt.Color getNumericColor()
setNumericColor
public void setNumericColor(int new_r,
int new_g,
int new_b)
getCharacterFont
public java.awt.Font getCharacterFont()
setCharacterFont
public void setCharacterFont(java.lang.String new_name,
int new_style,
int new_size)
getCharacterColor
public java.awt.Color getCharacterColor()
setCharacterColor
public void setCharacterColor(int new_r,
int new_g,
int new_b)
getShortcut
public java.lang.String getShortcut(java.lang.String key)
setShortcut
public void setShortcut(java.lang.String key,
java.lang.String new_SCkey,
java.lang.String new_modifiers)
save
public void save(java.lang.String xmlpath)
getMode
private boolean getMode(java.lang.String node,
java.lang.String parent,
java.lang.String mode)
setMode
private void setMode(java.lang.String node,
java.lang.String parent,
java.lang.String mode,
boolean new_mode)
getFirstChildValue
private java.lang.String getFirstChildValue(java.lang.String node,
java.lang.String child)
setFirstChildValue
private void setFirstChildValue(java.lang.String node,
java.lang.String child,
java.lang.String new_value)
getSecondChildValue
private java.lang.String getSecondChildValue(java.lang.String node,
java.lang.String parent,
java.lang.String key)
setSecondChildValue
private void setSecondChildValue(java.lang.String node,
java.lang.String parent,
java.lang.String key,
java.lang.String new_value)
getColor
private java.awt.Color getColor(java.lang.String node,
java.lang.String subnode,
java.lang.String type)
setColor
private void setColor(java.lang.String node,
java.lang.String subnode,
java.lang.String type,
int new_r,
int new_g,
int new_b)
getFont
private java.awt.Font getFont(java.lang.String node,
java.lang.String subnode,
java.lang.String type)
setFont
private void setFont(java.lang.String node,
java.lang.String subnode,
java.lang.String type,
java.lang.String new_name,
int new_style,
int new_size)
setSCKeyAndModifiers
private void setSCKeyAndModifiers(java.lang.String node,
java.lang.String subnode,
java.lang.String new_value,
java.lang.String new_modifiers)
getSCKeyAndModifiers
private java.lang.String getSCKeyAndModifiers(java.lang.String node,
java.lang.String subnode)
getElement
private org.w3c.dom.Element getElement(java.lang.String main,
java.lang.String subnode,
java.lang.String type)
saveXML
protected static void saveXML(java.lang.String path,
org.w3c.dom.Document doc,
org.w3c.dom.Element root)