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.
