mirror of
https://git.tartarus.org/simon/putty.git
synced 2025-07-28 00:10:39 -05:00

filter checkboxes to filter the currently selected font out of the family list and then does something in one of the other list boxes or the size edit box. [originally from svn r7990]