After changing setting and closing settings window opened files are not refreshed with new highlighting. You need to modify file to see updated highlighting.
Based on comment From ticket #84 :
If I had to change anything it would be to refresh open files after checkbox value changed (and Apply or Ok button was clicked). This was the root problem that finally lead to open this issue.
After changing setting and closing settings window opened files are not refreshed with new highlighting. You need to modify file to see updated highlighting.
Based on comment From ticket #84 : If I had to change anything it would be to refresh open files after checkbox value changed (and Apply or Ok button was clicked). This was the root problem that finally lead to open this issue.