From a7d7cdff04d812dc771c461e4f500d77ae15021d Mon Sep 17 00:00:00 2001
From: Albert Graef <aggraef@gmail.com>
Date: Thu, 14 Jul 2016 05:19:12 +0200
Subject: [PATCH] Cosmetic GUI changes: Reduce label font size in dialogs,
 enlarge prefs dialog window to fix bad line breaks in prefs dialog.

---
 pd/nw/css/c64.css              | 1 +
 pd/nw/css/default.css          | 1 +
 pd/nw/css/extended.css         | 1 +
 pd/nw/css/inverted.css         | 1 +
 pd/nw/css/strongbad.css        | 1 +
 pd/nw/css/subdued.css          | 1 +
 pd/nw/css/vanilla.css          | 1 +
 pd/nw/css/vanilla_inverted.css | 1 +
 pd/nw/pdgui.js                 | 2 +-
 9 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/pd/nw/css/c64.css b/pd/nw/css/c64.css
index d843f8ef7..4d097c656 100644
--- a/pd/nw/css/c64.css
+++ b/pd/nw/css/c64.css
@@ -336,6 +336,7 @@ text {
 
 .dialog_body {
     font-family: "DejaVu Sans", sans-serif;
+    font-size: 10pt;
     background-color: #3e32a2;
 }
 
diff --git a/pd/nw/css/default.css b/pd/nw/css/default.css
index bcf236ed1..b0af5642f 100644
--- a/pd/nw/css/default.css
+++ b/pd/nw/css/default.css
@@ -468,6 +468,7 @@ text {
 
 .dialog_body {
     font-family: "DejaVu Sans", sans-serif;
+    font-size: 10pt;
     background-color: #f3f3f3;
 }
 
diff --git a/pd/nw/css/extended.css b/pd/nw/css/extended.css
index 048d76755..0078617db 100644
--- a/pd/nw/css/extended.css
+++ b/pd/nw/css/extended.css
@@ -330,6 +330,7 @@ text {
 
 .dialog_body {
     font-family: "DejaVu Sans", sans-serif;
+    font-size: 10pt;
     background-color: #f3f3f3;
 }
 
diff --git a/pd/nw/css/inverted.css b/pd/nw/css/inverted.css
index 6b7b27026..632b7453b 100644
--- a/pd/nw/css/inverted.css
+++ b/pd/nw/css/inverted.css
@@ -356,6 +356,7 @@ text {
 
 .dialog_body {
     font-family: "DejaVu Sans", sans-serif;
+    font-size: 10pt;
     background-color: #f3f3f3;
 }
 
diff --git a/pd/nw/css/strongbad.css b/pd/nw/css/strongbad.css
index dde58e27e..b5b46de37 100644
--- a/pd/nw/css/strongbad.css
+++ b/pd/nw/css/strongbad.css
@@ -338,6 +338,7 @@ text {
 
 .dialog_body {
     font-family: "DejaVu Sans", sans-serif;
+    font-size: 10pt;
     background-color: #f3f3f3;
 }
 
diff --git a/pd/nw/css/subdued.css b/pd/nw/css/subdued.css
index 61cd6248e..a92bf54a7 100644
--- a/pd/nw/css/subdued.css
+++ b/pd/nw/css/subdued.css
@@ -337,6 +337,7 @@ text {
 
 .dialog_body {
     font-family: "DejaVu Sans", sans-serif;
+    font-size: 10pt;
     background-color: #f3f3f3;
 }
 
diff --git a/pd/nw/css/vanilla.css b/pd/nw/css/vanilla.css
index 235f707f2..1cfd89b33 100644
--- a/pd/nw/css/vanilla.css
+++ b/pd/nw/css/vanilla.css
@@ -331,6 +331,7 @@ text {
 
 .dialog_body {
     font-family: "DejaVu Sans", sans-serif;
+    font-size: 10pt;
     background-color: #f3f3f3;
 }
 
diff --git a/pd/nw/css/vanilla_inverted.css b/pd/nw/css/vanilla_inverted.css
index 7945e9ed2..d1273f17d 100644
--- a/pd/nw/css/vanilla_inverted.css
+++ b/pd/nw/css/vanilla_inverted.css
@@ -336,6 +336,7 @@ text {
 
 .dialog_body {
     font-family: "DejaVu Sans", sans-serif;
+    font-size: 10pt;
     background-color: #f3f3f3;
 }
 
diff --git a/pd/nw/pdgui.js b/pd/nw/pdgui.js
index 74e30a001..53e520933 100644
--- a/pd/nw/pdgui.js
+++ b/pd/nw/pdgui.js
@@ -3721,7 +3721,7 @@ function gui_pd_dsp(state) {
 
 function open_prefs() {
     if (!dialogwin["prefs"]) {
-        nw_create_window("prefs", "prefs", 265, 400, 0, 0, null);
+        nw_create_window("prefs", "prefs", 300, 420, 0, 0, null);
     }
 }
 
-- 
GitLab