IDEs Support (IntelliJ Platform) | JetBrains

Rod Pullmann

Total activity 3
Last activity June 12, 2018 15:41
Member since June 11, 2018 19:58
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 1

Rod Pullmann commented, June 12, 2018 15:41
Thanks, Dmitry. I've actually submitted this as a YouTrack item, and will follow through there instead through the forum.
- 1 vote
Rod Pullmann commented, June 11, 2018 19:58
Thanks, Damon, for your thoughtfulness -- it's nice when folks share things online for the benefit of others. Unfortunately, your solution didn't work for me. The server was already set as the de...
- 3 votes