Home
last modified time | relevance | path

Searched refs:EDITOR_FOLDING_PROVIDER (Results 1 – 8 of 8) 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/text/folding/
H A DJavaFoldingStructureProviderRegistry.java91 String currentProviderId= preferenceStore.getString(PreferenceConstants.EDITOR_FOLDING_PROVIDER); in getCurrentFoldingProvider()
99 …g defaultProviderId= preferenceStore.getDefaultString(PreferenceConstants.EDITOR_FOLDING_PROVIDER); in getCurrentFoldingProvider()
104 preferenceStore.setToDefault(PreferenceConstants.EDITOR_FOLDING_PROVIDER); in getCurrentFoldingProvider()
/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 DFoldingConfigurationBlock.java148 …renceStore.OverlayKey(OverlayPreferenceStore.STRING, PreferenceConstants.EDITOR_FOLDING_PROVIDER)); in createOverlayStoreKeys()
269 …fStore.setValue(PreferenceConstants.EDITOR_FOLDING_PROVIDER, ((JavaFoldingStructureProviderDescrip… in createProviderViewer()
284 String id= fStore.getString(PreferenceConstants.EDITOR_FOLDING_PROVIDER); in updateListDependencies()
357 String id= fStore.getString(PreferenceConstants.EDITOR_FOLDING_PROVIDER); in restoreFromPreferences()
365 …in.getDefault().getPreferenceStore().getDefaultString(PreferenceConstants.EDITOR_FOLDING_PROVIDER); in restoreFromPreferences()
370 fStore.setToDefault(PreferenceConstants.EDITOR_FOLDING_PROVIDER); in restoreFromPreferences()
/dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/preferences/
H A DFoldingConfigurationBlock.java145 PreferenceConstants.EDITOR_FOLDING_PROVIDER)); in createOverlayStoreKeys()
272 PreferenceConstants.EDITOR_FOLDING_PROVIDER, in createControl()
306 .getString(PreferenceConstants.EDITOR_FOLDING_PROVIDER); in updateListDependencies()
389 .getString(PreferenceConstants.EDITOR_FOLDING_PROVIDER); in restoreFromPreferences()
/dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/text/folding/
H A DJavaFoldingStructureProviderRegistry.java87 .getString(PreferenceConstants.EDITOR_FOLDING_PROVIDER); in getCurrentFoldingProvider()
/dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/
H A DPreferenceConstants.java2521 public static final String EDITOR_FOLDING_PROVIDER = "editor_folding_provider"; //$NON-NLS-1$ field in PreferenceConstants
2989 store.setDefault(PreferenceConstants.EDITOR_FOLDING_PROVIDER, 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.java3392 public static final String EDITOR_FOLDING_PROVIDER= "editor_folding_provider"; //$NON-NLS-1$ field in PreferenceConstants
4214 …store.setDefault(PreferenceConstants.EDITOR_FOLDING_PROVIDER, "org.eclipse.jdt.ui.text.defaultFold… in initializeDefaultValues()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/
H A DJavaEditor.java2974 case PreferenceConstants.EDITOR_FOLDING_PROVIDER:
/dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/
H A DPHPEditor.java4467 if (PreferenceConstants.EDITOR_FOLDING_PROVIDER.equals(property)) {