public class GuiStandards
extends java.lang.Object
Example.| Modifier and Type | Class and Description |
|---|---|
static class |
GuiStandards.SortedProperties
This is a properties hashtable that enumerates its keys in alphabetic order.
|
| Constructor and Description |
|---|
GuiStandards() |
| Modifier and Type | Method and Description |
|---|---|
static java.lang.String |
comment()
Returns a comment with some explanation, useful when saving settings to a file.
|
static java.util.Properties |
current()
Returns the current settings, ready for storage to an external location.
|
static void |
enforce()
A call to this method is recommended for applications wanting to use the Alma GUI
Standards.
|
static void |
redefine(java.util.Properties p)
Redefines the current settings according to the specified properties object.
|
public static void enforce()
public static java.lang.String comment()
public static java.util.Properties current()
public static void redefine(java.util.Properties p)
enforce(), thus the redefined settings
will affect widgets created hereafter.