@Override public void consolidateFilter() {
            String text = getText();
            String content = this.content.toString();
            if (!text.equals(content)) {
	            if (instantFiltering) {
	                // with instant filtering, the filter could be the instant
	                // expression (normally the test + '*'). If this is the case,
	                // show it
                    consolidateInstantFilter(text, content);
	            } else {
	                updateFilter();
	            }
            }
            // remove now any selection and try to activate custom decoration
            getCaret().setDot(getCaret().getDot());
            activateCustomDecoration();
        }
@Override public void consolidateFilter()