mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-12 06:54:24 +01:00
Small update to ProgressWrapper
This commit is contained in:
parent
ce05a6831b
commit
2fd0d35a6e
@ -83,6 +83,10 @@ class ProgressWrapper {
|
||||
String taskName;
|
||||
|
||||
public void update(TaskProgress t) {
|
||||
if (t == null) {
|
||||
return;
|
||||
}
|
||||
|
||||
String name = t.getName();
|
||||
if (!name.isEmpty()) {
|
||||
taskName = name;
|
||||
|
Loading…
x
Reference in New Issue
Block a user