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