| 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) |