public class WebStartMain
extends java.lang.Object
| Constructor and Description |
|---|
WebStartMain() |
| Modifier and Type | Method and Description |
|---|---|
static UserConfiguration |
getDefaultConfig() |
static UserConfiguration |
getWebStartConfig() |
static void |
main(java.lang.String[] args)
If no arguments, shows AlignmentGui for pairwise alignments.
|
static void |
persistConfig(UserConfiguration config) |
static UserConfiguration |
requestUserConfig() |
public static void main(java.lang.String[] args)
args - public static UserConfiguration getWebStartConfig()
public static UserConfiguration getDefaultConfig()
public static void persistConfig(UserConfiguration config)
public static UserConfiguration requestUserConfig()