diff --git a/pd/nw/index.js b/pd/nw/index.js index 8417d022c5fb14b405d11c7a3c9496ea474ef429..37ae7ba42b8a1b0bdb8d5867f393cd21cb4f5a89 100644 --- a/pd/nw/index.js +++ b/pd/nw/index.js @@ -119,6 +119,7 @@ function escapeRegExp(string){ // $& means the whole matched string return string.replace(/[.*+?^${}()|\[\]\\]/g, "\\$&"); } + function console_find_text(evt, callback) { var console_text = document.getElementById("p1"), wrap_tag = "mark",