Please consider having the compiler messages tab respond to zoom=ctrl+mouse-wheel
as does the text edit area as the ability to zoom the text in the main window
is really useful Thanks!

—
Reply to this email directly or view it on GitHub.