Skip to content

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

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

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

desktop-linux-test-pull.yml

on: pull_request
test-desktop-linux
24m 5s
test-desktop-linux
Fit to window
Zoom out
Zoom in