Package | Description |
---|---|
grammarscope.browser.dialog |
Modifier and Type | Field and Description |
---|---|
private MultipleChoice |
SettingsDialog.annotationToolTipTriState |
private MultipleChoice |
SettingsDialog.corefsModeTriState |
private MultipleChoice |
SettingsDialog.edgesAsCurvesTriState
Render edges as arcs tristate
|
private MultipleChoice |
SettingsDialog.gradientState
Display gradient tristate
|
private MultipleChoice |
SettingsDialog.hatchTriState
Display hatch tristate
|
private MultipleChoice |
SettingsDialog.highlightHeadTriState
Highlight heads tristate
|
private MultipleChoice |
SettingsDialog.highlightMarkHeadTriState
Highlight mark head tristate
|
private MultipleChoice |
SettingsDialog.highlightTriState
Highlight tristate
|
private MultipleChoice |
SettingsDialog.longNameRadioButton
Display short/long name radio button
|
private MultipleChoice |
SettingsDialog.namedEntitiesModeTriState |
private MultipleChoice |
SettingsDialog.posesModeTriState
Render mode
|
private MultipleChoice |
SettingsDialog.propagateFilterTriState
Whether to propagate accept filter settings to children
|
private MultipleChoice |
SettingsDialog.propagatePaletteTriState
Whether to propagate palette settings to children
|
private MultipleChoice |
SettingsDialog.relationsModeTriState |
private MultipleChoice |
SettingsDialog.sentimentsModeTriState |
private MultipleChoice |
SettingsDialog.typedDependenciesModeTriState |
private MultipleChoice |
ServerSettingsDialog.typedDependenciesProviderSelector
Typed Dependency provider selector
|
Modifier and Type | Method and Description |
---|---|
private static MultipleChoice |
ServerSettingsDialog.makeSelector(java.lang.Object[] objects)
Make 2-state radio group
|
private static MultipleChoice |
SettingsDialog.makeSelector(java.lang.Object[] objects)
Make 2-state radio group
|
private static MultipleChoice |
SettingsDialog.makeTristate()
Make 3-state radio group
|
Modifier and Type | Method and Description |
---|---|
private void |
ServerSettingsDialog.selector2ToSettings(MultipleChoice radioGroup,
Settings.Setting setting) |
private void |
ServerSettingsDialog.settingsToSelector2(MultipleChoice radioGroup,
Settings.Setting setting,
java.lang.Enum<?> defaultValue) |
private static void |
SettingsDialog.settingsToTriState(MultipleChoice radioGroup,
java.lang.Boolean value) |
private void |
SettingsDialog.settingsToTriState(MultipleChoice radioGroup,
Settings.Setting setting) |
private static java.lang.Boolean |
SettingsDialog.triStateToSettings(MultipleChoice radioGroup) |
private void |
SettingsDialog.triStateToSettings(MultipleChoice radioGroup,
Settings.Setting setting) |