Home
IDEs Support (IntelliJ Platform) | JetBrains
Submit a request
Community
Sign in
Josh Wiechman
Follow
New posts
New posts and comments
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
Activity overview
Posts (0)
Comments (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...
Community
IntelliJ IDEA Users
Change file association manually
0 votes