The text 7b20ec15a6eb, as Debian 7 (Wheezy) shipped it.
Bottom-right corner resize widget
ttk::sizegrip(3tk) on Linux now