diff --git a/pd/nw/dialog_search.html b/pd/nw/dialog_search.html index 6c9d292a7596a7c20c916c4a4cf411e4d362fde4..c882574b61da563435bc255c2a93365b73bf625e 100644 --- a/pd/nw/dialog_search.html +++ b/pd/nw/dialog_search.html @@ -500,7 +500,7 @@ function console_find_text(elem, evt, callback) { } else { window.findAndReplaceDOMText(console_text, { //preset: "prose", - find: elem.value.toLowerCase(), + find: elem.value, wrap: wrap_tag }); // The searchAndReplace API is so bad you can't even know how