Leo's print-setting command is now a joy to behold:
- Added explanation of "@" in legend.
- Added type of setting `@data`, `@string`, etc.
Why was this never done before??
- Much improved formatting of `@data` nodes containing fewer than 20
non-comment lines.
It is amazing how useful this is.
- Don't show values of settings that have `<xml>`(tree) values.
This was the original motivation for this item.
Some examples:
@data abbreviationssubstenv = <209 non-comment lines>
@data bookmarksmodifiers =
[
None goto_bookmark
AltControl update_bookmark
ControlShift rename_bookmark
Alt edit_bookmark
Control delete_bookmark
Shift add_child
AltShift navigate
AltControlShift hoist
]
[M] @data fixedwindowposition =
[
1200
800
50
50
]
@data qtscintillastyles =
[
black, ClassName
black, FunctionMethodName
black, HighlightedIdentifier
black, Identifier
blue, Keyword
black, Number
black, Operator
]
@data richtextckeconfig =
[
{toolbar: [
{ name: 'document', groups: [ 'mode', 'document', 'doctools' ],
items: [ 'Source' ] },
{ name: 'clipboard', groups: [ 'clipboard', 'undo' ], items: [
'Cut', 'Copy', 'Paste', 'PasteText', 'PasteFromWord', '-', 'Undo', 'Redo' ]
},
{ name: 'editing', groups: [ 'find', 'selection', 'spellchecker' ],
items: [ 'Scayt' ] },
{ name: 'styles', items: [ 'Styles', 'Format' ] },
{ name: 'tools', items: [ 'Maximize' ] },
{ name: 'others', items: [ '-' ] },
{ name: 'about', items: [ 'About' ] },
'/',
{ name: 'basicstyles', groups: [ 'basicstyles', 'cleanup' ], items:
[ 'Bold', 'Italic', 'Underline', 'Strike', '-', 'RemoveFormat', "TextColor",
"BGColor" ] },
{ name: 'justification', items: ["JustifyLeft", "JustifyCenter"
, "JustifyRight", "JustifyBlock" ] },
{ name: 'paragraph', groups: [ 'list', 'indent', 'blocks', 'align'
], items: [ 'NumberedList', 'BulletedList', '-', 'Outdent', 'Indent', '-',
'Blockquote' ] },
{ name: 'links', items: [ 'Link', 'Unlink', 'Anchor' ] },
{ name: 'insert', items: [ 'Image', 'Table', 'HorizontalRule',
'SpecialChar' ] }
]}
]
Edward
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
