Skip to content

Adds the shortcut to input enclosing numbers, also maps keys on the num pad. #518

Adds the shortcut to input enclosing numbers, also maps keys on the num pad.

Adds the shortcut to input enclosing numbers, also maps keys on the num pad. #518

Triggered via pull request July 31, 2024 13:54
Status Success
Total duration 1m 45s
Artifacts

ci.yaml

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