Terry J. Reedy <tjre...@udel.edu> added the comment:
I now think that the proper widget for font resizing might be a ttk.Spinbox (but see below). #33962 discusses issues around using this widget. #33397 is about adding local font resizing with hot key or mousewheel to text and help viewers via a new FontSizer class. Font Sizer should be usable with the sample Text instance. Size changes in the sample should propagate to the size widget. When done, it might suffice to use a simple entry box for font size. We already use them for counts on the General tab. Since we do not want to encourage indent changes, I think the indent widget should be an entry box with bounds check. ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue24776> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
