SHIFT+CTRL+SPACE not working on macOS in 1.9.1 #3852
Description
Describe the bug
The shortcut to produce suggestions in the editor is not working on macOS in GAMA 1.9.1 and 1.9.2
To Reproduce
Just open an editor, start typing something and invoke Shift+Ctrl+Space (which is the combination working on Eclipse). Nothing happens in GAMA.
Desktop (please complete the following information):
- OS: macOS 13.4 (22F66)
- PC Model: MBP 16"
- GAMA version: 1.9.1 + 1.9.2 (git)
- Java version: 17