arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-06-19 09:42:11 +03:00
Code Activity

Adding a "Copy as HTML" item to the Tools menu.

Browse Source
This commit is contained in:
David A. Mellis
2009-05-24 15:04:18 +00:00
parent 7357e38cf6
commit 07feaca3a1
2 changed files with 26 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
app/Editor.java
View File

@ -752,7 +752,19 @@ public class Editor extends JFrame
public void actionPerformed(ActionEvent e) {
SwingUtilities.invokeLater(new Runnable() {
public void run() {
new DiscourseFormat(Editor.this).show();
new DiscourseFormat(Editor.this, false).show();
}
});
}
});
menu.add(item);
item = new JMenuItem("Copy as HTML");
item.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent e) {
SwingUtilities.invokeLater(new Runnable() {
public void run() {
new DiscourseFormat(Editor.this, true).show();
}
});
}