Revision history [back]
The font may be changed via the User Interface > Fonts page of the Preferences dialog.
The font may be changed change via the User Interface > Fonts page of the Preferences dialog.
The font may be changed via the User Interface > Fonts page of the Preferences dialog.
The font may be changed change via the User Interface > Fonts page of the Preferences dialog.