Ticket #1298 (closed defect: fixed)
Changing font in preferences is not applied to existing editors
| Reported by: | dolmen | Owned by: | |
|---|---|---|---|
| Priority: | blocker | Milestone: | |
| Component: | Preference System | Version: | 0.93 |
| Keywords: | font preference | Cc: |
Description
When the font is changed using the preference dialog, the new font is only applied to editors created after that change. Existing editors are not updated.
Change History
comment:2 Changed 18 months ago by sugar
Confirm this bug.
Padre - 0.92.
Cannot change font (size and type) via Tools->Preferences->Appearance, 'Editor font'. Settings are saved but visually nothing changes.
comment:3 Changed 16 months ago by adamk
- Status changed from new to closed
- Resolution set to fixed
All changes driven by the Preferences dialog are now applied via the Padre::Config::Apply system (so this logic can be shared with other subsystems such as Preferences Sync).
Added apply methods for editor_font and editor_currentline_color so the Preferences dialog can apply these settings correctly.
Note: See
TracTickets for help on using
tickets.

r17563
As Prefs->Editor font dose not work, reduced default font size to 9, so as to see a normal line on a 1024x768 monitor