Closed Octogonapus closed 5 years ago
"Ctrl+," is the accelerator for opening preferences, but if the ace editor is selected it consumes the event first, so preferences doesn't open.
Closing because this is related to JavaUI, which is being removed.
"Ctrl+," is the accelerator for opening preferences, but if the ace editor is selected it consumes the event first, so preferences doesn't open.