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.