Option for editing the size of texts displayed on the screen

As of version 2025.b, the size of the texts displayed on the screen in the work area can be edited.

The "View options" window includes the "Text size" section, where users can vary the size using a percentage, with 100% being the default size.