PREF_DEFAULT (reference) in projects: dports

Searched refs:PREF_DEFAULT (Results 1 – 3 of 3) sorted by relevance

/dports/mail/horde-imp/imp-6.2.27/lib/Prefs/Special/
H A D	Sentmail.php	`56 $view->default = IMP_Mailbox::formTo(self::PREF_DEFAULT); 95 } elseif (($sent_mail == self::PREF_DEFAULT) &&`
H A D	SpecialMboxes.php	`25 const PREF_DEFAULT = "default\0"; define in IMP_Prefs_Special_SpecialMboxes`
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.core/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/
H A D	JavaModelManager.java	429 static final int PREF_DEFAULT = 1; field in JavaModelManager 1767 if (event.getChild() == JavaModelManager.this.preferencesLookup[PREF_DEFAULT]) { 1768 …JavaModelManager.this.preferencesLookup[PREF_DEFAULT] = DefaultScope.INSTANCE.getNode(JavaCore.PLU… 2252 return this.preferencesLookup[PREF_DEFAULT]; in getDefaultPreferences() 3335 this.preferencesLookup[PREF_DEFAULT] = DefaultScope.INSTANCE.getNode(JavaCore.PLUGIN_ID); in initializePreferences() 3362 if (event.getChild() == JavaModelManager.this.preferencesLookup[PREF_DEFAULT]) { in initializePreferences() 3363 …JavaModelManager.this.preferencesLookup[PREF_DEFAULT] = DefaultScope.INSTANCE.getNode(JavaCore.PLU… in initializePreferences() 3367 …((IEclipsePreferences) this.preferencesLookup[PREF_DEFAULT].parent()).addNodeChangeListener(this.d… in initializePreferences() 5486 …((IEclipsePreferences) this.preferencesLookup[PREF_DEFAULT].parent()).removeNodeChangeListener(thi… in shutdown() 5487 this.preferencesLookup[PREF_DEFAULT] = null; in shutdown()