public class EditorPrefs
| Modifiers | Name | Description |
|---|---|---|
static java.lang.String |
ABORT_ON_INVALID_REQUEST |
|
static java.lang.String |
AUTO_VALIDATE_REQUEST |
|
static java.lang.String |
AUTO_VALIDATE_RESPONSE |
|
static java.lang.String |
GROOVY_LINE_NUMBERS |
|
static java.lang.String |
NO_RESIZE_REQUEST_EDITOR |
|
static java.lang.String |
START_WITH_REQUEST_TABS |
|
static java.lang.String |
XML_LINE_NUMBERS |
| Constructor and description |
|---|
EditorPrefs
(java.lang.String title) |
| Type Params | Return Type | Name and description |
|---|---|---|
|
void |
actionPerformed(java.awt.event.ActionEvent e) |
|
void |
actionPerformed(java.awt.event.ActionEvent e) |
|
static java.lang.String |
encodeFont(java.awt.Font font) |
|
SimpleForm |
getForm() |
|
void |
getFormValues(Settings settings) |
|
java.lang.String |
getTitle() |
|
StringToStringMap |
getValues(Settings settings) |
|
void |
setFormValues(Settings settings) |
|
void |
storeValues(StringToStringMap values, Settings settings) |
| Methods inherited from class | Name |
|---|---|
class java.lang.Object |
java.lang.Object#wait(long), java.lang.Object#wait(long, int), java.lang.Object#wait(), java.lang.Object#equals(java.lang.Object), java.lang.Object#toString(), java.lang.Object#hashCode(), java.lang.Object#getClass(), java.lang.Object#notify(), java.lang.Object#notifyAll() |