Home
last modified time | relevance | path

Searched refs:EDITOR_UNDO_HISTORY_SIZE (Results 1 – 4 of 4) 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.java114 public final static String EDITOR_UNDO_HISTORY_SIZE= "undoHistorySize"; //$NON-NLS-1$ field in AbstractDecoratedTextEditorPreferenceConstants
724 store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_UNDO_HISTORY_SIZE, 200); in initializeDefaultValues()
H A DAbstractDecoratedTextEditor.java863 …if (AbstractDecoratedTextEditorPreferenceConstants.EDITOR_UNDO_HISTORY_SIZE.equals(property) && so…
866 …alUndoLevel(store.getInt(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_UNDO_HISTORY_SIZE));
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.text/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/
H A DTextSourceViewerConfiguration.java339 …fPreferenceStore.contains(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_UNDO_HISTORY_SIZE))
342 …= fPreferenceStore.getInt(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_UNDO_HISTORY_SIZE);
/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.java744 …rlayPreferenceStore.INT, AbstractDecoratedTextEditorPreferenceConstants.EDITOR_UNDO_HISTORY_SIZE)); in createOverlayStore()
846 …= new Preference(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_UNDO_HISTORY_SIZE, label, n… in createAppearancePage()