anatoly techtonik <techto...@gmail.com> added the comment: That just proves that side menu is not very useful. When I need to jump to a sibling paragraph I usually click the rightmost entry in top bar. It takes two clicks to get there and one page reload instead of one.
Perhaps the ToC menu could be expanded using JS and some keyboard shortcut for convenience. ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue9106> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
