From cc5c4bb32e986bcbab30e25c9bccb59c1f529951 Mon Sep 17 00:00:00 2001
From: gorhill <rhill@raymondhill.net>
Date: Sun, 1 Mar 2015 08:57:43 -0500
Subject: [PATCH] mind pipe anchors when highlighting as per filter

---
 src/js/devtool-log.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/js/devtool-log.js b/src/js/devtool-log.js
index e7075521b..5a2435283 100644
--- a/src/js/devtool-log.js
+++ b/src/js/devtool-log.js
@@ -59,6 +59,8 @@ var renderURL = function(url, filter) {
             .replace(/\?/g, '\\?')
             .replace('||', '')
             .replace(/\^/g, '.')
+            .replace(/^\|/g, '^')
+            .replace(/\$$/g, '$')
             .replace(/\*/g, '.*')
             ;
     }