Add clickable serial monitor

Author: facchinm

Diff for: app/src/cc/arduino/UpdatableBoardsLibsFakeURLsHandler.java

@@ -34,6 +34,10 @@
 import javax.swing.event.HyperlinkEvent;
 import javax.swing.event.HyperlinkListener;
 import java.net.URL;
+import java.net.URI;
+import java.awt.Desktop;
+import java.io.IOException;
+import java.net.URISyntaxException;
 
 public class UpdatableBoardsLibsFakeURLsHandler implements HyperlinkListener {
 
@@ -71,6 +75,18 @@ public void openBoardLibManager(URL url) {
       return;
     }
 
+    if(Desktop.isDesktopSupported())
+    {
+      try {
+        Desktop.getDesktop().browse(url.toURI());
+        return;
+      } catch (IOException e) {
+        throw new IllegalArgumentException(url.getHost() + " is invalid");
+      } catch (URISyntaxException e) {
+        throw new IllegalArgumentException(url.getHost() + " is invalid");
+      }
+    }
+
     throw new IllegalArgumentException(url.getHost() + " is invalid");
 
   }

Diff for: app/src/processing/app/AbstractTextMonitor.java

@@ -5,6 +5,7 @@
 import java.awt.BorderLayout;
 import java.awt.Container;
 import java.awt.Dimension;
+import java.awt.Desktop;
 import java.awt.Font;
 import java.awt.event.ActionEvent;
 import java.awt.event.ActionListener;
@@ -18,11 +19,15 @@
 import javax.swing.JPanel;
 import javax.swing.JScrollPane;
 import javax.swing.JTextField;
+import javax.swing.JFrame;
 import javax.swing.SwingUtilities;
 import javax.swing.border.EmptyBorder;
 import javax.swing.text.DefaultCaret;
+import javax.swing.event.HyperlinkEvent;
+import javax.swing.event.HyperlinkListener;
 
 import cc.arduino.packages.BoardPort;
+import cc.arduino.UpdatableBoardsLibsFakeURLsHandler;
 
 @SuppressWarnings("serial")
 public abstract class AbstractTextMonitor extends AbstractMonitor {
@@ -47,11 +52,13 @@ protected void onCreateWindow(Container mainPane) {
 
     mainPane.setLayout(new BorderLayout());
 
-    textArea = new TextAreaFIFO(8000000);
-    textArea.setRows(16);
-    textArea.setColumns(40);
+    textArea = new TextAreaFIFO(800000);
+    //textArea.setRows(16);
+    //textArea.setColumns(40);
     textArea.setEditable(false);
+    textArea.setOpaque(false);
     textArea.setFont(font);
+    textArea.setContentType("text/html");
 
     // don't automatically update the caret.  that way we can manually decide
     // whether or not to do so based on the autoscroll checkbox.

Diff for: app/src/processing/app/TextAreaFIFO.java

@@ -20,37 +20,48 @@
 
 package processing.app;
 
-import javax.swing.JTextArea;
+import java.io.IOException;
+import java.net.URL;
+import java.awt.Desktop;
+import java.net.URLEncoder;
+
+import java.util.*;
+import java.util.regex.*;
+
+import javax.swing.text.html.HTMLDocument;
+import javax.swing.JEditorPane;
+import javax.swing.JTextPane;
 import javax.swing.SwingUtilities;
+import javax.swing.event.HyperlinkEvent;
+import javax.swing.event.HyperlinkListener;
 import javax.swing.event.DocumentEvent;
 import javax.swing.event.DocumentListener;
 import javax.swing.text.BadLocationException;
+import javax.swing.text.html.HTMLEditorKit;
+
+import cc.arduino.UpdatableBoardsLibsFakeURLsHandler;
 
-public class TextAreaFIFO extends JTextArea implements DocumentListener {
+public class TextAreaFIFO extends JTextPane implements DocumentListener {
   private int maxChars;
   private int trimMaxChars;
 
   private int updateCount; // limit how often we trim the document
 
   private boolean doTrim;
+  private final HTMLEditorKit kit;
 
   public TextAreaFIFO(int max) {
     maxChars = max;
     trimMaxChars = max / 2;
     updateCount = 0;
     doTrim = true;
     getDocument().addDocumentListener(this);
+    setText("");
+    kit = new HTMLEditorKit();
+    this.addHyperlinkListener(new UpdatableBoardsLibsFakeURLsHandler(Base.INSTANCE));
   }
 
   public void insertUpdate(DocumentEvent e) {
-    if (++updateCount > 150 && doTrim) {
-      updateCount = 0;
-      SwingUtilities.invokeLater(new Runnable() {
-        public void run() {
-          trimDocument();
-        }
-      });
-    }
   }
 
   public void removeUpdate(DocumentEvent e) {
@@ -72,6 +83,61 @@ public void trimDocument() {
     }
   }
 
+  private static List<String> extractUrls(String input) {
+    List<String> result = new ArrayList<String>();
+
+    Pattern pattern = Pattern.compile(
+        "(http|ftp|https)://([^\\s]+)");
+
+    Matcher matcher = pattern.matcher(input);
+    while (matcher.find()) {
+        result.add(matcher.group());
+    }
+
+    return result;
+  }
+
+  static public final String WITH_DELIMITER = "((?<=%1$s)|(?=%1$s))";
+
+  public void append(String s) {
+    try {
+      HTMLDocument doc = (HTMLDocument) getDocument();
+
+      String strings[] = s.split(String.format(WITH_DELIMITER, "\\r?\\n"));
+
+      for (int l = 0; l < strings.length; l++) {
+        String str = strings[l];
+        List<String> urls = extractUrls(str);
+
+        if (urls.size() > 0) {
+
+          for (int i = 0; i < urls.size(); i++) {
+            if (!((urls.get(i)).contains("</a>"))) {
+              str = str.replace(urls.get(i), "<a href='" + urls.get(i) + "'>" + urls.get(i) + "</a>");
+            }
+          }
+
+          kit.insertHTML(doc, doc.getLength(), str, 0, 0, null);
+        } else {
+          doc.insertString(doc.getLength(), str, null);
+        }
+      }
+    } catch(BadLocationException exc) {
+        exc.printStackTrace();
+    } catch(IOException exc) {
+        exc.printStackTrace();
+    }
+
+    if (++updateCount > 150 && doTrim) {
+      updateCount = 0;
+      SwingUtilities.invokeLater(new Runnable() {
+        public void run() {
+          trimDocument();
+        }
+      });
+    }
+  }
+
   public void appendNoTrim(String s) {
     int free = maxChars - getDocument().getLength();
     if (free <= 0)