Changed 'Copy error' button: bigger font, shorter text

cmaglie · cmaglie · commit 9a173863e8e4 · 2013-08-21T16:53:58.000+02:00
diff --git a/app/src/processing/app/EditorStatus.java b/app/src/processing/app/EditorStatus.java
@@ -452,12 +452,7 @@ public void keyTyped(KeyEvent event) {
       add(progressBar);
       progressBar.setVisible(false);
       
-      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);
+      copyErrorButton = new JButton(_("Copy error"));
       add(copyErrorButton);
       copyErrorButton.setVisible(false);
       copyErrorButton.addActionListener(new ActionListener() {
