Make sure that custom filters cannot break our options page

lib/matcher.js

 /*
  * This Source Code is subject to the terms of the Mozilla Public License
  * version 2.0 (the "License"). You can obtain a copy of the License at
  * http://mozilla.org/MPL/2.0/.
  */
 
 //
 // This mimicks the API of the Matcher module in ABP/Firefox but users Opera's
 // URLFilter API.
 //
 
 (function()
 {
+  // Make sure that filters don't apply to extension pages. We shouldn't allow
+  // users to break our options page unintentionally, recovering is very hard
+  // if they do.
+  opera.extension.urlfilter.allow.add("widget://*");
+
   var WhitelistFilter = null;
   var RegExpFilter = null;
   var resourceTypes = [
       "DOCUMENT", "FONT", "IMAGE", "MEDIA", "OBJECT", "OBJECT_SUBREQUEST",
       "OTHER", "SCRIPT", "STYLESHEET", "SUBDOCUMENT", "XMLHTTPREQUEST"
   ];
 
   require.scopes.matcher =
   {
     defaultMatcher:
@@ skipping 142 matching lines @@
         for (var text in this._rules)
         {
           var rule = this._rules[text];
           opera.extension.urlfilter[rule.type].remove(rule.text);
         }
         this._rules = {};
       }
     }
   };
 })();