8000 Centralize keyboard shortcuts by microbit-robert · Pull Request #1175 · microbit-foundation/python-editor-v3 · GitHub
[go: up one dir, main page]
Skip to content

Centralize keyboard shortcuts#1175

Merged
microbit-robert merged 3 commits intomainfrom
keyboard-shortcuts
May 1, 2024
Merged

Centralize keyboard shortcuts#1175
microbit-robert merged 3 commits intomainfrom
keyboard-shortcuts

Commits

Commits on Apr 23, 2024
0