-
Martin v. Löwis yazdı
avoid hard-coding pixel widths. Also make the text's scrollbar a child of the text frame, not the top widget.
4ebbefe6
To find the state of this project's repository at the time of any of these versions, check out
the tags.
avoid hard-coding pixel widths. Also make the text's scrollbar a child of the text frame, not the top widget.