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 |