GH-8361: Fixed editor resizing issue in Output.

Closes #8361. Signed-off-by: Akos Kitta <[email protected]>
eclipse-theia · Aug 18, 2020 · 9d2dcd0 · 9d2dcd0
1 parent 3616b0a
commit 9d2dcd0
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/packages/output/src/browser/output-widget.tsx b/packages/output/src/browser/output-widget.tsx
@@ -147,6 +147,11 @@ export class OutputWidget extends BaseWidget implements StatefulWidget {
         }
     }
 
+    protected onAfterShow(msg: Message): void {
+        super.onAfterShow(msg);
+        this.onResize(Widget.ResizeMessage.UnknownSize); // Triggers an editor widget resize. (#8361)
+    }
+
     get onStateChanged(): Event<OutputWidget.State> {
         return this.onStateChangedEmitter.event;
     }