◐ Shell
clean mode source ↗

Message 299820 - Python tracker

Yes, if nothing else, we can use ttk.OptionMenu. #24776 is about the font tab specifically, including possibly using a spinbox for font size. #24781 is about Highlights tab.  Whatever we do with theme selection we will probably copy for keyset selection.