(String text)
| 1562 | |
| 1563 | |
| 1564 | void handleFindReference(String text) { |
| 1565 | String referenceFile = base.getPdeKeywords().getReference(text); |
| 1566 | String q; |
| 1567 | if (referenceFile == null) { |
| 1568 | q = text; |
| 1569 | } else if (referenceFile.startsWith("Serial_")) { |
| 1570 | q = referenceFile.substring(7); |
| 1571 | } else { |
| 1572 | q = referenceFile; |
| 1573 | } |
| 1574 | try { |
| 1575 | Base.openURL("https://www.arduino.cc/search?tab=&q=" |
| 1576 | + URLEncoder.encode(q, "UTF-8")); |
| 1577 | } catch (UnsupportedEncodingException e) { |
| 1578 | e.printStackTrace(); |
| 1579 | } |
| 1580 | } |
| 1581 | |
| 1582 | |
| 1583 | // . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
no test coverage detected