From ec7996e8bea78de22759adf500a2e2e5da642107 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@bug.st>
Date: Wed, 22 May 2013 12:19:59 +0200
Subject: [PATCH] Reintroduced copy error button.

Revert "Reverted 'copy error' button for 1.0.5, waiting for a better UI design"

This reverts commit cf4584eb29c45c96ced13d11ff6a09005d225d17.
---
 app/src/processing/app/EditorStatus.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/app/src/processing/app/EditorStatus.java b/app/src/processing/app/EditorStatus.java
index 30b7f59ef..fa45f02e5 100644
--- a/app/src/processing/app/EditorStatus.java
+++ b/app/src/processing/app/EditorStatus.java
@@ -125,7 +125,7 @@ public class EditorStatus extends JPanel /*implements ActionListener*/ {
   public void error(String message) {
     mode = ERR;
     this.message = message;
-//    copyErrorButton.setVisible(true);
+    copyErrorButton.setVisible(true);
     repaint();
   }
 
@@ -196,7 +196,7 @@ public class EditorStatus extends JPanel /*implements ActionListener*/ {
     progressBar.setIndeterminate(true);
     progressBar.setValue(50);
     progressBar.setVisible(true);
-//    copyErrorButton.setVisible(false);
+    copyErrorButton.setVisible(false);
     setCursor(Cursor.getPredefinedCursor(Cursor.WAIT_CURSOR));
     repaint();
   }