| 1 | """A ScrolledText widget feels like a text widget but also has a |
| 2 | vertical scroll bar on its right. (Later, options may be added to |
| 3 | add a horizontal bar as well, to make the bars disappear |
| 4 | automatically when not needed, to move them to the other side of the |