I have a problem, the text size is too small to read and manipulate in mysql workbench

hi guys
in the text content area, in the area i circled in red i couldn’t figure out how to increase the size of the content , you can see , the text content is too small to read , i really have a lot of vision problems to read this little piece of content.


i have fiddled with settings → edit–>preferences–>font/color, however there is no option to increase the font size for this.
Could you please tell me how to solve this problem in mysql workbench