Make virtual text priority configurable (and default to 1000)#82
Merged
andersevenrud merged 2 commits intoandersevenrud:masterfrom Jul 14, 2025
Merged
Make virtual text priority configurable (and default to 1000)#82andersevenrud merged 2 commits intoandersevenrud:masterfrom
andersevenrud merged 2 commits intoandersevenrud:masterfrom