Skip to content

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

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

Triggered via pull request December 10, 2024 15:29
@aboseabose
opened #1982
g
Status Success
Total duration 2m 4s
Artifacts

pull_request_verify.yml

on: pull_request
Fit to window
Zoom out
Zoom in