1.88.1 final

Alex313031 · Apr 12, 2024 · e10d7b8 · e10d7b8
1 parent 1176a29
commit e10d7b8
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/patches/process-explorer.patch b/patches/process-explorer.patch
@@ -0,0 +1,14 @@
+diff --git a/src/vs/code/electron-sandbox/processExplorer/media/processExplorer.css b/src/vs/code/electron-sandbox/processExplorer/media/processExplorer.css
+index 3baf48c..781d2bd 100644
+--- a/src/vs/code/electron-sandbox/processExplorer/media/processExplorer.css
++++ b/src/vs/code/electron-sandbox/processExplorer/media/processExplorer.css
+@@ -42,7 +42,8 @@ body {
+ }
+
+ .pid {
+-	width: 50px
++	width: 50px;
++	padding-right: 8px;
+ }
+
+ .memory {