Merge pull request #5906 from jeremydouglass/patch-2

benfry · web-flow · commit 1e245c40bff5 · 2020-01-17T16:39:25.000-05:00
rename-variable menu allows Java identifiers
diff --git a/java/src/processing/mode/java/pdex/Rename.java b/java/src/processing/mode/java/pdex/Rename.java
@@ -129,8 +129,8 @@ public void componentHidden(ComponentEvent e) {
         final String newName = textField.getText().trim();
         if (!newName.isEmpty()) {
           if (newName.length() >= 1 &&
-              newName.chars().limit(1).allMatch(Character::isUnicodeIdentifierStart) &&
-              newName.chars().skip(1).allMatch(Character::isUnicodeIdentifierPart)) {
+              newName.chars().limit(1).allMatch(Character::isJavaIdentifierStart) &&
+              newName.chars().skip(1).allMatch(Character::isJavaIdentifierPart)) {
             rename(ps, binding, newName);
             window.setVisible(false);
           } else {
@@ -332,4 +332,4 @@ void dispose() {
       window.dispose();
     }
   }
-}
+}
