Bug 4273 Compiler option changes not handled correctly (1GKWRI3)
Nothing happens if auto-build is on and (some) compiler options are changed . If something was reported as error and now I choose that to be reported as warning and if autobuild is on I expect a rebuild. Same if I switch from 1.2 to 1.3 compatibilty. NOTES: EG (01.10.2001 14:57:06) we should prompt the user for a rebuild whenever an option changes. MA (01.10.2001 15:16:25) The description in the pages says everything. EG (02.10.2001 18:16:59) yes, but this is isn't sufficient. We should show a dialog with the option to rebuild the workspace after apply.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/CompilerPreferencePage.java
public int getSelection(String value) {
			for (int i= 0; i < fValues.length; i++) {
				if (value.equals(fValues[i])) {
					return i;
				}
			}
			throw new IllegalArgumentException();
		}
	}
	
	private Hashtable fWorkingValues;
	private ArrayList fCheckBoxes;
	private ArrayList fComboBoxes;
	
	private SelectionListener fSelectionListener;
	public CompilerPreferencePage() {
		setPreferenceStore(JavaPlugin.getDefault().getPreferenceStore());
		setDescription(JavaUIMessages.getString("CompilerPreferencePage.description")); 
	
		fWorkingValues= JavaCore.getOptions();
		fCheckBoxes= new ArrayList();
		fComboBoxes= new ArrayList();
		
		fSelectionListener= new SelectionListener() {
			public void widgetDefaultSelected(SelectionEvent e) {}
			public void widgetSelected(SelectionEvent e) {
				controlChanged(e.widget);
			}
		};