public class ViewSettings extends AbstractPropertiesSettings
AbstractPropertiesSettings.PropertyEntry<T>
listenerList, properties, propertyEntries
Constructor and Description |
---|
ViewSettings() |
Modifier and Type | Method and Description |
---|---|
AbstractPropertiesSettings.PropertyEntry<java.util.Set<java.lang.String>> |
clutterRules() |
AbstractPropertiesSettings.PropertyEntry<java.util.Set<java.lang.String>> |
clutterRuleSets() |
boolean |
confirmExit()
Whether to display the confirmation dialog upon exiting the main window.
|
java.util.Set<java.lang.String> |
getClutterRules()
Clutter rules are rules with less priority in the taclet menu
|
java.util.Set<java.lang.String> |
getClutterRuleSets()
Name of rule sets containing clutter rules, which has a minor priority in the
taclet menu.
|
java.util.List<java.lang.String> |
getFolderBookmarks() |
boolean |
getHideAutomodeProofsteps() |
boolean |
getHideClosedSubtrees() |
boolean |
getHideInteractiveGoals() |
boolean |
getHideIntermediateProofsteps() |
int |
getMaxAgeForHeatmap() |
int |
getMaxTooltipLines() |
boolean |
getNotifyLoadBehaviour()
When loading a Java file, all other java files in the parent directory are
loaded as well.
|
boolean |
getShowLoadExamplesDialog()
returns whether the "load examples" dialog should be shown on startup
|
boolean |
getShowUninstantiatedTaclet() |
boolean |
getShowWholeTaclet()
returns whether the Find and VarCond part of Taclets should be pretty-printed
with instantiations of schema-variables or not
|
double |
getUIFontSizeFactor() |
boolean |
isHeatmapNewest() |
boolean |
isHeatmapSF() |
boolean |
isHidePackagePrefix() |
boolean |
isHighlightOrigin() |
boolean |
isShowHeatmap() |
boolean |
isShowSequentViewTooltips() |
boolean |
isShowSourceViewTooltips() |
boolean |
isUsePretty() |
boolean |
isUseSyntaxHighlighting() |
boolean |
isUseUnicode()
Use Unicode Symbols is only allowed if pretty syntax is used
|
void |
setConfirmExit(boolean confirmExit)
Set whether to display the confirmation dialog upon exiting the main window.
|
void |
setFolderBookmarks(java.util.List<java.lang.String> bm) |
void |
setFontIndex(int b)
Sets FontIndex
|
void |
setHeatmapOptions(boolean showHeatmap,
boolean heatmapSF,
boolean heatmapNewest,
int maxAgeForHeatmap)
Updates heatmap settings (all of the at the same time, so that
fireSettingsChanged is called only once.
|
void |
setHideAutomodeProofsteps(boolean hide) |
void |
setHideClosedSubtrees(boolean hide) |
void |
setHideInteractiveGoals(boolean active) |
void |
setHideIntermediateProofsteps(boolean hide) |
void |
setHidePackagePrefix(boolean hide) |
void |
setHighlightOrigin(boolean highlightOrigin) |
void |
setMaxTooltipLines(int b)
Sets maxTooltipLines
|
void |
setNotifyLoadBehaviour(boolean show) |
void |
setShowLoadExamplesDialog(boolean b)
Sets whether the "Load Examples" dialog window should be shown on startup
|
void |
setShowSequentViewTooltips(boolean showSequentViewTooltips) |
void |
setShowSourceViewTooltips(boolean showSourceViewTooltips) |
void |
setShowUninstantiatedTaclet(boolean b) |
void |
setShowWholeTaclet(boolean b)
Sets whether the Find and VarCond part of Taclets should be pretty-printed
with instantiations of schema-variables or not
|
void |
setUIFontSizeFactor(double factor) |
void |
setUsePretty(boolean usePretty) |
void |
setUseSyntaxHighlighting(boolean enable) |
void |
setUseSystemLaF(boolean b)
Sets the system look-and-feel option.
|
void |
setUseUnicode(boolean useUnicode) |
int |
sizeIndex() |
boolean |
useSystemLaF() |
addSettingsListener, createBooleanProperty, createDoubleProperty, createFloatProperty, createIntegerProperty, createStringListProperty, createStringProperty, createStringSetProperty, fireSettingsChange, isInitialized, readSettings, removeSettingsListener, writeSettings
public java.util.Set<java.lang.String> getClutterRules()
public AbstractPropertiesSettings.PropertyEntry<java.util.Set<java.lang.String>> clutterRules()
public AbstractPropertiesSettings.PropertyEntry<java.util.Set<java.lang.String>> clutterRuleSets()
public java.util.Set<java.lang.String> getClutterRuleSets()
public int getMaxTooltipLines()
public void setMaxTooltipLines(int b)
b
- The new value for maxTooltipLinespublic boolean getShowLoadExamplesDialog()
public void setShowLoadExamplesDialog(boolean b)
b
- indicates whether the "Load Examples" dialog window should be shown on startup or notpublic boolean getShowWholeTaclet()
public void setShowWholeTaclet(boolean b)
b
- indicates whether the Find and VarCond part of Taclets should
be pretty-printed with instantiations of schema-variables or
notpublic int sizeIndex()
public void setFontIndex(int b)
b
- The new value for SizeIndexpublic boolean useSystemLaF()
true
iff the system look-and-feel is activated.public void setUseSystemLaF(boolean b)
b
- whether to activate the system look-and-feelpublic boolean getNotifyLoadBehaviour()
public void setNotifyLoadBehaviour(boolean show)
show
- Whether a notification when opening a file should be shownpublic boolean getHideIntermediateProofsteps()
public void setHideIntermediateProofsteps(boolean hide)
hide
- Whether intermediate proof steps should be hiddenpublic boolean getHideAutomodeProofsteps()
public void setHideAutomodeProofsteps(boolean hide)
hide
- Whether non-interactive proof steps should be hiddenpublic boolean getHideClosedSubtrees()
public void setHideClosedSubtrees(boolean hide)
hide
- Whether closed subtrees should be hiddenpublic boolean isUsePretty()
public void setUsePretty(boolean usePretty)
public boolean isUseUnicode()
public void setUseUnicode(boolean useUnicode)
public boolean isUseSyntaxHighlighting()
public void setUseSyntaxHighlighting(boolean enable)
public boolean isHidePackagePrefix()
public void setHidePackagePrefix(boolean hide)
public boolean confirmExit()
public void setConfirmExit(boolean confirmExit)
public boolean getShowUninstantiatedTaclet()
public void setShowUninstantiatedTaclet(boolean b)
public boolean isShowHeatmap()
public void setHeatmapOptions(boolean showHeatmap, boolean heatmapSF, boolean heatmapNewest, int maxAgeForHeatmap)
showHeatmap
- true if heatmap onheatmapSF
- true for sequent formulas, false for termsheatmapNewest
- true if newest, false for "up to age"maxAgeForHeatmap
- the maximum age for term or sequent formulas, concerning
heatmap highlightingpublic boolean isHeatmapSF()
public boolean isHeatmapNewest()
public int getMaxAgeForHeatmap()
public boolean isHighlightOrigin()
public void setHighlightOrigin(boolean highlightOrigin)
public boolean isShowSequentViewTooltips()
public void setShowSequentViewTooltips(boolean showSequentViewTooltips)
public boolean isShowSourceViewTooltips()
public void setShowSourceViewTooltips(boolean showSourceViewTooltips)
public double getUIFontSizeFactor()
public void setUIFontSizeFactor(double factor)
public boolean getHideInteractiveGoals()
public void setHideInteractiveGoals(boolean active)
public java.util.List<java.lang.String> getFolderBookmarks()
folderBookmarks
public void setFolderBookmarks(java.util.List<java.lang.String> bm)
folderBookmarks
Copyright © 2003-2019 The KeY-Project.