Update arduino-ide-extension/src/browser/theia/workspace/workspace-service.ts

Co-authored-by: Alberto Iannaccone <[email protected]>

Author: kittaakos

Diff for: arduino-ide-extension/src/browser/theia/workspace/workspace-service.ts

@@ -68,7 +68,7 @@ export class WorkspaceService extends TheiaWorkspaceService {
     // When opening a file instead of a directory, IDE2 (and Theia) expects a workspace JSON file.
     // Nothing will work if the workspace file is invalid. Users tend to start (see #964) IDE2 from the `.ino` files,
     // so here, IDE2 tries to load the sketch via the CLI from the main sketch file URI.
-    // If loading the sketch is OK, IDE2 starts and uses that the sketch folder as the workspace root instead of the sketch file.
+    // If loading the sketch is OK, IDE2 starts and uses the sketch folder as the workspace root instead of the sketch file.
     // If loading fails due to invalid name error, IDE2 loads a temp sketch and preserves the startup error, and offers the sketch move to the user later.
     // If loading the sketch fails, create a fallback sketch and open the new temp sketch folder as the workspace root.
     if (stat.isFile && stat.resource.path.ext === '.ino') {