Ctrl+mouse wheel is known function used in browsers, office suits... Change font size is placed in the menu format, cause same placement was in office apllications and editors too
-- <https://forum.pspad.com/read.php?2,77313,78341> PSPad freeware editor https://www.pspad.com
