|
| |
|
| java.lang.Object
 de.uka.ilkd.key.gui.configuration.ViewSettings
| ViewSettings | | public class ViewSettings implements Settings(Code) | | This class encapsulates information about:
1) relative font size in the prover view
2) the maximal number of lines a tooltip with instantiated SchemaVariables
is allowed to have. If this number is exceeded no SchemaVariables get
instantiated in the displayed tooltip.
3) wether intermediate proofsteps should be hidden in the proof tree view
|
| Field Summary | |
| static Logger | logger
|
| logger | | static Logger logger(Code) | | |
| addSettingsListener | | public void addSettingsListener(SettingsListener l)(Code) | | adds a listener to the settings object
Parameters:
l - the listener |
| fireSettingsChanged | | protected void fireSettingsChanged()(Code) | | sends the message that the state of this setting has been
changed to its registered listeners (not thread-safe)
|
| getHideIntermediateProofsteps | | public boolean getHideIntermediateProofsteps()(Code) | | true iff intermediate proofsteps should be hidden |
| getMaxTooltipLines | | public int getMaxTooltipLines()(Code) | | the current maxTooltipLines |
| getShowWholeTaclet | | public boolean getShowWholeTaclet()(Code) | | returns whether the Find and VarCond part of Taclets should be
pretty-printed with instantiations of schema-variables or not
true iff the find part should be pretty-printed instantiated |
| readSettings | | public void readSettings(Properties props)(Code) | | 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
Parameters:
props - the collection of properties |
| setFontIndex | | public void setFontIndex(int b)(Code) | | Sets FontIndex
Parameters:
b - The new value for SizeIndex |
| setHideIntermediateProofsteps | | public void setHideIntermediateProofsteps(boolean hide)(Code) | |
Parameters:
hide - Wether intermediate proofsteps should be hidden |
| setMaxTooltipLines | | public void setMaxTooltipLines(int b)(Code) | | Sets maxTooltipLines
Parameters:
b - The new value for maxTooltipLines |
| setShowWholeTaclet | | public void setShowWholeTaclet(boolean b)(Code) | | Sets whether the Find and VarCond part of Taclets should be
pretty-printed with instantiations of schema-variables or not
Parameters:
b - indicates whether the Find and VarCond part of Taclets shouldbe pretty-printed with instantiations of schema-variables ornot |
| sizeIndex | | public int sizeIndex()(Code) | | the current sizeIndex |
| writeSettings | | public void writeSettings(Properties props)(Code) | | implements the method required by the Settings interface. The settings
are written to the given Properties object. Only entries of the form
=(, )* are allowed.
Parameters:
props - the Properties object where to write the settings as (key,value) pair |
|
|
|