Home
last modified time | relevance | path

Searched refs:EDITOR_TEXT_HOVER_MODIFIER_MASKS (Results 1 – 7 of 7) sorted by relevance

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/
H A DJavaEditorHoverConfigurationBlock.java207 …e.OverlayKey(OverlayPreferenceStore.STRING, PreferenceConstants.EDITOR_TEXT_HOVER_MODIFIER_MASKS)); in createOverlayStoreKeys()
449 fStore.setValue(PreferenceConstants.EDITOR_TEXT_HOVER_MODIFIER_MASKS, maskBuf.toString()); in performOk()
473 ….getDefault().getPreferenceStore().getString(PreferenceConstants.EDITOR_TEXT_HOVER_MODIFIER_MASKS); in restoreFromPreferences()
/dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/preferences/
H A DJavaEditorHoverConfigurationBlock.java330 fStore.setValue(PreferenceConstants.EDITOR_TEXT_HOVER_MODIFIER_MASKS, in performOk()
366 PreferenceConstants.EDITOR_TEXT_HOVER_MODIFIER_MASKS); in restoreFromPreferences()
H A DJavaEditorPreferencePage.java678 PreferenceConstants.EDITOR_TEXT_HOVER_MODIFIER_MASKS)); in createOverlayStoreKeys()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/java/hover/
H A DJavaEditorTextHoverDescriptor.java220 ….getDefault().getPreferenceStore().getString(PreferenceConstants.EDITOR_TEXT_HOVER_MODIFIER_MASKS); in initializeFromPreferences()
/dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/text/java/hover/
H A DJavaEditorTextHoverDescriptor.java279 PreferenceConstants.EDITOR_TEXT_HOVER_MODIFIER_MASKS); in initializeFromPreferences()
/dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/
H A DPreferenceConstants.java2500 public static final String EDITOR_TEXT_HOVER_MODIFIER_MASKS = "hoverModifierMasks"; //$NON-NLS-1$ field in PreferenceConstants
2940 PreferenceConstants.EDITOR_TEXT_HOVER_MODIFIER_MASKS, 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 DPreferenceConstants.java697 public static final String EDITOR_TEXT_HOVER_MODIFIER_MASKS= "hoverModifierMasks"; //$NON-NLS-1$ field in PreferenceConstants
4152 …store.setDefault(PreferenceConstants.EDITOR_TEXT_HOVER_MODIFIER_MASKS, "org.eclipse.jdt.ui.BestMat… in initializeDefaultValues()