On Thu, Apr 11, 2013 at 7:28 AM, 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
I can't find the thread, but I thought we once discussed reducing the number of bindings defined by default. running <alt-x> print-bindings makes it clear why it's a challenge to identify unused bindings. Maybe each binding has users, but I would expect that most don't. Is anyone depending on alt-ctrl-a = toggle-find-wrap-around-option ? The fewer bindings out of the box, the easier it is for folks extending Leo. I think a painless way to simplify Leo would be to have a more concise set of default bindings. Thanks, Kent 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. > > -- 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.
