Nicer button for 'Copy error to clipboard'

arduino · May 12, 2014 · 35e1601 · 35e1601
1 parent 199f216
commit 35e1601
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/app/src/processing/app/EditorStatus.java b/app/src/processing/app/EditorStatus.java
@@ -26,6 +26,7 @@
 import java.awt.*;
 import java.awt.event.*;
 import javax.swing.*;
+
 import java.awt.datatransfer.*;
 import static processing.app.I18n._;
 
@@ -447,11 +448,14 @@ public void keyTyped(KeyEvent event) {
       add(progressBar);
       progressBar.setVisible(false);
 
-      copyErrorButton = new JButton(_("Copy To Clipboard"));
+      copyErrorButton = new JButton(
+         "<html>" + _("Copy error") + "<br>" + _("to clipboard") + "</html>");
+      Font font = copyErrorButton.getFont();
+      font = new Font(font.getName(), font.getStyle(), (int) (font.getSize()*0.7));
+      copyErrorButton.setFont(font);
+      copyErrorButton.setHorizontalAlignment(JLabel.CENTER);
       add(copyErrorButton);
-      //copyErrorButton.setVisible(true);
       copyErrorButton.setVisible(false);
-      System.out.println("create copyErrorButton");
       copyErrorButton.addActionListener(new ActionListener() {
         public void actionPerformed(ActionEvent e) {
           String message="";