org.objectweb.jac.ide
Class Preferences
java.lang.Object
org.objectweb.jac.ide.Preferences
- public class Preferences
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Preferences
public Preferences()
setExternalEditor
public void setExternalEditor(String editor)
getExternalEditor
public String getExternalEditor()
setEditorPrefs
public void setEditorPrefs(SHEditorConfig prefs)
getEditorPrefs
public SHEditorConfig getEditorPrefs()