|
Lines 36-41
Link Here
|
| 36 |
private Button garbageCollectorCheck; |
36 |
private Button garbageCollectorCheck; |
| 37 |
private Button deleteImmediatelyRadio, scheduleRadio; |
37 |
private Button deleteImmediatelyRadio, scheduleRadio; |
| 38 |
private Button showLatestRadio, showAllRadio; |
38 |
private Button showLatestRadio, showAllRadio; |
|
|
39 |
private Button oldUpdateUICheck; |
| 39 |
private static final int INDENT = 30; |
40 |
private static final int INDENT = 30; |
| 40 |
|
41 |
|
| 41 |
protected Control createContents(Composite parent) { |
42 |
protected Control createContents(Composite parent) { |
|
Lines 116-121
Link Here
|
| 116 |
} |
117 |
} |
| 117 |
}); |
118 |
}); |
| 118 |
|
119 |
|
|
|
120 |
oldUpdateUICheck = new Button(container, SWT.CHECK); |
| 121 |
oldUpdateUICheck.setText(ProvSDKMessages.ProvisioningPreferencePage_oldUpdateUI); |
| 122 |
gd = new GridData(); |
| 123 |
gd.horizontalSpan = 2; |
| 124 |
oldUpdateUICheck.setLayoutData(gd); |
| 125 |
|
| 119 |
initialize(); |
126 |
initialize(); |
| 120 |
|
127 |
|
| 121 |
Dialog.applyDialogFont(container); |
128 |
Dialog.applyDialogFont(container); |
|
Lines 130-135
Link Here
|
| 130 |
deleteImmediatelyRadio.setSelection(pref.getBoolean(PreferenceConstants.PREF_GC_IMMEDIATELY)); |
137 |
deleteImmediatelyRadio.setSelection(pref.getBoolean(PreferenceConstants.PREF_GC_IMMEDIATELY)); |
| 131 |
showLatestRadio.setSelection(pref.getBoolean(PreferenceConstants.PREF_SHOW_LATEST_VERSION)); |
138 |
showLatestRadio.setSelection(pref.getBoolean(PreferenceConstants.PREF_SHOW_LATEST_VERSION)); |
| 132 |
showAllRadio.setSelection(!pref.getBoolean(PreferenceConstants.PREF_SHOW_LATEST_VERSION)); |
139 |
showAllRadio.setSelection(!pref.getBoolean(PreferenceConstants.PREF_SHOW_LATEST_VERSION)); |
|
|
140 |
oldUpdateUICheck.setSelection(pref.getBoolean(PreferenceConstants.PREF_OLD_UPDATE_MANAGER)); |
| 133 |
pageChanged(); |
141 |
pageChanged(); |
| 134 |
} |
142 |
} |
| 135 |
|
143 |
|
|
Lines 148-153
Link Here
|
| 148 |
scheduleRadio.setSelection(!pref.getDefaultBoolean(PreferenceConstants.PREF_GC_IMMEDIATELY)); |
156 |
scheduleRadio.setSelection(!pref.getDefaultBoolean(PreferenceConstants.PREF_GC_IMMEDIATELY)); |
| 149 |
showLatestRadio.setSelection(pref.getDefaultBoolean(PreferenceConstants.PREF_SHOW_LATEST_VERSION)); |
157 |
showLatestRadio.setSelection(pref.getDefaultBoolean(PreferenceConstants.PREF_SHOW_LATEST_VERSION)); |
| 150 |
showAllRadio.setSelection(!pref.getDefaultBoolean(PreferenceConstants.PREF_SHOW_LATEST_VERSION)); |
158 |
showAllRadio.setSelection(!pref.getDefaultBoolean(PreferenceConstants.PREF_SHOW_LATEST_VERSION)); |
|
|
159 |
oldUpdateUICheck.setSelection(pref.getDefaultBoolean(PreferenceConstants.PREF_OLD_UPDATE_MANAGER)); |
| 151 |
pageChanged(); |
160 |
pageChanged(); |
| 152 |
} |
161 |
} |
| 153 |
|
162 |
|
|
Lines 156-161
Link Here
|
| 156 |
pref.setValue(PreferenceConstants.PREF_ENABLE_GC, garbageCollectorCheck.getSelection()); |
165 |
pref.setValue(PreferenceConstants.PREF_ENABLE_GC, garbageCollectorCheck.getSelection()); |
| 157 |
pref.setValue(PreferenceConstants.PREF_SHOW_LATEST_VERSION, showLatestRadio.getSelection()); |
166 |
pref.setValue(PreferenceConstants.PREF_SHOW_LATEST_VERSION, showLatestRadio.getSelection()); |
| 158 |
pref.setValue(PreferenceConstants.PREF_GC_IMMEDIATELY, deleteImmediatelyRadio.getSelection()); |
167 |
pref.setValue(PreferenceConstants.PREF_GC_IMMEDIATELY, deleteImmediatelyRadio.getSelection()); |
|
|
168 |
pref.setValue(PreferenceConstants.PREF_OLD_UPDATE_MANAGER, oldUpdateUICheck.getSelection()); |
| 159 |
ProvSDKUIActivator.getDefault().savePluginPreferences(); |
169 |
ProvSDKUIActivator.getDefault().savePluginPreferences(); |
| 160 |
return true; |
170 |
return true; |
| 161 |
} |
171 |
} |