https://plugins.jetbrains.com/plugin/12895-better-highlights

https://plugins.jetbrains.com/plugin/12895-better-highlights

Last synced: 4 months ago
JSON representation