How to change the font size in DataGrip's terminal?
已回答
Not the builtin console,
the terminal installed via the official plugin which adds the (View > Tool Windows > Terminal) option.
请先登录再写评论。
You can change the font size by following these steps:
Anastasia Zhukova
Works perfectly, thanks!
Is there a way to attach size+=1, size-=1 for console font specifically to a keyboard shortcut? (macOS)
andr0n1x, I'm afraid not.
There are shortcuts for the Zoom option, but it might not be exactly what you need since it zooms all the fonts within the IDE:
Anastasia Zhukova
Well, beats having to open the settings to change the font size at least (since all other windows can be resized back using pinch to zoom)
Something weird though: control+option+= and control+option+0 work but control+option+- doesn't for some reason
Thanks!
Could you check that the Zoom In IDE and Zoom Out IDE keymaps are assigned correctly in Settings > Keymap (see Configure keyboard shortcuts and Troubleshooting problems with keyboard shortcuts)?