org.objectweb.jac.ide
Class Preferences

java.lang.Object
  |
  +--org.objectweb.jac.ide.Preferences

public class Preferences
extends Object


Constructor Summary
Preferences()
           
 
Method Summary
 SHEditorConfig getEditorPrefs()
           
 String getExternalEditor()
           
 void setEditorPrefs(SHEditorConfig prefs)
           
 void setExternalEditor(String editor)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Preferences

public Preferences()
Method Detail

setExternalEditor

public void setExternalEditor(String editor)

getExternalEditor

public String getExternalEditor()

setEditorPrefs

public void setEditorPrefs(SHEditorConfig prefs)

getEditorPrefs

public SHEditorConfig getEditorPrefs()