search

TobyLobster / Inform

Inform is a design system for interactive fiction based on natural language
Other
82 stars 18 forks source link

Editing the font family preferences often does nothing in 1.81 (1.81.0) #14

Closed bryanrieger closed 2 years ago

bryanrieger commented 2 years ago

When changing the font in Preferences > Editing > Font family to something like 'Menlo' (or other fonts available by default with macOS) no visible change is reflected despite the font name being reflected in the preference.

I can only currently change it to Monaco, Geneva, Georgia, Helvetica, Impact, Lucida Grande (default), Tahoma, and Verdana. All other fonts will display as Lucida Grande, even though their font family name is reflected in the preference.

TobyLobster commented 2 years ago

Thank you for the report. The problem should be fixed in the upcoming release.