How can I set the font size in the embedded terminal in the JetBrains PhpStorm IDE? The text is too small. Is this possible?
Answer
LazyOne already pointed out where you can change this.
Keep in mind that you have to hit the "Save As..." button next to the colour scheme first in order to create a new colour theme - you cannot change anything unless you create a copy.
PHPStorm protip - if you can't find the settings, just use the search field:
