diff --git a/pd/nw/index.js b/pd/nw/index.js index 1cd5e01f1466ab118b585283984b054d4189c4a7..37ae7ba42b8a1b0bdb8d5867f393cd21cb4f5a89 100644 --- a/pd/nw/index.js +++ b/pd/nw/index.js @@ -117,8 +117,9 @@ function console_unwrap_tag(console_elem, tag_name) { // We need to use a regular expression to search without regard to case function escapeRegExp(string){ // $& means the whole matched string - return string.replace(/[.*+?^${}()|[\]\\]/g, "\\$&"); + return string.replace(/[.*+?^${}()|\[\]\\]/g, "\\$&"); } + function console_find_text(evt, callback) { var console_text = document.getElementById("p1"), wrap_tag = "mark",