make the debug border not take up space

Author: robobenklein

coderibbon-theia/src/browser/cr-patch.ts

@@ -99,7 +99,7 @@ export class CodeRibbonTheiaPatch extends TabPanel {
     this.tabBar.allowDeselect = false;
 
     // HACK to do this after other updates have been applied
-    setTimeout(() => this.refitBoxLayout());
+    setTimeout(() => this.refitBoxLayout(), 2);
     // this.refitBoxLayout();
   }
 

coderibbon-theia/src/browser/style/debug.less

@@ -1,11 +1,11 @@
 /** @format */
 
 .cr-RibbonStrip-child {
-  border: 2px solid rebeccapurple;
+  outline: 1px solid rebeccapurple;
 }
 
 .cr-RibbonStrip {
-  border: 2px solid darkred;
+  outline: 2px solid darkred;
 }
 
 .cr-RibbonStrip:after {

coderibbon-theia/src/browser/style/ribbon.less

@@ -2,6 +2,7 @@
 
 #theia-bottom-split-panel > #theia-main-content-panel.cr-RibbonPanel {
   overflow-x: scroll;
+  overflow-y: visible;
 
   .cr-RibbonStrip {
     transition: left 0.2s ease;