[issue24745] Better default font for editor

Terry J. Reedy report at bugs.python.org
Thu Jul 30 05:38:07 CEST 2015


Terry J. Reedy added the comment:

In your online tutorial, your recommend
  root.option_add('*tearOff', FALSE)
Why not here, and be covered everywhere, and in the future?
Or is this needed for each Toplevel?

----------

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue24745>
_______________________________________


More information about the Python-bugs-list mailing list