EDITOR_CTRL_ALT_HOVER (reference) in projects: dports

Searched refs:EDITOR_CTRL_ALT_HOVER (Results 1 – 2 of 2) sorted by relevance

/dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/
H A D	PreferenceConstants.java	`1740 public static final String EDITOR_CTRL_ALT_HOVER = "ctrlAltHover"; //$NON-NLS-1$ field in PreferenceConstants 2923 store.setDefault(PreferenceConstants.EDITOR_CTRL_ALT_HOVER, in initializeDefaultValues()`
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/ui/
H A D	PreferenceConstants.java	`2266 public static final String EDITOR_CTRL_ALT_HOVER= "ctrlAltHover"; //$NON-NLS-1$ field in PreferenceConstants`