From b7ae0f9e20a62a187150189a03a2f231d97b2c7f Mon Sep 17 00:00:00 2001
From: Jakub Valtar <jakub.valtar@gmail.com>
Date: Tue, 29 Sep 2015 17:12:10 -0400
Subject: [PATCH] Give focus to the Editor after clicking an error in
 ErrorTable

---
 app/src/processing/app/ui/ErrorTable.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/app/src/processing/app/ui/ErrorTable.java b/app/src/processing/app/ui/ErrorTable.java
index 9dc7df067..622966a85 100644
--- a/app/src/processing/app/ui/ErrorTable.java
+++ b/app/src/processing/app/ui/ErrorTable.java
@@ -117,6 +117,7 @@ public class ErrorTable extends JTable {
             } else if (clickCount > 1) {
               editor.errorTableDoubleClick(data);
             }
+						editor.getTextArea().requestFocusInWindow();
 //				  editor.getErrorChecker().scrollToErrorLine(row);
           }
         } catch (Exception ex) {