Add a settings panel where users can choose their preferred font for the editor.
Expected behavior:
Option to choose between monospace and proportional fonts
Changes apply live without restarting the app
Preference is saved between sessions
Why: Font preferences are highly personal. Developers typically prefer monospace fonts, while casual users may prefer something else.
Add a settings panel where users can choose their preferred font for the editor.
Expected behavior:
Option to choose between monospace and proportional fonts
Changes apply live without restarting the app
Preference is saved between sessions
Why: Font preferences are highly personal. Developers typically prefer monospace fonts, while casual users may prefer something else.