Closed clutcher closed 10 months ago
Asked by user in https://plugins.jetbrains.com/plugin/12895-better-highlights/reviews#review=90750
Asked by user in https://plugins.jetbrains.com/plugin/12895-better-highlights/reviews#review=90750