### Feature hasn't been suggested before. - [x] I have verified this feature I'm about to request hasn't been suggested before. ### Describe the enhancement you want to request Sure, setting font size might be nice, but also allowing CTRL+mousewheel, CTRL++, CTRL+- shortcuts.
Activity
github-actions commentedon May 8, 2026
This issue might be a duplicate of existing issues. Please check:
If your request covers new ground or is distinct from the above, please clarify how it differs.
github-actions commentedon Jul 7, 2026
To stay organized issues are automatically closed after 60 days of no activity. If the issue is still relevant please open a new one.