mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-18 07:52:14 +01:00
changed test to Character.isISOControl
This commit is contained in:
parent
4185c2e905
commit
2fde40f46a
@ -130,7 +130,7 @@ public class EditorListener {
|
||||
}
|
||||
|
||||
// The char is not control code when CTRL key pressed? It should be a shortcut.
|
||||
if (c >= ' ') {
|
||||
if (!Character.isISOControl(c)) {
|
||||
event.consume();
|
||||
return true;
|
||||
}
|
||||
@ -487,7 +487,7 @@ public class EditorListener {
|
||||
|
||||
if ((event.getModifiers() & KeyEvent.CTRL_MASK) != 0) {
|
||||
// The char is not control code when CTRL key pressed? It should be a shortcut.
|
||||
if (c >= ' ') {
|
||||
if (!Character.isISOControl(c)) {
|
||||
event.consume();
|
||||
return true;
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user