Terry J. Reedy <tjre...@udel.edu> added the comment:

After writing the above, I realized that line scroll only touches editor.py, 
not codecontext.py.  On the other hand, the next item, 8. jump to context line 
did have to wait.  Replacing Label with Text will require explicit height 
setting with each context change.  The click handler will be a simplified 
version of the scroll handler you just wrote.  Jumping to a line will look much 
better when it jumps to a whole rather than a fractional line.  Again, one of 
us should say something before starting.

----------

_______________________________________
Python tracker <rep...@bugs.python.org>
<https://bugs.python.org/issue33610>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

Reply via email to