On Thu, 11 Apr 2013 08:28:59 -0400 Jacob Peck <[email protected]> wrote:
> 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. Ctrl-- is replace... > Also, does this work with the default theme? Yes, out of the box only with the default theme, you need to make the minor edits I described below to get it working in the dark theme. Cheers -Terry > -->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.
