mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-17 06:52:18 +01:00
Nicer button for 'Copy error to clipboard'
This commit is contained in:
parent
4c4878bc3f
commit
55ade2daeb
@ -26,6 +26,7 @@ package processing.app;
|
|||||||
import java.awt.*;
|
import java.awt.*;
|
||||||
import java.awt.event.*;
|
import java.awt.event.*;
|
||||||
import javax.swing.*;
|
import javax.swing.*;
|
||||||
|
|
||||||
import java.awt.datatransfer.*;
|
import java.awt.datatransfer.*;
|
||||||
import static processing.app.I18n._;
|
import static processing.app.I18n._;
|
||||||
|
|
||||||
@ -447,11 +448,14 @@ public class EditorStatus extends JPanel /*implements ActionListener*/ {
|
|||||||
add(progressBar);
|
add(progressBar);
|
||||||
progressBar.setVisible(false);
|
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);
|
add(copyErrorButton);
|
||||||
//copyErrorButton.setVisible(true);
|
|
||||||
copyErrorButton.setVisible(false);
|
copyErrorButton.setVisible(false);
|
||||||
System.out.println("create copyErrorButton");
|
|
||||||
copyErrorButton.addActionListener(new ActionListener() {
|
copyErrorButton.addActionListener(new ActionListener() {
|
||||||
public void actionPerformed(ActionEvent e) {
|
public void actionPerformed(ActionEvent e) {
|
||||||
String message="";
|
String message="";
|
||||||
|
Loading…
x
Reference in New Issue
Block a user