diff --git a/pd/nw/css/default.css b/pd/nw/css/default.css index 654a727050dac4a3bb4733acdc0232ac3a5a1830..ab160832998f28992c959348ed6402028280aa66 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 0c0b0e7f689ceb6b90bc43d9875e833fc30d18ef..30c9aa36ee89c7ea6fe65390f24fc9f23cdde518 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 37d474c16daff1eaa6bc73db1cbc172fdd6755c8..d71bb4b6bf1312cf4d30719c9c360a4742e993ce 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() {