IDEs Support (IntelliJ Platform) | JetBrains

Jgr

Follow New posts New posts and comments

Total activity 4
Last activity April 15, 2018 09:37
Member since April 14, 2018 15:12
Following 0 users
Followed by 0 users
Votes 1
Subscriptions 1

Jgr commented, April 15, 2018 09:37
Hi Andrey Dernov. Thanks for the feedback. Sometimes I can't copy and paste in the IDE editor. How to reproduce? I don't know. Right now, from the feedback of other users, I'm trying to avoid using...
- 0 votes
Jgr commented, April 14, 2018 15:15
Really annoying! I don't have vim plugin installed, but I open vi in terminal sometimes. Afterwards, the copy and paste become unreliable. The solution is not use Intellij terminal.
- 0 votes