Skip to content

Make the Select tool re-select initially selected layers upon pressing Shift during box selection #793

Make the Select tool re-select initially selected layers upon pressing Shift during box selection

Make the Select tool re-select initially selected layers upon pressing Shift during box selection #793

Triggered via pull request January 14, 2025 02:12
Status Skipped
Total duration 3s
Artifacts

comment-clippy-warnings.yaml

on: pull_request
Run Clippy
0s
Run Clippy
Fit to window
Zoom out
Zoom in