chore: some refactorings due to new features in scintilla#5536
Merged
RaiKoHoff merged 2 commits intorizonesoft:masterfrom Feb 17, 2026
Merged
chore: some refactorings due to new features in scintilla#5536RaiKoHoff merged 2 commits intorizonesoft:masterfrom
RaiKoHoff merged 2 commits intorizonesoft:masterfrom