Skip to content

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

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

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

Triggered via pull request December 10, 2024 15:40
@aboseabose
synchronize #1982
g
Status Success
Total duration 25m 20s
Artifacts
test-desktop-linux-prod
25m 4s
test-desktop-linux-prod
Fit to window
Zoom out
Zoom in