Arising from https://crowdin.com/editor/microbitorg/6426/en-de?view=comfortable&filter=basic&value=3#331624 In the dropdown for Settings / Parameter help, the shortcut Ctrl+Shift+Space is not translated. https://github.com/microbit-foundation/python-editor-v3/blob/main/src/settings/SettingsArea.tsx#L68
Arising from
https://crowdin.com/editor/microbitorg/6426/en-de?view=comfortable&filter=basic&value=3#331624
In the dropdown for Settings / Parameter help, the shortcut Ctrl+Shift+Space is not translated.
https://github.com/microbit-foundation/python-editor-v3/blob/main/src/settings/SettingsArea.tsx#L68