It may be a setting unique to Petr’s system, with a non-US default language set, or a non-default keyboard setup. Whatever it is doesn’t seem to occur on most systems, which is a good thing, but it’s going to take several more people using the console before the problem is narrowed down and sorted out.
As it is, I’m just happy that it’s working as intended on as many systems as it is. There’s always something which requires debugging in code, especially in unusual user-case systems, so I’d consider the improvements a nice upgrade for now, but users should know altering fonts may not be possible on all systems.
Heck, it may even be a user permission issue, or an antivirus issue which is stopping the console font change... Without more, reproducible error reports, I just don’t have a clue what to dig into to debug the problem. All I can say at this point is, “It seems to work on my system, your systems, your sister’s systems, and not his.”
Just keep in mind, changing console font settings from their default settings may not work on all machines. If you’re coding in a local environment (like for your personal use at home or work), you can test the code and if it works, it works. If you’re going to code a console program to sell for use on various user machines, then I wouldn’t just assume font changes will work on all systems.
For personal use, I’d *always* change the font size so my poor old eyes wouldn’t be strained reading the screen. If I was coding for a client, however, I’d probably leave it up to them to change their console font manually, since I know it’s not always reliable under all circumstances, and I don’t know what those exception conditions are.