Dear gretl-users, I wanted to share a useful feature that I recently discovered in Gretl. You can now increase and decrease the font size using the keystrokes "Ctrl + '+'" to enlarge and "Ctrl + '-'" to reduce the font size. This functionality currently works in both the editor window and the output window, making it easier to read and work with your data. However, please note that this feature does not yet apply to the main window. I believe this addition enhances the user experience significantly, and I wanted to make sure everyone is aware of it. If you haven't tried it yet, I encourage you to give it a go! Best, Artur