Skip to content
Profiling Changes

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

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

Triggered via pull request December 24, 2024 06:39
@pratikagrpratikagr
synchronize #2156
pratikagr:selection-direction
Status Skipped
Total duration 3s
Artifacts –

comment-profiling-changes.yaml

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