Skip to content

PR: Make CodeEditor mouse shortcuts configurable. #670

PR: Make CodeEditor mouse shortcuts configurable.

PR: Make CodeEditor mouse shortcuts configurable. #670

Linux - Py3.8, pip

succeeded Jan 29, 2025 in 4m 23s