From 67b65ddd77b1aab1aba0e228323dc79e439e8e24 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Thu, 21 May 2015 09:37:35 +0200
Subject: [PATCH] Restored background color when switching off "external
 editor" flag in preferences. Fixes #3197

---
 app/src/processing/app/Editor.java | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java
index 780ddbf0b..77f3eab22 100644
--- a/app/src/processing/app/Editor.java
+++ b/app/src/processing/app/Editor.java
@@ -477,14 +477,13 @@ public class Editor extends JFrame implements RunnerListener {
 
     if (external) {
       // disable line highlight and turn off the caret when disabling
-      Color color = Theme.getColor("editor.external.bgcolor");
-      textarea.setBackground(color);
+      textarea.setBackground(Theme.getColor("editor.external.bgcolor"));
       textarea.setHighlightCurrentLine(false);
       textarea.setEditable(false);
 
     } else {
-      boolean highlight = PreferencesData.getBoolean("editor.linehighlight");
-      textarea.setHighlightCurrentLine(highlight);
+      textarea.setBackground(Theme.getColor("editor.bgcolor"));
+      textarea.setHighlightCurrentLine(PreferencesData.getBoolean("editor.linehighlight"));
       textarea.setEditable(true);
     }