mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-07-04 15:45:25 +02:00
[216596] dstore preferences (timeout, and others)
This commit is contained in:
parent
147cfa0b18
commit
f52890cf85
2 changed files with 23 additions and 1 deletions
|
@ -15,4 +15,4 @@
|
|||
pluginName = RSE DStore Connector Service
|
||||
providerName = Eclipse.org
|
||||
|
||||
PreferencePage.Datastore = Datastore
|
||||
PreferencePage.Datastore = DataStore
|
||||
|
|
|
@ -195,6 +195,28 @@ public class DStorePreferencePage extends PreferencePage implements IWorkbenchPr
|
|||
|
||||
}
|
||||
|
||||
public boolean performOk() {
|
||||
IPreferenceStore store = RSEUIPlugin.getDefault().getPreferenceStore();
|
||||
|
||||
// timeout
|
||||
String timeoutStr = _connectionTimeout.getText();
|
||||
int timeout = Integer.parseInt(timeoutStr);
|
||||
store.setValue(IUniversalDStoreConstants.RESID_PREF_SOCKET_TIMEOUT, timeout);
|
||||
|
||||
// do keepalive
|
||||
boolean doKeepalive = _doKeepaliveButton.getSelection();
|
||||
store.setValue(IUniversalDStoreConstants.RESID_PREF_DO_KEEPALIVE, doKeepalive);
|
||||
|
||||
// cache remote classes
|
||||
boolean cacheRemoteClasses = _cacheRemoteClassesButton.getSelection();
|
||||
store.setValue(IUniversalDStoreConstants.RESID_PREF_CACHE_REMOTE_CLASSES, cacheRemoteClasses);
|
||||
|
||||
// show mismatched server warning
|
||||
boolean showMismatchedWarning = _showMismatchedServerWarningButton.getSelection();
|
||||
store.setValue(IUniversalDStoreConstants.ALERT_MISMATCHED_SERVER, showMismatchedWarning);
|
||||
return super.performOk();
|
||||
}
|
||||
|
||||
|
||||
|
||||
}
|
||||
|
|
Loading…
Add table
Reference in a new issue