mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-24 00:33:48 +02:00
Code Issues Wiki Activity

force deferred queries - non-deferred can introduce potential hangs and we always planned to get rid of that option too

Browse source
This commit is contained in:
David McKnight 2006-12-08 16:16:27 +00:00
parent f19c85aded
commit 0f7a7d69e8
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
rse/plugins/org.eclipse.rse.ui/UI/org/eclipse/rse/ui/propertypages/RemoteSystemsPreferencePage.java
View file

@ -166,16 +166,19 @@ public class RemoteSystemsPreferencePage
restoreFromCache.setToolTipText(SystemResources.RESID_PREF_RESTOREFROMCACHE_PREFIX_TOOLTIP); restoreFromCache.setToolTipText(SystemResources.RESID_PREF_RESTOREFROMCACHE_PREFIX_TOOLTIP);
// lastRestoreFromCacheValue = getPreferenceStore().getBoolean(ISystemPreferencesConstants.RESTORE_STATE_FROM_CACHE); // lastRestoreFromCacheValue = getPreferenceStore().getBoolean(ISystemPreferencesConstants.RESTORE_STATE_FROM_CACHE);
// USE DEFERRED QUERY // USE DEFERRED QUERY
useDeferredQueryEditor = new SystemBooleanFieldEditor( useDeferredQueryEditor = new SystemBooleanFieldEditor(
ISystemPreferencesConstants.USE_DEFERRED_QUERIES, ISystemPreferencesConstants.USE_DEFERRED_QUERIES,
SystemResources.RESID_PREF_USEDEFERREDQUERIES_PREFIX_LABEL, SystemResources.RESID_PREF_USEDEFERREDQUERIES_PREFIX_LABEL,
getFieldEditorParent()) getFieldEditorParent())
; ;
useDeferredQueryEditor.setEnabled(false); // disable this because we want it always to be true
addField(useDeferredQueryEditor); addField(useDeferredQueryEditor);
useDeferredQueryEditor.setToolTipText(SystemResources.RESID_PREF_USEDEFERREDQUERIES_PREFIX_TOOLTIP); useDeferredQueryEditor.setToolTipText(SystemResources.RESID_PREF_USEDEFERREDQUERIES_PREFIX_TOOLTIP);
lastUseDeferredQueryValue = getPreferenceStore().getBoolean(useDeferredQueryEditor.getPreferenceName()); lastUseDeferredQueryValue = getPreferenceStore().getBoolean(useDeferredQueryEditor.getPreferenceName());
/** FIXME - UDA should not be so coupled to core /** FIXME - UDA should not be so coupled to core
* might need a new preference page for this * might need a new preference page for this
// CASCADE USER-DEFINED ACTIONS BY PROFILE // CASCADE USER-DEFINED ACTIONS BY PROFILE