public class ViewSettings extends Object implements Settings, Cloneable
Modifier and Type | Field and Description |
---|---|
private static String |
CONFIRM_EXIT |
private boolean |
confirmExit
confirm exiting by default
|
private static String |
FONT_INDEX |
private static String |
HIDE_AUTOMODE_PROOFSTEPS |
private static String |
HIDE_CLOSED_SUBTREES |
private static String |
HIDE_INTERMEDIATE_PROOFSTEPS |
private static 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 LinkedList<SettingsListener> |
listenerList |
private static String |
MAX_TOOLTIP_LINES_KEY |
private int |
maxTooltipLines
default max number of displayed tooltip lines is 40
|
private boolean |
notifyLoadBehaviour |
private static String |
PRETTY_SYNTAX |
private static String |
SHOW_JAVA_WARNING |
private static String |
SHOW_WHOLE_TACLET |
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 fontsize
|
private static String |
SYNTAX_HIGHLIGHTING |
private static String |
USE_SYSTEM_LAF |
private static 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 |
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 |
isHidePackagePrefix() |
boolean |
isUsePretty() |
boolean |
isUseSyntaxHighlighting() |
boolean |
isUseUnicode()
Use Unicode Symbols is only allowed if pretty syntax is used
|
void |
readSettings(Object sender,
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 |
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(Object sender,
Properties props)
implements the method required by the Settings interface.
|
private static final String MAX_TOOLTIP_LINES_KEY
private static final String SHOW_WHOLE_TACLET
private static final String FONT_INDEX
private static final String HIDE_INTERMEDIATE_PROOFSTEPS
private static final String HIDE_AUTOMODE_PROOFSTEPS
private static final String HIDE_CLOSED_SUBTREES
private static final String USE_SYSTEM_LAF
private static final String SHOW_JAVA_WARNING
private static final String PRETTY_SYNTAX
private static final String USE_UNICODE
private static final String SYNTAX_HIGHLIGHTING
private static final String HIDE_PACKAGE_PREFIX
private static final String CONFIRM_EXIT
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 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
- Wether closed subtrees should be hiddenpublic void readSettings(Object sender, Properties props)
readSettings
in interface Settings
props
- the collection of propertiespublic void writeSettings(Object sender, 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)