Tal Einat <talei...@gmail.com> added the comment:
Regarding point #4, scrolling by dragging the scrollbar, note that the current PR for adding line numbers (GH-14030) does effectively the same when dragging on the line numbers to select lines. Therefore, if/when that PR is merged, this will become more common. ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue37559> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
