From 919efb6883f6ed65ee33255fb7fc04b457c3f6d4 Mon Sep 17 00:00:00 2001 From: Fen Dweller Date: Tue, 23 Jun 2020 10:46:41 -0400 Subject: [PATCH] Improve the look of the settings menu --- macrovision.css | 12 +++++++++++- macrovision.js | 7 ++----- 2 files changed, 13 insertions(+), 6 deletions(-) diff --git a/macrovision.css b/macrovision.css index 9b89b4ad..113ea5a3 100644 --- a/macrovision.css +++ b/macrovision.css @@ -996,6 +996,7 @@ button { border-width: 5px; border-style: solid; max-width: 240pt; + height: 60pt; } .settings-holder.enabled { @@ -1006,7 +1007,9 @@ button { .settings-desc { text-align: right; margin-right: 8pt; + user-select: none; } + .settings-holder.disabled { background: gray; border-color: darkslategray; @@ -1014,7 +1017,14 @@ button { .settings-name { font-size: 200%; - margin-right: 16pt; + margin-left: 8pt; + user-select: none; +} + +.settings-holder > select { + height: 100%; + background: darkgreen; + font-size: 16pt; } .filter-button > i { diff --git a/macrovision.js b/macrovision.js index b3421cab..a11965ea 100644 --- a/macrovision.js +++ b/macrovision.js @@ -1916,11 +1916,8 @@ function prepareSettings(userSettings) { holder.setAttribute("for", input.id); - // FIXME this is tangled - input.appendChild(name); - input.appendChild(desc); - holder.appendChild(input); holder.appendChild(name); + holder.appendChild(input); holder.appendChild(desc); menubar.appendChild(holder); @@ -1953,8 +1950,8 @@ function prepareSettings(userSettings) { select.value = userSettings[id] === undefined ? entry.default : userSettings[id]; - holder.appendChild(select); holder.appendChild(name); + holder.appendChild(select); holder.appendChild(desc); menubar.appendChild(holder);