Skip to content
Profiling Changes

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

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

Triggered via pull request December 25, 2024 16:38
@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