mirror of
https://git.tartarus.org/simon/putty.git
synced 2025-07-18 11:31:00 -05:00

The new font name configured by the keystrokes was missing its "client:" or "server:" prefix, which could have led to the selection of the wrong font in rare situations.