debug: error editor same style as binary editor

#9062
This commit is contained in:
isidor 2016-09-08 13:51:21 +02:00
parent 6cb1643f5a
commit ae95c243ae
2 changed files with 12 additions and 4 deletions

View file

@ -21,13 +21,11 @@ export class DebugErrorEditor extends BaseEditor {
}
public createEditor(parent: Builder): void {
this.container = dom.append(parent.getHTMLElement(), $('.'));
this.container.style.paddingLeft = '20px';
this.container = dom.append(parent.getHTMLElement(), $('.debug-error-editor'));
}
public layout(dimension: Dimension): void {
// we take the padding we set on create into account
this.container.style.width = `${Math.max(dimension.width - 20, 0)}px`;
this.container.style.width = `${dimension.width}px`;
this.container.style.height = `${dimension.height}px`;
}

View file

@ -71,6 +71,16 @@
background: #CC6633 !important;
}
/* Error editor */
.debug-error-editor:focus {
outline: none !important;
}
.debug-error-editor {
padding: 5px 0 0 10px;
box-sizing: border-box;
}
/* Actionbar actions */
.monaco-workbench .debug-action.step-over,