mirror of
https://github.com/esp8266/Arduino.git
synced 2025-06-17 22:23:10 +03:00
Editor: highlights cleared also on upload. Fixes #3253
This commit is contained in:
@ -2519,6 +2519,7 @@ public class Editor extends JFrame implements RunnerListener {
|
|||||||
public void run() {
|
public void run() {
|
||||||
|
|
||||||
try {
|
try {
|
||||||
|
textarea.removeAllLineHighlights();
|
||||||
if (serialMonitor != null) {
|
if (serialMonitor != null) {
|
||||||
serialMonitor.suspend();
|
serialMonitor.suspend();
|
||||||
}
|
}
|
||||||
|
Reference in New Issue
Block a user