really, this time.

commit log:

  zoom-in / zoom-out commands
  
  ctrl-mouse wheel scrolling for same
  
  replace old focused pane border highlight with pure stylesheet
  version
  
  rename solarized_dark theme leo_dark_0

Edward, and anyone else using

  @bool use_focus_border = True

this no longer does anything...

now you need to edit

  @data qt-gui-plugin-style-sheet

and change

  @focused-border-style = none

to

  @focused-border-style = solid

for the default theme, if you're using the dark theme, now known as
leo_dark_0, same deal but after editing as above remember to select
and run the 'stylesheet & source' node of that theme.

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.


Reply via email to