Skip to content
Profiling Changes

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

Sign in to view logs

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

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

Triggered via pull request January 8, 2025 06:48
@pratikagrpratikagr
synchronize #2156
pratikagr:selection-direction
Status Skipped
Total duration 2s
Artifacts –

comment-profiling-changes.yaml

on: pull_request
profile
0s
profile
Fit to window
Zoom out
Zoom in