mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-19 08:52:15 +01:00
Do not find a tab based on filename, when we have a SketchCode
Filename-based matching is a bit more fragile, so just do a lookup based on the SketchCode object we already have instead.
This commit is contained in:
parent
3d573a7e86
commit
fa82fe4db1
@ -787,7 +787,7 @@ public class SketchController {
|
||||
ensureExistence();
|
||||
sketch.addCode(newCode);
|
||||
}
|
||||
editor.selectTab(editor.findTabIndex(filename));
|
||||
editor.selectTab(editor.findTabIndex(newCode));
|
||||
}
|
||||
return true;
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user