IDEs Support (IntelliJ Platform) | JetBrains

MG

Total activity 5
Last activity December 30, 2022 17:53
Member since July 26, 2021 12:43
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 2

MG commented, December 30, 2022 17:53
Dec 2022, 2 days away from it being 2023 and this issue is still happening ! Thanks for the solutions discussed here they still fix the problem
- 0 votes
MG commented, July 27, 2021 08:47
Thanks, that works as expected/desired
- 0 votes
MG commented, July 26, 2021 12:43
I too have the same issue and I hop this image helps The Insertion point is at the word foo in line 4 The highlighted word foo on line 6 does not obey either of the 3 customised settings visible in...
- 0 votes