Home
last modified time | relevance | path

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

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.text/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/
H A DAbstractDecoratedTextEditorPreferenceConstants.java221 …public final static String EDITOR_SHOW_CARET_OFFSET= AbstractTextEditor.PREFERENCE_SHOW_CARET_OFFS… field in AbstractDecoratedTextEditorPreferenceConstants
732 store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_SHOW_CARET_OFFSET, true); in initializeDefaultValues()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.text/org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/
H A DTextEditorDefaultsPreferencePage.java749 …PreferenceStore.BOOLEAN, AbstractDecoratedTextEditorPreferenceConstants.EDITOR_SHOW_CARET_OFFSET)); in createOverlayStore()
902 …= new Preference(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_SHOW_CARET_OFFSET, label, n… in createAppearancePage()