|
30 | 30 | import java.awt.Graphics;
|
31 | 31 | import java.awt.Graphics2D;
|
32 | 32 | import java.awt.Image;
|
| 33 | +import java.awt.datatransfer.Clipboard; |
| 34 | +import java.awt.datatransfer.StringSelection; |
33 | 35 | import java.awt.event.MouseAdapter;
|
34 | 36 | import java.awt.event.MouseEvent;
|
35 | 37 | import java.awt.font.FontRenderContext;
|
@@ -110,6 +112,22 @@ public EditorFooter(Editor eddie) {
|
110 | 112 |
|
111 | 113 | version = new JLabel(Base.getVersionName());
|
112 | 114 | version.setBorder(BorderFactory.createEmptyBorder(0, 0, 0, MARGIN));
|
| 115 | + version.addMouseListener(new MouseAdapter() { |
| 116 | + public void mousePressed(MouseEvent e) { |
| 117 | + if(e.getClickCount() == 5){ |
| 118 | + Base.DEBUG = !Base.DEBUG; |
| 119 | + } |
| 120 | + var debugInformation = String.join("\n", |
| 121 | + "Version: " + Base.getVersionName(), |
| 122 | + "Revision: " + Base.getRevision(), |
| 123 | + "OS: " + System.getProperty("os.name") + " " + System.getProperty("os.version") + " " + System.getProperty("os.arch"), |
| 124 | + "Java: " + System.getProperty("java.version") + " " + System.getProperty("java.vendor") |
| 125 | + ); |
| 126 | + var stringSelection = new StringSelection(debugInformation); |
| 127 | + var clipboard = java.awt.Toolkit.getDefaultToolkit().getSystemClipboard(); |
| 128 | + clipboard.setContents(stringSelection, null); |
| 129 | + } |
| 130 | + }); |
113 | 131 |
|
114 | 132 | tabBar.add(version);
|
115 | 133 |
|
|
0 commit comments