workspace: fix input dialog styling (#12158)

The commit fixes the styling of the `WorkspaceInputDialog` to include some additional padding between the content and the input. Signed-off-by: Natali <[email protected]>
eclipse-theia · Feb 8, 2023 · 52d6e87 · 52d6e87
1 parent a60077e
commit 52d6e87
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/packages/workspace/src/browser/workspace-input-dialog.ts b/packages/workspace/src/browser/workspace-input-dialog.ts
@@ -51,6 +51,7 @@ export class WorkspaceInputDialog extends SingleTextInputDialog {
         icon.style.marginRight = '0.5em';
         icon.style.verticalAlign = 'middle';
         element.style.verticalAlign = 'middle';
+        element.style.paddingBottom = '1em';
         element.title = this.props.parentUri.path.fsPath();
         element.appendChild(icon);
         element.appendChild(document.createTextNode(label));