Skip to content

Only notify option change to initialised editors#832

Merged
AlexPl292 merged 3 commits intoJetBrains:masterfrom citizenmatt:bugfix/options-initialisationFeb 23, 2024

Commits

Commits on Feb 23, 2024