Open brccabral opened 6 months ago
You can use "better-comments.tagsLight"
for light theme, and "better-comments.tagsDark"
for dark theme. It's totally same as you want.
Is there any priority between them or do I have to use both? Some projects I use light, others I use dark... If I am using dark, can I just set the "tagsLight"?
Is there any priority between them
No, depends what kind of theme are you using.
Some projects I use light, others I use dark... If I am using dark, can I just set the "tagsLight"?
If you switch themes, you should set both to effect both.
If I need to add a new tag, I need to have all default tags defined too, if not, the default tags won't highlight. So, I would like to suggest a new setting,
better-comments.user_tags
, by default empty, but if present it will add to the search, not replace it. CurrentlyFeature request: