From 9a173863e8e4b5cd7444c000471a2cb0db46b693 Mon Sep 17 00:00:00 2001 From: Cristian Maglie Date: Wed, 21 Aug 2013 16:53:48 +0200 Subject: [PATCH] Changed 'Copy error' button: bigger font, shorter text --- app/src/processing/app/EditorStatus.java | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/app/src/processing/app/EditorStatus.java b/app/src/processing/app/EditorStatus.java index 18b2b4f7c..4563ff220 100644 --- a/app/src/processing/app/EditorStatus.java +++ b/app/src/processing/app/EditorStatus.java @@ -452,12 +452,7 @@ public class EditorStatus extends JPanel /*implements ActionListener*/ { add(progressBar); progressBar.setVisible(false); - copyErrorButton = new JButton( - "" + _("Copy error") + "
" + _("to clipboard") + ""); - 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() {