Do not (re)store state of Open Editors (#12210)

eclipse-theia · Feb 23, 2023 · f0cd180 · f0cd180
1 parent 06f92c8
commit f0cd180
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/packages/navigator/src/browser/open-editors-widget/navigator-open-editors-widget.tsx b/packages/navigator/src/browser/open-editors-widget/navigator-open-editors-widget.tsx
@@ -265,4 +265,8 @@ export class OpenEditorsWidget extends AbstractNavigatorTreeWidget {
         }
         return this.props.leftPadding;
     }
+
+    // The state of this widget is derived from external factors. No need to store or restore it.
+    override storeState(): object { return {}; }
+    override restoreState(): void { }
 }