A set of Tkinter widgets for handling display of readonly text (including code)