Skip to content

chore: editor.clearAllMarks api will now take optional linenumbers to clear only those lines#1982

Merged
abose merged 2 commits intomainfrom
g
Dec 10, 2024
Merged

chore: editor.clearAllMarks api will now take optional linenumbers to clear only those lines#1982
abose merged 2 commits intomainfrom
g