From 0cfa63839781c046fe4a598966a2c5a65ac2a8b3 Mon Sep 17 00:00:00 2001
From: teddywing <git@teddywing.com>
Date: Sun, 22 Jun 2014 14:00:48 -0400
Subject: [PATCH] PdeKeyListener.java: tab key behaves correctly if
 !editor.tabs.expand

If the `editor.tabs.expand` preference setting is set to `false` (tabs
are *not* expanded to spaces), insert a tab character when the tab key
is pressed. Previously nothing would be inserted.
---
 app/src/processing/mode/java/PdeKeyListener.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/app/src/processing/mode/java/PdeKeyListener.java b/app/src/processing/mode/java/PdeKeyListener.java
index e1acd5fad..c1ba6c30d 100644
--- 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;