Searched refs:EDITOR_SHIFT_HOVER (Results 1 – 2 of 2) sorted by relevance
1723 public static final String EDITOR_SHIFT_HOVER = "shiftHover"; //$NON-NLS-1$ field in PreferenceConstants2919 store.setDefault(PreferenceConstants.EDITOR_SHIFT_HOVER, in initializeDefaultValues()
2249 public static final String EDITOR_SHIFT_HOVER= "shiftHover"; //$NON-NLS-1$ field in PreferenceConstants