IDEs Support (IntelliJ Platform) | JetBrains

Ted Tenedorio

Follow New posts New posts and comments

Total activity 2
Last activity August 05, 2019 20:27
Member since August 05, 2019 20:27
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 1

Ted Tenedorio commented, August 05, 2019 20:27
Hi there. Reviving this thread after 13+ years because I found a legitimate need for this feature. Not just a 'bug' with plugin initialization. My use case revolves around having to switch among mu...
- 7 votes