Searched refs:TYPEFILTER_DISABLED (Results 1 – 2 of 2) sorted by relevance
73 private static final String PREF_FILTER_DISABLED= PreferenceConstants.TYPEFILTER_DISABLED;
404 …public static final String TYPEFILTER_DISABLED= "org.eclipse.jdt.ui.typefilter.disabled"; //$NON-N… field in PreferenceConstants3989 store.setDefault(PreferenceConstants.TYPEFILTER_DISABLED, ""); //$NON-NLS-1$ in initializeDefaultValues()