Disable Custom Highlight with Checkbox

[2547techno]

Currently, the only way to disable a custom highlight is to delete the highlight entirely, while the default highlights can be toggled with a checkbox.

The suggestion is to add a checkbox for custom highlights as well so they can be disabled without deletion.

[Mm2PL]

Just add !NO or something in the meantime or a regex that never matches anything like ^$disabled highlight text goes here.

[8thony]

• feat: rework highlights & their UI #6695 has added this functionality.