Bug 56459 Pref Page Type Filters [code manipulation]
The buttons are not sized according to the dialog font.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/SpellingConfigurationBlock.java
protected Map getDefaultOptions() {
		final String[] keys= getAllKeys();
		final Map options= new HashMap();
		final IPreferenceStore store= PreferenceConstants.getPreferenceStore();
		for (int index= 0; index < keys.length; index++)
			options.put(keys[index], store.getDefaultString(keys[index]));
		return options;
	}
	/*
	 * @see org.eclipse.jdt.internal.ui.preferences.OptionsConfigurationBlock#getFullBuildDialogStrings(boolean)
	 */
	protected final String[] getFullBuildDialogStrings(final boolean workspace) {
		return null;
	}
	/*
	 * @see org.eclipse.jdt.internal.ui.preferences.OptionsConfigurationBlock#getOptions(boolean)
	 */
	protected Map getOptions(final boolean inherit) {
		final String[] keys= getAllKeys();
		final Map options= new HashMap();
		final IPreferenceStore store= PreferenceConstants.getPreferenceStore();
		for (int index= 0; index < keys.length; index++)
			options.put(keys[index], store.getString(keys[index]));
		return options;
	}
	/**
	 * Handles selections of the browse button.
	 */
	protected void handleBrowseButtonSelected() {
		final FileDialog dialog= new FileDialog(getShell(), SWT.OPEN);