This enhancement provides a menu action beneath the View menu that allows the user to Adjust Edit Fonts. This action brings up a new window, titled Edit Font Preferences. This window allows the user to separately adjust the Font used, as well as the Font size, for three different types of UI elements:
- Field Labels
- Code Values (including Links)
- Text Values (for all other values)
This new window provides the user with more fine-grained controls for adjusting the appearance of the Edit tab, in addition to the existing View options for adjusting the overall font size.
See the Notenik Knowledge Base for details.