Things that might help:
Try changing the font size after choosing a different font.
Verify the new font is indeed selected by going into the options again and seeing what font is selected.
Try going to the main menu and back, and check the font selection again.
Try manually selecting the encoding type in options and repeat previous actions to detect/trigger the changes.
|