Skip to content

Fix updating highlighting prefs not updating editor#1278

Merged
vkbo merged 2 commits intopatchfrom highlighter_settingsDec 1, 2022

Commits