mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-07-09 12:26:34 +00:00
fixed sketch opening. This was the happy path.
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
parent
3806d56e94
commit
aa2bed8d39
@ -119,7 +119,10 @@ export class OpenSketch extends SketchContribution {
|
||||
const sketchFilePath = filePaths[0];
|
||||
const sketchFileUri = await this.fileSystemExt.getUri(sketchFilePath);
|
||||
const sketch = await this.sketchService.getSketchFolder(sketchFileUri);
|
||||
if (!sketch && sketchFileUri.endsWith('.ino')) {
|
||||
if (sketch) {
|
||||
return sketch;
|
||||
}
|
||||
if (sketchFileUri.endsWith('.ino')) {
|
||||
const name = new URI(sketchFileUri).path.name;
|
||||
const nameWithExt = this.labelProvider.getName(new URI(sketchFileUri));
|
||||
const { response } = await remote.dialog.showMessageBox({
|
||||
|
Loading…
x
Reference in New Issue
Block a user