From 5eca70b1d05771938f46951c4e5b0ec790c77eee Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Fri, 24 Apr 2015 17:39:33 +0200
Subject: [PATCH] New editor: removed 1px border around editor

---
 app/src/processing/app/Editor.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java
index bcfcdcf3f..71e7fe4d4 100644
--- a/app/src/processing/app/Editor.java
+++ b/app/src/processing/app/Editor.java
@@ -47,6 +47,7 @@ import java.util.List;
 import java.util.zip.*;
 
 import javax.swing.*;
+import javax.swing.border.EmptyBorder;
 import javax.swing.event.*;
 import javax.swing.text.*;
 import javax.swing.undo.*;
@@ -255,6 +256,7 @@ public class Editor extends JFrame implements RunnerListener {
 
     // RTextScrollPane
     scrollPane = new RTextScrollPane(textarea, true);
+    scrollPane.setBorder(new EmptyBorder(0, 0, 0, 0));
     scrollPane.setViewportBorder(BorderFactory.createEmptyBorder());
     scrollPane.setLineNumbersEnabled(Preferences.getBoolean("editor.linenumbers"));
     scrollPane.setIconRowHeaderEnabled(false);