Petr Viktorin added the comment:
buggy:
configuredFont: ('DejaVu Sans Mono', 0, 'normal')
fontSize: 0
good:
configuredFont: ('courier', 10, 'normal')
fontSize: 10
----------
_______________________________________
Python tracker <[email protected]>
<http://bugs.python.org/issue26673>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe:
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
