Skip to content

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

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 #1147

Triggered via pull request December 10, 2024 15:40
@aboseabose
synchronize #1982
g
Status Success
Total duration 2m 12s
Artifacts

pull_request_verify.yml

on: pull_request
Fit to window
Zoom out
Zoom in