Skip to content
Back to pull request #65546

Resizable Editor: Make the editor resizable with arrow keys #115994

Sign in to view logs

Resizable Editor: Make the editor resizable with arrow keys

Resizable Editor: Make the editor resizable with arrow keys #115994

Triggered via pull request September 24, 2024 09:29
@t-hamanot-hamano
synchronize #65546
resizable-editor-keyboard-navigation
Status Success
Total duration 7m 4s
Artifacts –

static-checks.yml

on: pull_request
All
6m 54s
All
Fit to window
Zoom out
Zoom in