Skip to content

Add an editor preference for touched/enclosed/directional based selection #588

Add an editor preference for touched/enclosed/directional based selection

Add an editor preference for touched/enclosed/directional based selection #588

Triggered via pull request December 23, 2024 12:37
Status Skipped
Total duration 3s
Artifacts
profile
0s
profile
Fit to window
Zoom out
Zoom in