IDEs Support (IntelliJ Platform) | JetBrains

Ted Tenedorio

Follow New posts New posts and comments

Total activity 3
Last activity July 14, 2021 15:28
Member since August 05, 2019 20:27
Following 0 users
Followed by 0 users
Votes 1
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...
- 9 votes