From eccb7e76e9e5b7fd247b97e28989ce53c922b51f Mon Sep 17 00:00:00 2001
From: Jonathan Wilkes <jon.w.wilkes@gmail.com>
Date: Fri, 26 Feb 2016 22:38:13 -0500
Subject: [PATCH] add a decent margin below the find bar for console, search,
and canvas
---
pd/nw/css/default.css | 5 ++++-
pd/nw/dialog_search.html | 2 ++
pd/nw/index.js | 4 ++--
3 files changed, 8 insertions(+), 3 deletions(-)
diff --git a/pd/nw/css/default.css b/pd/nw/css/default.css
index 654a72705..ab1608329 100644
--- a/pd/nw/css/default.css
+++ b/pd/nw/css/default.css
@@ -73,6 +73,7 @@ mark.console_find_highlighted {
width: 100%;
height: 1em;
padding: 0.2em;
+ padding-left:8px;
background: silver;
position: fixed;
bottom: 0;
@@ -327,7 +328,9 @@ text {
#canvas_find {
width: 100%;
height: 1em;
- padding: 3px;
+ padding-top: 4px;
+ padding-left: 8px;
+ padding-bottom: 8px;
background: silver;
position: fixed;
bottom: 0;
diff --git a/pd/nw/dialog_search.html b/pd/nw/dialog_search.html
index 0c0b0e7f6..30c9aa36e 100644
--- a/pd/nw/dialog_search.html
+++ b/pd/nw/dialog_search.html
@@ -237,6 +237,7 @@ function toggle_find_bar() {
find_bar_text = document.getElementById("console_find_text"),
state = find_div.style.getPropertyValue("display");
if (state !== "inline") {
+ find_div.style.setProperty("height", "1.4em");
find_div.style.setProperty("display", "inline");
window.setTimeout(function() {
find_bar_text.focus();
@@ -244,6 +245,7 @@ function toggle_find_bar() {
}, 0);
} else {
find_div.style.setProperty("display", "none");
+ find_div.style.setProperty("height", "0em");
// Blur focus so that the console_find keypress doesn't
// receive our shortcut key
find_div.blur();
diff --git a/pd/nw/index.js b/pd/nw/index.js
index 37d474c16..d71bb4b6b 100644
--- a/pd/nw/index.js
+++ b/pd/nw/index.js
@@ -420,9 +420,9 @@ function nw_create_pd_window_menus(gui, w) {
text_container = w.document.getElementById("console_bottom"),
state = find_bar.style.getPropertyValue("display");
if (state === "none") {
- text_container.style.setProperty("bottom", "1.4em");
+ text_container.style.setProperty("bottom", "1.6em");
find_bar.style.setProperty("display", "inline");
- find_bar.style.setProperty("height", "1em");
+ find_bar.style.setProperty("height", "1.2em");
// Don't do the following in logical time so that the
// console_find keypress event won't receive this shortcut key
window.setTimeout(function() {
--
GitLab