This affects only the line_numbering.py plugin. The code in question is in
Leo's core: NumberBar.paintBlock.
Something strange is happening. My traces show the expected width values
(I think), but the enabled x value causes shorter line numbers to be
centered in the field, instead of right justified. Maybe there a simple
explanation, but I haven't found it.
You received this message because you are subscribed to the Google Groups
To unsubscribe from this group and stop receiving emails from it, send an email
To post to this group, send email to email@example.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.