|
Lines 1-5
Link Here
|
| 1 |
/**************************************************************************** |
1 |
/**************************************************************************** |
| 2 |
* Copyright (c) 2000, 2010 IBM Corporation and others. |
2 |
* Copyright (c) 2000, 2011 IBM Corporation and others. |
| 3 |
* All rights reserved. This program and the accompanying materials |
3 |
* All rights reserved. This program and the accompanying materials |
| 4 |
* are made available under the terms of the Eclipse Public License v1.0 |
4 |
* are made available under the terms of the Eclipse Public License v1.0 |
| 5 |
* which accompanies this distribution, and is available at |
5 |
* which accompanies this distribution, and is available at |
|
Lines 9-14
Link Here
|
| 9 |
* IBM Corporation - initial API and implementation |
9 |
* IBM Corporation - initial API and implementation |
| 10 |
* Dina Sayed, dsayed@eg.ibm.com, IBM - bug 269844 |
10 |
* Dina Sayed, dsayed@eg.ibm.com, IBM - bug 269844 |
| 11 |
* Markus Schorn (Wind River Systems) - bug 284447 |
11 |
* Markus Schorn (Wind River Systems) - bug 284447 |
|
|
12 |
* James Blackburn (Broadcom Corp.) - bug 303517 |
| 12 |
*******************************************************************************/ |
13 |
*******************************************************************************/ |
| 13 |
package org.eclipse.ui.internal.ide.dialogs; |
14 |
package org.eclipse.ui.internal.ide.dialogs; |
| 14 |
|
15 |
|
|
Lines 29-34
Link Here
|
| 29 |
import org.eclipse.jface.util.PropertyChangeEvent; |
30 |
import org.eclipse.jface.util.PropertyChangeEvent; |
| 30 |
import org.eclipse.osgi.util.NLS; |
31 |
import org.eclipse.osgi.util.NLS; |
| 31 |
import org.eclipse.swt.SWT; |
32 |
import org.eclipse.swt.SWT; |
|
|
33 |
import org.eclipse.swt.events.SelectionAdapter; |
| 34 |
import org.eclipse.swt.events.SelectionEvent; |
| 32 |
import org.eclipse.swt.layout.GridData; |
35 |
import org.eclipse.swt.layout.GridData; |
| 33 |
import org.eclipse.swt.layout.GridLayout; |
36 |
import org.eclipse.swt.layout.GridLayout; |
| 34 |
import org.eclipse.swt.widgets.Button; |
37 |
import org.eclipse.swt.widgets.Button; |
|
Lines 67-72
Link Here
|
| 67 |
private FieldEditor workspaceName; |
70 |
private FieldEditor workspaceName; |
| 68 |
|
71 |
|
| 69 |
private Button autoRefreshButton; |
72 |
private Button autoRefreshButton; |
|
|
73 |
private Button fsRefreshButton; |
| 70 |
|
74 |
|
| 71 |
private Button closeUnrelatedProjectButton; |
75 |
private Button closeUnrelatedProjectButton; |
| 72 |
|
76 |
|
|
Lines 259-268
Link Here
|
| 259 |
this.autoRefreshButton.setText(IDEWorkbenchMessages.IDEWorkspacePreference_RefreshButtonText); |
263 |
this.autoRefreshButton.setText(IDEWorkbenchMessages.IDEWorkspacePreference_RefreshButtonText); |
| 260 |
this.autoRefreshButton.setToolTipText(IDEWorkbenchMessages.IDEWorkspacePreference_RefreshButtonToolTip); |
264 |
this.autoRefreshButton.setToolTipText(IDEWorkbenchMessages.IDEWorkspacePreference_RefreshButtonToolTip); |
| 261 |
|
265 |
|
|
|
266 |
this.fsRefreshButton = new Button(parent, SWT.CHECK); |
| 267 |
this.fsRefreshButton.setText(IDEWorkbenchMessages.IDEWorkspacePreferencePage_RefreshFSButtonText); |
| 268 |
this.fsRefreshButton.setToolTipText(IDEWorkbenchMessages.IDEWorkspacePreferencePage_RefreshFSButtonToolTip); |
| 269 |
this.fsRefreshButton.addSelectionListener(new SelectionAdapter() { |
| 270 |
/* (non-Javadoc) |
| 271 |
* @see org.eclipse.swt.events.SelectionAdapter#widgetSelected(org.eclipse.swt.events.SelectionEvent) |
| 272 |
*/ |
| 273 |
public void widgetSelected(SelectionEvent e) { |
| 274 |
if (fsRefreshButton.getSelection()) { |
| 275 |
autoRefreshButton.setSelection(true); |
| 276 |
autoRefreshButton.setEnabled(false); |
| 277 |
} else |
| 278 |
autoRefreshButton.setEnabled(true); |
| 279 |
} |
| 280 |
}); |
| 281 |
|
| 262 |
boolean autoRefresh = ResourcesPlugin.getPlugin() |
282 |
boolean autoRefresh = ResourcesPlugin.getPlugin() |
| 263 |
.getPluginPreferences().getBoolean( |
283 |
.getPluginPreferences().getBoolean( |
| 264 |
ResourcesPlugin.PREF_AUTO_REFRESH); |
284 |
ResourcesPlugin.PREF_AUTO_REFRESH); |
|
|
285 |
boolean fsRefresh = ResourcesPlugin.getPlugin() |
| 286 |
.getPluginPreferences().getBoolean( |
| 287 |
ResourcesPlugin.PREF_FS_REFRESH); |
| 265 |
this.autoRefreshButton.setSelection(autoRefresh); |
288 |
this.autoRefreshButton.setSelection(autoRefresh); |
|
|
289 |
this.fsRefreshButton.setSelection(fsRefresh); |
| 290 |
this.autoRefreshButton.setEnabled(!this.fsRefreshButton.getSelection()); |
| 266 |
} |
291 |
} |
| 267 |
|
292 |
|
| 268 |
/** |
293 |
/** |
|
Lines 380-391
Link Here
|
| 380 |
boolean closeUnrelatedProj = store.getDefaultBoolean(IDEInternalPreferences.CLOSE_UNRELATED_PROJECTS); |
405 |
boolean closeUnrelatedProj = store.getDefaultBoolean(IDEInternalPreferences.CLOSE_UNRELATED_PROJECTS); |
| 381 |
closeUnrelatedProjectButton.setSelection(closeUnrelatedProj); |
406 |
closeUnrelatedProjectButton.setSelection(closeUnrelatedProj); |
| 382 |
|
407 |
|
| 383 |
|
408 |
|
| 384 |
boolean autoRefresh = ResourcesPlugin.getPlugin() |
409 |
boolean autoRefresh = ResourcesPlugin.getPlugin() |
| 385 |
.getPluginPreferences().getDefaultBoolean( |
410 |
.getPluginPreferences().getDefaultBoolean( |
| 386 |
ResourcesPlugin.PREF_AUTO_REFRESH); |
411 |
ResourcesPlugin.PREF_AUTO_REFRESH); |
|
|
412 |
boolean fsRefresh = ResourcesPlugin.getPlugin() |
| 413 |
.getPluginPreferences().getDefaultBoolean( |
| 414 |
ResourcesPlugin.PREF_FS_REFRESH); |
| 387 |
autoRefreshButton.setSelection(autoRefresh); |
415 |
autoRefreshButton.setSelection(autoRefresh); |
| 388 |
|
416 |
fsRefreshButton.setSelection(fsRefresh); |
|
|
417 |
|
| 389 |
clearUserSettings = true; |
418 |
clearUserSettings = true; |
| 390 |
|
419 |
|
| 391 |
List encodings = WorkbenchEncoding.getDefinedEncodings(); |
420 |
List encodings = WorkbenchEncoding.getDefinedEncodings(); |
|
Lines 451-457
Link Here
|
| 451 |
|
480 |
|
| 452 |
boolean autoRefresh = autoRefreshButton.getSelection(); |
481 |
boolean autoRefresh = autoRefreshButton.getSelection(); |
| 453 |
preferences.setValue(ResourcesPlugin.PREF_AUTO_REFRESH, autoRefresh); |
482 |
preferences.setValue(ResourcesPlugin.PREF_AUTO_REFRESH, autoRefresh); |
| 454 |
|
483 |
boolean fsRefresh = fsRefreshButton.getSelection(); |
|
|
484 |
preferences.setValue(ResourcesPlugin.PREF_FS_REFRESH, fsRefresh); |
| 485 |
|
| 455 |
boolean closeUnrelatedProj = closeUnrelatedProjectButton.getSelection(); |
486 |
boolean closeUnrelatedProj = closeUnrelatedProjectButton.getSelection(); |
| 456 |
getIDEPreferenceStore().setValue(IDEInternalPreferences.CLOSE_UNRELATED_PROJECTS, closeUnrelatedProj); |
487 |
getIDEPreferenceStore().setValue(IDEInternalPreferences.CLOSE_UNRELATED_PROJECTS, closeUnrelatedProj); |
| 457 |
|
488 |
|
