fixed location and a names bug

2013-10-03 21:21:32 +02:00 · 2013-10-03 21:21:32 +02:00 · 47fb023fdd
commit 47fb023fdd
parent da2d8cfcd5
4 changed files with 11 additions and 7 deletions
--- a/WebKit/scripts/main.js
+++ b/WebKit/scripts/main.js
@ -199,4 +199,8 @@ String.prototype.escapeSpecialChars = function() {
        .replace(/[\n]/g, '\\n')
        .replace(/[\r]/g, '\\r')
        .replace(/[\t]/g, '\\t');
+}
+
+String.prototype.escapeRegExp = function() {
+  return this.replace(/[\-\[\]\/\{\}\(\)\*\+\?\.\\\^\$\|]/g, "\\$&");
 }