Nice work! Looks snazzy.
The font-related settings don't work on my machine, for a few reasons in
NumberBar.__init__:
- "gutter_font_slant" is not "gutter_font_style"
- "gutter_font_size" is completely ignored by
LeoQtGui.getFontFromParams, because strings with 'px' or 'pt' don't cast
to an int, meaning it defaults to c.config.defaultBodyFontSize
- c.config.getFontFromParams doesn't do dereferencing, so "@string
gutter-font-family = @font-family" will try to create a font of the
family "@font-family", rather than the value of @font-family, etc.
By using absolute values instead of dereferenced values, I was able to
get everything but the size working -- that still defaults to
c.config.defaultBodyFontSize.
Thanks,
-->Jake
On 7/1/2015 9:45 AM, Edward K. Ream wrote:
This completes #186
<https://github.com/leo-editor/leo-editor/issues/186>: Left Gutter
Line numbers
To disable, set @bool use_gutter = False
Here are the new settings in leoSettings.leo, with defaults as shown::
|
@booluse_gutter =True
@colorgutter-bg =@LightSteelBlue1
@colorgutter-fg =black
@intgutter-w-adjust =12
@intgutter-y-adjust =10
@stringgutter-font-family =@font-family
@stringgutter-font-size =@small-font-size
@stringgutter-font-style =@font-style
@stringgutter-font-weight =@font-weight
|
The w/y adjust settings are kludges that depend on the font size.
--
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 leo-editor+unsubscr...@googlegroups.com
<mailto:leo-editor+unsubscr...@googlegroups.com>.
To post to this group, send email to leo-editor@googlegroups.com
<mailto:leo-editor@googlegroups.com>.
Visit this group at http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
--
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 leo-editor+unsubscr...@googlegroups.com.
To post to this group, send email to leo-editor@googlegroups.com.
Visit this group at http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.