Skip to content

Commit edd1ebd

Browse files
facchinmfacchinm
committed
Add clickable HTML view of Serial Monitor
The HTML view only activates if: - the output is steady - the "frame" contains a link - the length of the entire content is < 1KB No performance penalty compared to normal view (in standard conditions)
1 parent 1e792fe commit edd1ebd

File tree

3 files changed

+259
-1
lines changed

3 files changed

+259
-1
lines changed

‎app/src/processing/app/AbstractTextMonitor.java‎

Lines changed: 95 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -26,6 +26,9 @@
2626
import javax.swing.SwingUtilities;
2727
import javax.swing.border.EmptyBorder;
2828
import javax.swing.text.DefaultCaret;
29+
import javax.swing.event.UndoableEditListener;
30+
import javax.swing.text.AbstractDocument;
31+
import javax.swing.text.Document;
2932

3033
import cc.arduino.packages.BoardPort;
3134

@@ -34,14 +37,20 @@ public abstract class AbstractTextMonitor extends AbstractMonitor {
3437

3538
protected JLabel noLineEndingAlert;
3639
protected TextAreaFIFO textArea;
40+
protected HTMLTextAreaFIFO htmlTextArea;
3741
protected JScrollPane scrollPane;
42+
protected JScrollPane htmlScrollPane;
3843
protected JTextField textField;
3944
protected JButton sendButton;
4045
protected JButton clearButton;
4146
protected JCheckBox autoscrollBox;
4247
protected JCheckBox addTimeStampBox;
4348
protected JComboBox lineEndings;
4449
protected JComboBox serialRates;
50+
protected Container mainPane;
51+
private long lastMessage;
52+
private javax.swing.Timer updateTimer;
53+
private boolean htmlView = true;
4554

4655
private SimpleDateFormat logDateFormat;
4756

@@ -55,6 +64,7 @@ protected void onCreateWindow(Container mainPane) {
5564
Font editorFont = PreferencesData.getFont("editor.font");
5665
Font font = Theme.scale(new Font(consoleFont.getName(), consoleFont.getStyle(), editorFont.getSize()));
5766

67+
this.mainPane = mainPane;
5868
mainPane.setLayout(new BorderLayout());
5969

6070
textArea = new TextAreaFIFO(8000000);
@@ -63,13 +73,89 @@ protected void onCreateWindow(Container mainPane) {
6373
textArea.setEditable(false);
6474
textArea.setFont(font);
6575

76+
htmlTextArea = new HTMLTextAreaFIFO(8000000);
77+
htmlTextArea.setEditable(false);
78+
htmlTextArea.setFont(font);
79+
htmlTextArea.setOpaque(false);
80+
6681
// don't automatically update the caret. that way we can manually decide
6782
// whether or not to do so based on the autoscroll checkbox.
6883
((DefaultCaret) textArea.getCaret()).setUpdatePolicy(DefaultCaret.NEVER_UPDATE);
84+
((DefaultCaret) htmlTextArea.getCaret()).setUpdatePolicy(DefaultCaret.NEVER_UPDATE);
85+
86+
Document doc = textArea.getDocument();
87+
if (doc instanceof AbstractDocument)
88+
{
89+
UndoableEditListener[] undoListeners =
90+
( (AbstractDocument) doc).getUndoableEditListeners();
91+
if (undoListeners.length > 0)
92+
{
93+
for (UndoableEditListener undoListener : undoListeners)
94+
{
95+
doc.removeUndoableEditListener(undoListener);
96+
}
97+
}
98+
}
99+
100+
doc = htmlTextArea.getDocument();
101+
if (doc instanceof AbstractDocument)
102+
{
103+
UndoableEditListener[] undoListeners =
104+
( (AbstractDocument) doc).getUndoableEditListeners();
105+
if (undoListeners.length > 0)
106+
{
107+
for (UndoableEditListener undoListener : undoListeners)
108+
{
109+
doc.removeUndoableEditListener(undoListener);
110+
}
111+
}
112+
}
69113

70114
scrollPane = new JScrollPane(textArea);
115+
scrollPane.setVerticalScrollBarPolicy(JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED);
116+
htmlScrollPane = new JScrollPane(htmlTextArea);
117+
htmlScrollPane.setVerticalScrollBarPolicy(JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED);
118+
119+
ActionListener checkIfSteady = new ActionListener() {
120+
public void actionPerformed(ActionEvent evt) {
121+
if (System.currentTimeMillis() - lastMessage > 200) {
122+
if (htmlView == false && textArea.getLength() < 1000) {
123+
124+
htmlTextArea.setText("");
125+
boolean res = htmlTextArea.append(textArea.getText());
126+
if (res) {
127+
htmlView = true;
128+
mainPane.remove(scrollPane);
129+
if (textArea.getCaretPosition() > htmlTextArea.getDocument().getLength()) {
130+
htmlTextArea.setCaretPosition(htmlTextArea.getDocument().getLength());
131+
} else {
132+
htmlTextArea.setCaretPosition(textArea.getCaretPosition());
133+
}
134+
mainPane.add(htmlScrollPane, BorderLayout.CENTER);
135+
scrollPane.setVisible(false);
136+
mainPane.validate();
137+
mainPane.repaint();
138+
}
139+
}
140+
} else {
141+
if (htmlView == true) {
142+
htmlView = false;
143+
mainPane.remove(htmlScrollPane);
144+
mainPane.add(scrollPane, BorderLayout.CENTER);
145+
scrollPane.setVisible(true);
146+
mainPane.validate();
147+
mainPane.repaint();
148+
}
149+
}
150+
}
151+
};
152+
153+
updateTimer = new javax.swing.Timer(33, checkIfSteady);
71154

72155
mainPane.add(scrollPane, BorderLayout.CENTER);
156+
157+
htmlTextArea.setVisible(true);
158+
htmlScrollPane.setVisible(true);
73159

74160
JPanel upperPane = new JPanel();
75161
upperPane.setLayout(new BoxLayout(upperPane, BoxLayout.X_AXIS));
@@ -146,19 +232,26 @@ public void actionPerformed(ActionEvent e) {
146232
pane.add(clearButton);
147233

148234
mainPane.add(pane, BorderLayout.SOUTH);
235+
236+
updateTimer.start();
149237
}
150238

151239
protected void onEnableWindow(boolean enable)
152240
{
153241
textArea.setEnabled(enable);
154242
clearButton.setEnabled(enable);
243+
htmlTextArea.setEnabled(enable);
155244
scrollPane.setEnabled(enable);
245+
htmlScrollPane.setEnabled(enable);
156246
textField.setEnabled(enable);
157247
sendButton.setEnabled(enable);
158248
autoscrollBox.setEnabled(enable);
159249
addTimeStampBox.setEnabled(enable);
160250
lineEndings.setEnabled(enable);
161251
serialRates.setEnabled(enable);
252+
if (enable == false) {
253+
htmlTextArea.setText("");
254+
}
162255
}
163256

164257
public void onSendCommand(ActionListener listener) {
@@ -173,8 +266,9 @@ public void onClearCommand(ActionListener listener) {
173266
public void onSerialRateChange(ActionListener listener) {
174267
serialRates.addActionListener(listener);
175268
}
176-
269+
177270
public void message(final String s) {
271+
lastMessage = System.currentTimeMillis();
178272
SwingUtilities.invokeLater(new Runnable() {
179273
// Pre-allocate all objects used for streaming data
180274
Date t = new Date();

‎app/src/processing/app/HTMLTextAreaFIFO.java‎

Lines changed: 160 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,160 @@
1+
/*
2+
Copyright (c) 2014 Paul Stoffregen <[email protected]>
3+
4+
This program is free software; you can redistribute it and/or modify
5+
it under the terms of the GNU General Public License as published by
6+
the Free Software Foundation; either version 2 of the License, or
7+
(at your option) any later version.
8+
9+
This program is distributed in the hope that it will be useful,
10+
but WITHOUT ANY WARRANTY; without even the implied warranty of
11+
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12+
GNU General Public License for more details.
13+
14+
You should have received a copy of the GNU General Public License
15+
along with this program; if not, write to the Free Software Foundation,
16+
Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
17+
*/
18+
19+
// adapted from https://community.oracle.com/thread/1479784
20+
21+
package processing.app;
22+
23+
import java.io.IOException;
24+
import java.net.URL;
25+
import java.awt.Desktop;
26+
import java.net.URLEncoder;
27+
28+
import java.util.*;
29+
import java.util.regex.*;
30+
31+
import javax.swing.text.html.HTMLDocument;
32+
import javax.swing.JEditorPane;
33+
import javax.swing.JTextPane;
34+
import javax.swing.SwingUtilities;
35+
import javax.swing.event.HyperlinkEvent;
36+
import javax.swing.event.HyperlinkListener;
37+
import javax.swing.event.DocumentEvent;
38+
import javax.swing.event.DocumentListener;
39+
import javax.swing.text.BadLocationException;
40+
import javax.swing.text.html.HTMLEditorKit;
41+
42+
import cc.arduino.UpdatableBoardsLibsFakeURLsHandler;
43+
44+
public class HTMLTextAreaFIFO extends JTextPane implements DocumentListener {
45+
private int maxChars;
46+
private int trimMaxChars;
47+
48+
private int updateCount; // limit how often we trim the document
49+
50+
private boolean doTrim;
51+
private final HTMLEditorKit kit;
52+
53+
public HTMLTextAreaFIFO(int max) {
54+
maxChars = max;
55+
trimMaxChars = max / 2;
56+
updateCount = 0;
57+
doTrim = true;
58+
setContentType("text/html");
59+
getDocument().addDocumentListener(this);
60+
setText("");
61+
kit = new HTMLEditorKit();
62+
this.addHyperlinkListener(new UpdatableBoardsLibsFakeURLsHandler(Base.INSTANCE));
63+
}
64+
65+
public void insertUpdate(DocumentEvent e) {
66+
}
67+
68+
public void removeUpdate(DocumentEvent e) {
69+
}
70+
71+
public void changedUpdate(DocumentEvent e) {
72+
}
73+
74+
public void trimDocument() {
75+
int len = 0;
76+
len = getDocument().getLength();
77+
if (len > trimMaxChars) {
78+
int n = len - trimMaxChars;
79+
//System.out.println("trimDocument: remove " + n + " chars");
80+
try {
81+
getDocument().remove(0, n);
82+
} catch (BadLocationException ble) {
83+
}
84+
}
85+
}
86+
87+
private static List<String> extractUrls(String input) {
88+
List<String> result = new ArrayList<String>();
89+
90+
Pattern pattern = Pattern.compile(
91+
"(http|ftp|https)://([^\\s]+)");
92+
93+
Matcher matcher = pattern.matcher(input);
94+
while (matcher.find()) {
95+
result.add(matcher.group());
96+
}
97+
98+
return result;
99+
}
100+
101+
static public final String WITH_DELIMITER = "((?<=%1$s)|(?=%1$s))";
102+
103+
public boolean append(String s) {
104+
boolean htmlFound = false;
105+
try {
106+
HTMLDocument doc = (HTMLDocument) getDocument();
107+
108+
String strings[] = s.split(String.format(WITH_DELIMITER, "\\r?\\n"));
109+
110+
for (int l = 0; l < strings.length; l++) {
111+
String str = strings[l];
112+
List<String> urls = extractUrls(str);
113+
114+
if (urls.size() > 0) {
115+
116+
for (int i = 0; i < urls.size(); i++) {
117+
if (!((urls.get(i)).contains("</a>"))) {
118+
str = str.replace(urls.get(i), "<a href='" + urls.get(i) + "'>" + urls.get(i) + "</a>");
119+
}
120+
}
121+
122+
kit.insertHTML(doc, doc.getLength(), str, 0, 0, null);
123+
htmlFound = true;
124+
} else {
125+
doc.insertString(doc.getLength(), str, null);
126+
}
127+
}
128+
} catch(BadLocationException exc) {
129+
exc.printStackTrace();
130+
} catch(IOException exc) {
131+
exc.printStackTrace();
132+
}
133+
134+
if (++updateCount > 150 && doTrim) {
135+
updateCount = 0;
136+
SwingUtilities.invokeLater(new Runnable() {
137+
public void run() {
138+
trimDocument();
139+
}
140+
});
141+
}
142+
return htmlFound;
143+
}
144+
145+
public void appendNoTrim(String s) {
146+
int free = maxChars - getDocument().getLength();
147+
if (free <= 0)
148+
return;
149+
if (s.length() > free)
150+
append(s.substring(0, free));
151+
else
152+
append(s);
153+
doTrim = false;
154+
}
155+
156+
public void appendTrim(String str) {
157+
append(str);
158+
doTrim = true;
159+
}
160+
}

‎app/src/processing/app/TextAreaFIFO.java‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -72,6 +72,10 @@ public void trimDocument() {
7272
}
7373
}
7474

75+
public int getLength() {
76+
return getDocument().getLength();
77+
}
78+
7579
public void appendNoTrim(String s) {
7680
int free = maxChars - getDocument().getLength();
7781
if (free <= 0)

0 commit comments

Comments
 (0)