May I humbly suggest Ctrl-+ and Ctrl--, like so many other editors and
web browsers? Unless those already have default keybindings that I'm
unaware of.
Also, does this work with the default theme?
-->Jake
On 4/11/2013 12:46 AM, Terry Brown wrote:
I just pushed two new commands, zoom-in and zoom-out, which increase
or decrease the body text font size by one point size. They probably
deserve default bindings, but to what? I have them on Ctrl-; and Ctrl-'
They leverage the new theme "engine" by manipulating a constant
"@font-size-body". I've set it up in the default theme, anyone using
the new dark theme will need to add
@font-size-body = 18px
in the config node for that theme,
@settings-->solarized_dark theme settings-->stylesheet & source-->config
and replace the literal "18px" with "@font-size-body" in the node
@settings-->solarized_dark theme settings-->stylesheet & source-->Non-color styles
(fonts etc.)-->body editor
Cheers -Terry
--
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 http://groups.google.com/group/leo-editor?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
