IDEs Support (IntelliJ Platform) | JetBrains

Brad Karels

Total activity 3
Last activity September 09, 2016 15:18
Member since September 09, 2016 15:14
Following 0 users
Followed by 0 users
Votes 1
Subscriptions 1

Created September 09, 2016 15:18

I too am having this issue and it is quite the annoyance. For heavy terminal users not having Ctrl makes the IDEA terminal mostly useless. This seems a silly issue to not fix immediately consider...
- 0 votes