public class GuiOptions
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
GuiOptions.Layouter |
static class |
GuiOptions.LogCloseBehaviour |
static class |
GuiOptions.RuleStyle |
Modifier and Type | Field and Description |
---|---|
GuiOptions.Layouter |
layouter |
GuiOptions.LogCloseBehaviour |
logCloseBehaviour |
GuiOptions.RuleStyle |
ruleStyle |
Constructor and Description |
---|
GuiOptions() |
public GuiOptions.LogCloseBehaviour logCloseBehaviour
public GuiOptions.Layouter layouter
public GuiOptions.RuleStyle ruleStyle