IDEs Support (IntelliJ Platform) | JetBrains

R Rudnev

Total activity 2
Last activity May 04, 2018 12:46
Member since May 04, 2018 12:46
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 1

Created May 04, 2018 12:46

I've got to add one more trick which I've recently discovered: you can create a new Terminal Tab (Ctrl-Shift-T while in terminal) and drag the tab header to the editor area, just making it a "norma...
- 0 votes