Searched refs:updateFilter (Results 1 – 2 of 2) sorted by relevance
185 updateFilter(); in createContents()395 private void updateFilter() { in updateFilter() method in LintPreferencePage434 updateFilter(); in scheduleSearch()515 updateFilter(); in widgetSelected()538 updateFilter(); in widgetDefaultSelected()
372 updateFilter(e); in buildStatusPanel()376 updateFilter(e); in buildStatusPanel()380 updateFilter(e); in buildStatusPanel()993 private void updateFilter(DocumentEvent e) { in updateFilter() method in Workspace