File tree
Expand file treeCollapse file tree1 file changed
+0
-11
lines changed arduino-ide-extension/src/electron-main/theia
Expand file treeCollapse file tree1 file changed
+0
-11
lines changed Original file line number | Diff line number | Diff line change |
---|
@@ -805,17 +805,6 @@ export class ElectronMainApplication extends TheiaElectronMainApplication {
|
805 | 805 | }
|
806 | 806 | }
|
807 | 807 |
|
808 |
| -class InterruptWorkspaceRestoreError extends Error { |
809 |
| -public readonly isInterruptWorkspaceRestoreError = true; |
810 |
| - |
811 |
| -constructor() { |
812 |
| -super( |
813 |
| -"Received 'open-file' event. Interrupting the default launch workflow." |
814 |
| -); |
815 |
| -Object.setOf(this, InterruptWorkspaceRestoreError.); |
816 |
| -} |
817 |
| -} |
818 |
| - |
819 | 808 | // This is a workaround for a limitation with the Theia CLI and `electron-builder`.
|
820 | 809 | // It is possible to run the `electron-builder` with `-c.extraMetadata.foo.bar=36` option.
|
821 | 810 | // On the fly, a `package.json` file will be generated for the final bundled application with the additional `{ "foo": { "bar": 36 } }` metadata.
|
|
You can’t perform that action at this time.
0 commit comments