From c983b520aa04890daa8cb2da3b947a0069716260 Mon Sep 17 00:00:00 2001 From: mustard Date: Fri, 26 Aug 2022 14:25:50 +0000 Subject: [PATCH] [gp-code] Report workbench errors --- .../gitpod/browser/workbench/workbench.html | 79 +++++++++++++++++-- 1 file changed, 72 insertions(+), 7 deletions(-) diff --git a/src/vs/gitpod/browser/workbench/workbench.html b/src/vs/gitpod/browser/workbench/workbench.html index bd2ac09455dfb..075e75149ba4d 100644 --- a/src/vs/gitpod/browser/workbench/workbench.html +++ b/src/vs/gitpod/browser/workbench/workbench.html @@ -3,6 +3,71 @@ @@ -28,7 +93,7 @@ - + @@ -36,9 +101,9 @@ - - - + + + - - - + + +