Further improvements to widgets.py (scrolling text; wxPython doc references)