From 8e049f4af5854135f62685f8760a2406b31b2b85 Mon Sep 17 00:00:00 2001 From: Alan Ren Date: Thu, 15 Nov 2018 14:01:32 -0800 Subject: [PATCH] align the radio button with text (#3241) --- src/sql/base/browser/ui/radioButton/radioButton.ts | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/sql/base/browser/ui/radioButton/radioButton.ts b/src/sql/base/browser/ui/radioButton/radioButton.ts index 5a436581ae..3b5ee65781 100644 --- a/src/sql/base/browser/ui/radioButton/radioButton.ts +++ b/src/sql/base/browser/ui/radioButton/radioButton.ts @@ -28,8 +28,11 @@ export class RadioButton extends Widget { super(); this.inputElement = document.createElement('input'); this.inputElement.type = 'radio'; + this.inputElement.style.verticalAlign = 'middle'; + this.inputElement.style.margin = '3px'; this._label = document.createElement('span'); + this._label.style.verticalAlign = 'middle'; this.label = opts.label; this.enabled = opts.enabled || true;