Merge remote-tracking branch 'remotes/upstream/master'

2026-02-19 13:25:35 +01:00 · 2014-07-28 21:23:20 -04:00
parent 0cde11d279 5980da931b
commit 54160b0bab
25 changed files with 443 additions and 151 deletions
--- a/app/src/processing/mode/java/PdeKeyListener.java
+++ b/app/src/processing/mode/java/PdeKeyListener.java
@@ -194,6 +194,9 @@ public class PdeKeyListener {
        textarea.setSelectedText(spaces(tabSize));
        event.consume();
        return true;
+      } else if (!Preferences.getBoolean("editor.tabs.expand")) {
+        textarea.setSelectedText("\t");
+        event.consume();
      }
      break;