Menu
This is currently what my terminal looks like in idea. I've tried Jacking up and down the Line spacing property in Settings > Editor > Color Scheme > Console Font I've tried it with Meslo LG L DZ and Consolas and it there is no change to line spacing with either.
Is there something I'm missing about changing the look of the terminal?
Also, here is all the relevant info about my idea installation:
IntelliJ IDEA 2018.3.4 (Ultimate Edition)
Build #IU-183.5429.30, built on January 28, 2019
Licensed to IntelliJ IDEA Evaluator
Expiration date: March 21, 2019
JRE: 1.8.0_152-release-1343-b26 amd64
JVM: OpenJDK 64-Bit Server VM by JetBrains s.r.o
Windows 10 10.0
844
This performs the same function as your operating system’s terminal or command feature, but using the terminal inside IntelliJ IDEA has a number of benefits. In this example we have a simple Spring Boot application that needs a running MongoDB database. We can open the terminal window with ⌥F12 on macOS, or Alt + F12 on Windows and Linux.
With IntelliJ IDEA, you can set up line separators (line endings) for newly created files, and change line separator style for existing files. In the Settings/Preferences dialog (Ctrl+Alt+S), go to . From the Line separator list, select the desired line separator style.
By default, IntelliJ IDEA uses the Darcula theme, unless you changed it during the first run. This is no secret. To change it, open the Settings / Preferences dialog and select Appearance & Behavior | Appearance.
The Terminal saves tabs and sessions when you close the project or IntelliJ IDEA. It preserves tab names, the current working directory, and even the shell history. To close a tab, click on the Terminal toolbar or right-click the tab and select Close Tab from the context menu.
In the recently released IntelliJ IDEA version 2019.3 this works. I did a short test and could see the effect of changing the line spacing. I also could see "Fix versions" in the issue mentioned in CrazyCoder's comment is set to 2019.3.
195
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With
