IDEs Support (IntelliJ Platform) | JetBrains

Josh Wiechman

Total activity 2
Last activity March 24, 2018 00:06
Member since March 24, 2018 00:06
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 1

Josh Wiechman commented, March 24, 2018 00:06
Changing the editor settings for FileTypes seems like a strange way to address one file somehow not matching the appropriate file type. Something seems to be overriding the setting matcher in the p...
- 0 votes