I installed python 3.8 just to play with it a little and discovered that 
Leo themes dont work as expected,

With py3.7 I have fixed-sized fonts of appropriate size but when starting 
with py3.8 all fonts have different size and family
(the worst thing - they are of variable sizes so formatting of python code 
becomes a pain).

What this can be concerned with?

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/5b7f767a-eef6-4921-bba8-3e4d180606c6%40googlegroups.com.

Reply via email to