Skip to content

PR: Make CodeEditor mouse shortcuts configurable. #13144

PR: Make CodeEditor mouse shortcuts configurable.

PR: Make CodeEditor mouse shortcuts configurable. #13144

Triggered via pull request January 29, 2025 15:14
Status Success
Total duration 8m 40s
Artifacts

test-files.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in