Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Set terminal font size in PhpStorm?

Tags:

phpstorm

How can I set the font size in the embedded terminal in the JetBrains PhpStorm IDE? The text is too small. Is this possible?

like image 957
Aviv Cohn Avatar asked Jul 15 '15 16:07

Aviv Cohn


People also ask

How do I change font size in PHPStorm terminal?

Customize the console fontPress Ctrl+Alt+S to open the IDE settings and select Editor | Color Scheme | Console Font.

What is PHPStorm default font?

Yes, JetBrains Mono is a font produced by the company responsible for the awesome IDEs PHPStorm and WebStorm among other softwares.

How do I increase font size in TTY?

To adjust the font/font-size used for the TTY, run sudo dpkg-reconfigure console-setup , which will guide you through the steps to choose a font and font-size: Choose the default UTF-8 , and press Tab to go highlight OK and then press Enter to go to the next step.


2 Answers

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:

enter image description here

like image 168
h2ooooooo Avatar answered Sep 17 '22 14:09

h2ooooooo


Another alternative is hitting CTRL/CMD+Shift+A and searching console:

enter image description here

After setting the font, rebooting is not necessary, just close then open a new terminal as shown here:

enter image description here

like image 34
Stephen Raghunath Avatar answered Sep 18 '22 14:09

Stephen Raghunath