In the following table, truth value
denotes
true (on, yes, 1
are treated as synonyms) and false (off,
no, 0 are treated as synonyms).
| Option name | Accepted values | description |
|---|---|---|
currentInsertMode |
trivial, ucd, content, additional ones if further insert modes are present |
When switching to insert mode, this insert mode will be chosen. The edit mode has a command that quickly switches along insert modes (usually &tab;). All this command does is changing this option. |
detailedErrors |
truth value | When activated, shows a stack backtrace along with error messages. This is very useful for developers to locate a bug in Gemse. |
pragmaticContent |
truth value | When activated, pragmatic content is used where possible. This affects mostly the content insert mode that is able to generate both, pragmatic and strict content MathML in some cases. If set to false, content MathML will be prefered. |
selectableInsertModes |
A comma seperated list (no whitespaces before and after
commas) of values trivial, ucd,
content, additional ones if further insert modes are present |
In edit mode, there is a command to quickly switch the insert mode (usually bound to &tab;). This command only switches to insert modes listed in this option. |
SourceView.foldingDepth |
-1 or any bigger integer |
The source view only shows elements to this depth, relative to
the element where the view starts. The special value -1 causes
the source view to show all elements from the starting point to
the leaves. |
SourceView.foldingStart |
1, 0 or any negative integer |
When set to 0, the source view starts at the
element under the cursor. If set to -n, it starts at the n-th
ancestor of the element under the cursor. If set to
1, the view starts at the root element of the
equation. |
SourceView.foldingKeepIndentation |
truth value | When activated, prevents that the indentation level of an element changes when the topmost displayed element of the source view changes. |
SourceView.indentation |
a string | The SourceView puts this string at the beginning of every line as many times as the level of indentation. |
SourceView.showAttributes |
truth values | Controls wheter attributes are shown in the source view. |
SourceView.syntaxHighlighting |
truth value | Activates special styling of the syntax in the source view. The
styling itself is controlled in the CSS file
gemse.css. |