public class ViewSettings extends java.lang.Object implements Settings, java.lang.Cloneable
Modifier and Type | Field and Description |
---|---|
private static java.lang.String |
CONFIRM_EXIT |
private boolean |
confirmExit
confirm exiting by default
|
private static java.lang.String |
FONT_INDEX |
private static java.lang.String |
HEATMAP_OPTIONS
Heatmap options property
|
private boolean |
heatmapNewest
Highlight newest formulas/terms (true) or all formulas/terms below specified age (false)
|
private boolean |
heatmapSF
Show heatmap for sequent formulas (true) or terms (false)
|
private static java.lang.String |
HIDE_AUTOMODE_PROOFSTEPS |
private static java.lang.String |
HIDE_CLOSED_SUBTREES |
private static java.lang.String |
HIDE_INTERMEDIATE_PROOFSTEPS |
private static java.lang.String |
HIDE_PACKAGE_PREFIX |
private boolean |
hideAutomodeProofsteps
do not hide intermediate proofsteps by default
|
private boolean |
hideClosedSubtrees
do not hide closed subtrees by default
|
private boolean |
hideIntermediateProofsteps
do not hide intermediate proofsteps by default
|
private boolean |
hidePackagePrefix |
private java.util.LinkedList<SettingsListener> |
listenerList
List of listeners that are notified if the settings change
|
private static java.lang.String |
MAX_TOOLTIP_LINES_KEY |
private int |
maxAgeForHeatmap
Maximum age/number of newest terms/formulas for heatmap highlighting
|
private int |
maxTooltipLines
default max number of displayed tooltip lines is 40
|
private boolean |
notifyLoadBehaviour |
private static java.lang.String |
PRETTY_SYNTAX |
private static java.lang.String |
SHOW_JAVA_WARNING |
private static java.lang.String |
SHOW_WHOLE_TACLET |
private boolean |
showHeatmap
Show heatmap of most recently used sequent formulae
|
private boolean |
showUninstantiatedTaclet
Show Taclet uninstantiated in tooltip -- for learning
|
private boolean |
showWholeTaclet
do not print the find, varcond and heuristics part of taclets in
the TacletMenu by default
|
private int |
sizeIndex
default font size
|
private static java.lang.String |
SYNTAX_HIGHLIGHTING |
private static java.lang.String |
USE_SYSTEM_LAF |
private static java.lang.String |
USE_UNICODE |
private boolean |
usePretty
Pretty Syntax is true by default, use Unicode symbols not
|
private boolean |
useSyntaxHighlighting |
private boolean |
useSystemLaF
whether to use system look and feel
|
private boolean |
useUnicode |
Constructor and Description |
---|
ViewSettings() |
Modifier and Type | Method and Description |
---|---|
void |
addSettingsListener(SettingsListener l)
adds a listener to the settings object
|
boolean |
confirmExit()
Whether to display the confirmation dialog upon exiting the main window.
|
protected void |
fireSettingsChanged()
sends the message that the state of this setting has been
changed to its registered listeners (not thread-safe)
|
boolean |
getHideAutomodeProofsteps() |
boolean |
getHideClosedSubtrees() |
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 |
getShowUninstantiatedTaclet() |
boolean |
getShowWholeTaclet()
returns whether the Find and VarCond part of Taclets should be
pretty-printed with instantiations of schema-variables or not
|
boolean |
isHeatmapNewest() |
boolean |
isHeatmapSF() |
boolean |
isHidePackagePrefix() |
boolean |
isShowHeatmap() |
boolean |
isUsePretty() |
boolean |
isUseSyntaxHighlighting() |
boolean |
isUseUnicode()
Use Unicode Symbols is only allowed if pretty syntax is used
|
void |
readSettings(java.lang.Object sender,
java.util.Properties props)
gets a Properties object and has to perform the necessary
steps in order to change this object in a way that it
represents the stored settings
|
void |
removeSettingsListener(SettingsListener l)
removes the listener from the settings object
|
void |
setConfirmExit(boolean confirmExit)
Set whether to display the confirmation dialog upon exiting the main window.
|
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 |
setHideIntermediateProofsteps(boolean hide) |
void |
setHidePackagePrefix(boolean hide) |
void |
setMaxTooltipLines(int b)
Sets maxTooltipLines
|
void |
setNotifyLoadBehaviour(boolean show) |
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 |
setUsePretty(boolean usePretty) |
void |
setUseSyntaxHighlighting(boolean useSyntaxHighlighting) |
void |
setUseSystemLaF(boolean b)
Sets the system look and feel option.
|
void |
setUseUnicode(boolean useUnicode) |
int |
sizeIndex() |
boolean |
useSystemLaF()
Are system look and feel activated?
|
void |
writeSettings(java.lang.Object sender,
java.util.Properties props)
implements the method required by the Settings interface.
|
private static final java.lang.String MAX_TOOLTIP_LINES_KEY
private static final java.lang.String SHOW_WHOLE_TACLET
private static final java.lang.String FONT_INDEX
private static final java.lang.String HIDE_INTERMEDIATE_PROOFSTEPS
private static final java.lang.String HIDE_AUTOMODE_PROOFSTEPS
private static final java.lang.String HIDE_CLOSED_SUBTREES
private static final java.lang.String USE_SYSTEM_LAF
private static final java.lang.String SHOW_JAVA_WARNING
private static final java.lang.String PRETTY_SYNTAX
private static final java.lang.String USE_UNICODE
private static final java.lang.String SYNTAX_HIGHLIGHTING
private static final java.lang.String HIDE_PACKAGE_PREFIX
private static final java.lang.String CONFIRM_EXIT
private static final java.lang.String HEATMAP_OPTIONS
private int maxTooltipLines
private boolean showWholeTaclet
private int sizeIndex
private boolean hideIntermediateProofsteps
private boolean hideAutomodeProofsteps
private boolean hideClosedSubtrees
private boolean useSystemLaF
private boolean notifyLoadBehaviour
private boolean usePretty
private boolean useUnicode
private boolean useSyntaxHighlighting
private boolean hidePackagePrefix
private boolean confirmExit
private boolean showUninstantiatedTaclet
private boolean showHeatmap
private boolean heatmapSF
private boolean heatmapNewest
private int maxAgeForHeatmap
private java.util.LinkedList<SettingsListener> listenerList
public int getMaxTooltipLines()
public void setMaxTooltipLines(int b)
b
- The new value for maxTooltipLinespublic 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()
public void setUseSystemLaF(boolean b)
public boolean getNotifyLoadBehaviour()
public void setNotifyLoadBehaviour(boolean 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 void readSettings(java.lang.Object sender, java.util.Properties props)
readSettings
in interface Settings
props
- the collection of propertiespublic void writeSettings(java.lang.Object sender, java.util.Properties props)
writeSettings
in interface Settings
props
- the Properties object where to write the settings as (key,
value) pairprotected void fireSettingsChanged()
public void addSettingsListener(SettingsListener l)
addSettingsListener
in interface Settings
l
- the listenerpublic void removeSettingsListener(SettingsListener l)
l
- the listener to removepublic boolean isUsePretty()
public void setUsePretty(boolean usePretty)
public boolean isUseUnicode()
public void setUseUnicode(boolean useUnicode)
public boolean isUseSyntaxHighlighting()
public void setUseSyntaxHighlighting(boolean useSyntaxHighlighting)
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()