rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2024-12-01 12:24:14 +01:00
Code Issues Releases Activity

Revert "Fix keyword loading to use any whitespace as separator"

Browse Source 
This reverts commit eed9e7069f.
See #6693
This commit is contained in:
Cristian Maglie 2018-02-19 12:02:50 +01:00
parent 1cf34c8250
commit 0175a4ee94
2 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
app/src/processing/app/syntax/PdeKeywords.java
View File

@ -115,7 +115,7 @@ public class PdeKeywords {
continue;
}
String pieces[] = line.split("\\s+", 4);
String pieces[] = line.split("\t");
String keyword = pieces[0].trim();
if (keyword.startsWith("\\#")) {

1
build/shared/revisions.txt
View File

@ -5,7 +5,6 @@ ARDUINO 1.8.6
* Added scroller in programmers menu.
* Added "accelerator" in scrollable menu, press "a" key while scrolling
* Keep "Board Manager" menu item always as first in the menu
* keyword.txt now allows any whitespace. Thanks @bhagman
[wifi101-firmware]
* SECURITY FIX: Released fix for WPA2 KRACK vulnerability (latest WINC1500 firmware 19.5.2).