Lines Matching defs:filterAdvancedScenarios
107 Action filterAdvancedScenarios;
244 manager.add(this.filterAdvancedScenarios);
256 void filterAdvancedScenarios(boolean fingerprints, boolean updatePreference) {
285 if (this.filterAdvancedScenarios != null) {
286 this.results.setFingerprints(this.filterAdvancedScenarios.isChecked());
321 this.filterAdvancedScenarios = new Action("Advanced &Scenarios", IAction.AS_CHECK_BOX) {
323 filterAdvancedScenarios(isChecked(), true/*update preference*/);
326 this.filterAdvancedScenarios.setChecked(true);
327 this.filterAdvancedScenarios.setToolTipText("Filter advanced scenarios (i.e. not fingerprint ones)");
359 filterAdvancedScenarios(checked, false/*do not update preference*/);
360 this.filterAdvancedScenarios.setChecked(checked);
394 this.filterAdvancedScenarios.setChecked(checked);
455 if (this.filterAdvancedScenarios.isChecked()) {
