Index: lib/filterListener.js |
=================================================================== |
--- a/lib/filterListener.js |
+++ b/lib/filterListener.js |
@@ -136,17 +136,17 @@ function init() |
init(); |
/** |
* Calls ElemHide.apply() if necessary. |
*/ |
function flushElemHide() |
{ |
if (!batchMode && ElemHide.isDirty) |
- ElemHide.apply(); |
+ ElemHide.saveStylesheet(); |
} |
/** |
* Notifies Matcher instances or ElemHide object about a new filter |
* if necessary. |
* @param {Filter} filter filter that has been added |
*/ |
function addFilter(filter) |