});
}
}, FILTER_DELAY, TimeUnit.MILLISECONDS);
-
}
-
+
+ protected void applyFilter(String filter) {
+ final NodeContext context = getFilteredNode();
+ if (context != null)
+ applyFilter(context, filter, true);
+ }
+
protected void applyFilter(NodeContext context, String filter, boolean updateUI) {
if (updateUI) {
String current = filterText.getText();