Attachment 3467 Details for Bug 25165 – Version of M5 EditorsPreferencePage which allows editors to not show icons

Version of M5 EditorsPreferencePage which allows editors to not show icons

EditorsPreferencePage.java (text/plain), 23.68 KB, created by Jon Skeet

on 2003-02-13 06:15:23 EST

(hide)

Description:

Filename:

MIME Type:

Creator: Jon Skeet

Created: 2003-02-13 06:15:23 EST

Size: 23.68 KB

patch

obsolete

>/************************************************************************
>Copyright (c) 2000, 2003 IBM Corporation and others.
>All rights reserved.   This program and the accompanying materials
>are made available under the terms of the Common Public License v1.0
>which accompanies this distribution, and is available at
>http://www.eclipse.org/legal/cpl-v10.html
>
>Contributors:
>	IBM - Initial implementation
>************************************************************************/
>
>package org.eclipse.ui.internal.dialogs;
>
>import java.io.UnsupportedEncodingException;
>import java.util.ArrayList;
>import java.util.Collections;
>import java.util.Hashtable;
>
>import org.eclipse.core.resources.ResourcesPlugin;
>import org.eclipse.core.runtime.Preferences;
>
>import org.eclipse.swt.SWT;
>import org.eclipse.swt.events.ModifyEvent;
>import org.eclipse.swt.events.ModifyListener;
>import org.eclipse.swt.events.SelectionAdapter;
>import org.eclipse.swt.events.SelectionEvent;
>import org.eclipse.swt.graphics.Font;
>import org.eclipse.swt.layout.GridData;
>import org.eclipse.swt.layout.GridLayout;
>import org.eclipse.swt.widgets.Button;
>import org.eclipse.swt.widgets.Combo;
>import org.eclipse.swt.widgets.Composite;
>import org.eclipse.swt.widgets.Control;
>import org.eclipse.swt.widgets.Group;
>
>import org.eclipse.jface.preference.FieldEditor;
>import org.eclipse.jface.preference.IPreferenceStore;
>import org.eclipse.jface.preference.IntegerFieldEditor;
>import org.eclipse.jface.preference.PreferencePage;
>import org.eclipse.jface.preference.StringFieldEditor;
>import org.eclipse.jface.util.IPropertyChangeListener;
>import org.eclipse.jface.util.PropertyChangeEvent;
>
>import org.eclipse.ui.IWorkbench;
>import org.eclipse.ui.IWorkbenchPreferencePage;
>import org.eclipse.ui.help.WorkbenchHelp;
>import org.eclipse.ui.internal.IHelpContextIds;
>import org.eclipse.ui.internal.IPreferenceConstants;
>import org.eclipse.ui.internal.WorkbenchMessages;
>import org.eclipse.ui.internal.WorkbenchPlugin;
>
>/**
> * The Editors preference page of the workbench.
> */
>public class EditorsPreferencePage extends PreferencePage implements IWorkbenchPreferencePage {
>	private IWorkbench workbench;
>	
>	// State for encoding group
>	private String defaultEnc;
>	private Button defaultEncodingButton;
>	private Button otherEncodingButton;
>	private Combo encodingCombo;
>
>	private Button editorListPullDown;
>	private Composite editorReuseGroup;
>	private Button reuseEditors;
>	private Button closeEditorsOnExit;
>	private Composite editorReuseIndentGroup;
>	private Composite editorReuseThresholdGroup;
>	private IntegerFieldEditor reuseEditorsThreshold;	
>	private Group dirtyEditorReuseGroup;		
>	private Button openNewEditor;
>	private Button promptToReuseEditor;
>
>	// TODO: editor tabs 
>//	private IntegerFieldEditor numberEditorTabs;
>	private Button editorTabSpanMultipleLines;
>	
>	// editor tab appearance
>	private Button showImages;
>	private Group editorTabCompressionGroup;
>	private Button editorTabCompressionNone;
>	private Button editorTabCompressionLow;
>	private Button editorTabCompressionMedium;
>	private Button editorTabCompressionHigh;
>	private int editorTabCompression = EDITOR_TAB_COMPRESSION_HIGH;
>	
>	// multiply height of tab by these to calculate width   //3,9,15,21
>	private static final int EDITOR_TAB_COMPRESSION_NONE = 30;
>	private static final int EDITOR_TAB_COMPRESSION_LOW = 9;
>	private static final int EDITOR_TAB_COMPRESSION_MEDIUM = 6;
>	private static final int EDITOR_TAB_COMPRESSION_HIGH = 3;
>	
>	private static final int REUSE_INDENT = 10;
>
>	private IntegerFieldEditor recentFilesEditor;
>
>	// hashtable mapping accelerator configuration names to accelerator configuration
>	private Hashtable namesToConfiguration;
>	// the name of the active accelerator configuration
>	private String activeAcceleratorConfigurationName;
>			
>	private IPropertyChangeListener validityChangeListener =
>		new IPropertyChangeListener() {
>			public void propertyChange(PropertyChangeEvent event) {
>				if (event.getProperty().equals(FieldEditor.IS_VALID)) 
>					updateValidState();
>			}
>		};
>			
>	protected Control createContents(Composite parent) {
>		Composite composite = new Composite(parent, SWT.NULL);
>		GridLayout layout = new GridLayout();
>		layout.marginWidth = 0;
>		layout.marginHeight = 0;
>		composite.setLayout(layout);
>		composite.setLayoutData(new GridData(GridData.VERTICAL_ALIGN_FILL | GridData.HORIZONTAL_ALIGN_FILL));
>		composite.setFont(parent.getFont());
>
>		createEditorHistoryGroup(composite);
>		
>		WorkbenchPreferencePage.createSpace(composite);
>		
>		IPreferenceStore store = getPreferenceStore();
>		editorListPullDown = new Button(composite, SWT.CHECK);
>		editorListPullDown.setText(WorkbenchMessages.getString("WorkbenchPreference.editorsListButton")); //$NON-NLS-1$
>		editorListPullDown.setFont(composite.getFont());
>		editorListPullDown.setSelection(store.getBoolean(IPreferenceConstants.EDITOR_LIST_PULLDOWN_ACTIVE));
>		setButtonLayoutData(editorListPullDown);
>
>		closeEditorsOnExit = new Button(composite, SWT.CHECK);
>		closeEditorsOnExit.setText(WorkbenchMessages.getString("WorkbenchPreference.closeEditorsButton")); //$NON-NLS-1$
>		closeEditorsOnExit.setFont(composite.getFont());
>		closeEditorsOnExit.setSelection(store.getBoolean(IPreferenceConstants.CLOSE_EDITORS_ON_EXIT));
>		setButtonLayoutData(closeEditorsOnExit);
>		
>		createEditorReuseGroup(composite);
>		
>		WorkbenchPreferencePage.createSpace(composite);	
>		
>		showImages = new Button(composite, SWT.CHECK);
>		// TODO: Use appropriate resources - I can't find them!
>		// showImages.setText(WorkbenchMessages.getString("WorkbenchPreference.editorTabShowImages")); //$NON-NLS-1$
>		showImages.setText("Show icons on editor tabs"); //$NON-NLS-1$
>		showImages.setFont(composite.getFont());
>		showImages.setSelection(store.getBoolean(IPreferenceConstants.EDITOR_TAB_SHOW_IMAGE));
>		setButtonLayoutData(showImages);
>			
>		createEditorTabCompressionGroup(composite);
>		
>		// TODO: editor tabs
>//		editorTabSpanMultipleLines = new Button(composite, SWT.CHECK);
>//		editorTabSpanMultipleLines.setText(WorkbenchMessages.getString("WorkbenchPreference.editorTabSpanMultipleLine")); //$NON-NLS-1$
>//		editorTabSpanMultipleLines.setFont(composite.getFont());
>//		editorTabSpanMultipleLines.setSelection(store.getBoolean(IPreferenceConstants.EDITOR_TABS_SPAN_MULTIPLE_LINES));
>//		editorTabSpanMultipleLines.setEnabled(false);
>//		setButtonLayoutData(editorTabSpanMultipleLines);
>//		
>//		createNumberOfEditorTabGroup(composite);		
>		WorkbenchPreferencePage.createSpace(composite);
>		createEncodingGroup(composite);
>
>		updateValidState();
>		
>		WorkbenchHelp.setHelp(parent, IHelpContextIds.WORKBENCH_EDITOR_PREFERENCE_PAGE);
>
>		return composite;
>	}
>	
>	public void init(IWorkbench aWorkbench) {
>		workbench = aWorkbench;
>	}
>	
>	protected void performDefaults() {
>		IPreferenceStore store = getPreferenceStore();
>		updateEncodingState(true);
>		editorListPullDown.setSelection(store.getDefaultBoolean(IPreferenceConstants.EDITOR_LIST_PULLDOWN_ACTIVE));
>		closeEditorsOnExit.setSelection(store.getDefaultBoolean(IPreferenceConstants.CLOSE_EDITORS_ON_EXIT));
>		reuseEditors.setSelection(store.getDefaultBoolean(IPreferenceConstants.REUSE_EDITORS_BOOLEAN));
>		dirtyEditorReuseGroup.setEnabled(reuseEditors.getSelection());
>		openNewEditor.setSelection(!store.getDefaultBoolean(IPreferenceConstants.REUSE_DIRTY_EDITORS));
>		openNewEditor.setEnabled(reuseEditors.getSelection());
>		promptToReuseEditor.setSelection(store.getDefaultBoolean(IPreferenceConstants.REUSE_DIRTY_EDITORS));
>		promptToReuseEditor.setEnabled(reuseEditors.getSelection());
>		reuseEditorsThreshold.loadDefault();
>		reuseEditorsThreshold.getLabelControl(editorReuseThresholdGroup).setEnabled(reuseEditors.getSelection());
>		reuseEditorsThreshold.getTextControl(editorReuseThresholdGroup).setEnabled(reuseEditors.getSelection());
>		recentFilesEditor.loadDefault();
>		//TODO: editor tabs
>//		numberEditorTabs.loadDefault();
>//		editorTabSpanMultipleLines.setSelection(store.getDefaultBoolean(IPreferenceConstants.EDITOR_TABS_SPAN_MULTIPLE_LINES));
>		showImages.setSelection(store.getDefaultBoolean(IPreferenceConstants.EDITOR_TAB_SHOW_IMAGE));
>		updateEditorTabCompressionState(store.getDefaultInt(IPreferenceConstants.EDITOR_TAB_WIDTH_SCALAR));
>	}
>	
>	public boolean performOk() {
>		IPreferenceStore store = getPreferenceStore();	
>		Preferences resourcePrefs = ResourcesPlugin.getPlugin().getPluginPreferences();
>		if (defaultEncodingButton.getSelection()) {
>			resourcePrefs.setToDefault(ResourcesPlugin.PREF_ENCODING);
>		}
>		else {
>			String enc = encodingCombo.getText();
>			resourcePrefs.setValue(ResourcesPlugin.PREF_ENCODING, enc);
>		}
>		
>		ResourcesPlugin.getPlugin().savePluginPreferences();
>
>		store.setValue(IPreferenceConstants.EDITOR_LIST_PULLDOWN_ACTIVE,editorListPullDown.getSelection());
>		store.setValue(IPreferenceConstants.CLOSE_EDITORS_ON_EXIT,closeEditorsOnExit.getSelection());
>
>		// store the reuse editors setting
>		store.setValue(IPreferenceConstants.REUSE_EDITORS_BOOLEAN,reuseEditors.getSelection());
>		store.setValue(IPreferenceConstants.REUSE_DIRTY_EDITORS,promptToReuseEditor.getSelection());
>		reuseEditorsThreshold.store();
>
>		// store the recent files setting
>		recentFilesEditor.store();
>
>		// TODO: editor tabs
>		// store the editor tab settings
>//		numberEditorTabs.store();
>//		store.setValue(IPreferenceConstants.EDITOR_TABS_SPAN_MULTIPLE_LINES, editorTabSpanMultipleLines.getSelection());
>
>		store.setValue(IPreferenceConstants.EDITOR_TAB_SHOW_IMAGE, showImages.getSelection());
>		store.setValue(IPreferenceConstants.EDITOR_TAB_WIDTH_SCALAR, editorTabCompression);		
>		
>		return super.performOk();
>	}
>	/**
>	 * Returns preference store that belongs to the our plugin.
>	 *
>	 * @return the preference store for this plugin
>	 */
>	protected IPreferenceStore doGetPreferenceStore() {
>		return WorkbenchPlugin.getDefault().getPreferenceStore();
>	}
>		
>	private void createEncodingGroup(Composite parent) {
>		
>		Font font = parent.getFont();
>		Group group = new Group(parent, SWT.NONE);
>		GridData data = new GridData(GridData.FILL_HORIZONTAL);
>		group.setLayoutData(data);
>		GridLayout layout = new GridLayout();
>		layout.numColumns = 2;
>		group.setLayout(layout);
>		group.setText(WorkbenchMessages.getString("WorkbenchPreference.encoding")); //$NON-NLS-1$
>		group.setFont(font);
>		
>		SelectionAdapter buttonListener = new SelectionAdapter() {
>			public void widgetSelected(SelectionEvent e) {
>				updateEncodingState(defaultEncodingButton.getSelection());
>				updateValidState();
>			}
>		};
>		
>		defaultEncodingButton = new Button(group, SWT.RADIO);
>		defaultEnc = System.getProperty("file.encoding", "UTF-8");  //$NON-NLS-1$  //$NON-NLS-2$
>		defaultEncodingButton.setText(WorkbenchMessages.format("WorkbenchPreference.defaultEncoding", new String[] { defaultEnc })); //$NON-NLS-1$
>		data = new GridData();
>		data.horizontalSpan = 2;
>		defaultEncodingButton.setLayoutData(data);
>		defaultEncodingButton.addSelectionListener(buttonListener);
>		defaultEncodingButton.setFont(font);
>		
>		otherEncodingButton = new Button(group, SWT.RADIO);
>		otherEncodingButton.setText(WorkbenchMessages.getString("WorkbenchPreference.otherEncoding")); //$NON-NLS-1$
>		otherEncodingButton.addSelectionListener(buttonListener);
>		otherEncodingButton.setFont(font);
>		
>		encodingCombo = new Combo(group, SWT.NONE);
>		data = new GridData();
>		data.widthHint = convertWidthInCharsToPixels(15);
>		encodingCombo.setFont(font);
>		encodingCombo.setLayoutData(data);
>		encodingCombo.addModifyListener(new ModifyListener() {
>			public void modifyText(ModifyEvent e) {
>				updateValidState();
>			}
>		});
>
>		ArrayList encodings = new ArrayList();
>		int n = 0;
>		try {
>			n = Integer.parseInt(WorkbenchMessages.getString("WorkbenchPreference.numDefaultEncodings")); //$NON-NLS-1$
>		}
>		catch (NumberFormatException e) {
>			// Ignore;
>		}
>		for (int i = 0; i < n; ++i) {
>			String enc = WorkbenchMessages.getString("WorkbenchPreference.defaultEncoding" + (i+1), null); //$NON-NLS-1$
>			if (enc != null) {
>				encodings.add(enc);
>			}
>		}
>		
>		if (!encodings.contains(defaultEnc)) {
>			encodings.add(defaultEnc);
>		}
>
>		String enc = ResourcesPlugin.getPlugin().getPluginPreferences().getString(ResourcesPlugin.PREF_ENCODING);
>		boolean isDefault = enc == null || enc.length() == 0;
>
>	 	if (!isDefault && !encodings.contains(enc)) {
>			encodings.add(enc);
>		}
>		Collections.sort(encodings);
>		for (int i = 0; i < encodings.size(); ++i) {
>			encodingCombo.add((String) encodings.get(i));
>		}
>
>		encodingCombo.setText(isDefault ? defaultEnc : enc);
>		
>		updateEncodingState(isDefault);
>	}
>	private void updateValidState() {
>		if (!recentFilesEditor.isValid()) {
>			setErrorMessage(recentFilesEditor.getErrorMessage());
>			setValid(false);
>		}
>		else if (!reuseEditorsThreshold.isValid()) {
>			setErrorMessage(reuseEditorsThreshold.getErrorMessage());
>			setValid(false);
>		}
>//		else if (!numberEditorTabs.isValid()) {
>//			setErrorMessage(numberEditorTabs.getErrorMessage());
>//			setValid(false);
>//		}
>		else if (!isEncodingValid()) {
>			setErrorMessage(WorkbenchMessages.getString("WorkbenchPreference.unsupportedEncoding")); //$NON-NLS-1$
>			setValid(false);
>		}
>		else {
>			setErrorMessage(null);
>			setValid(true);
>		}
>	}
>	
>	private boolean isEncodingValid() {
>		return defaultEncodingButton.getSelection() ||
>			isValidEncoding(encodingCombo.getText());
>	}
>	
>	private boolean isValidEncoding(String enc) {
>		try {
>			new String(new byte[0], enc);
>			return true;
>		} catch (UnsupportedEncodingException e) {
>			return false;
>		}
>	}
>	
>	private void updateEncodingState(boolean useDefault) {
>		defaultEncodingButton.setSelection(useDefault);
>		otherEncodingButton.setSelection(!useDefault);
>		encodingCombo.setEnabled(!useDefault);
>		updateValidState();
>	}		
>	/**
>	 * Create a composite that contains entry fields specifying editor reuse preferences.
>	 */
>	private void createEditorReuseGroup(Composite composite) {
>		
>		Font font = composite.getFont();
>		
>		editorReuseGroup = new Composite(composite, SWT.LEFT);
>		GridLayout layout = new GridLayout();
>		// Line up with other entries in preference page
>		layout.marginWidth = 0;
>		layout.marginHeight = 0;
>		editorReuseGroup.setLayout(layout);
>		editorReuseGroup.setLayoutData(new GridData(GridData.HORIZONTAL_ALIGN_FILL | GridData.GRAB_HORIZONTAL));	
>		editorReuseGroup.setFont(font);	
>		
>		reuseEditors = new Button(editorReuseGroup, SWT.CHECK);
>		reuseEditors.setText(WorkbenchMessages.getString("WorkbenchPreference.reuseEditors")); //$NON-NLS-1$
>		reuseEditors.setLayoutData(new GridData());
>		reuseEditors.setFont(font);
>		
>		IPreferenceStore store = WorkbenchPlugin.getDefault().getPreferenceStore();
>		reuseEditors.setSelection(store.getBoolean(IPreferenceConstants.REUSE_EDITORS_BOOLEAN));
>		reuseEditors.addSelectionListener(new SelectionAdapter() {
>			public void widgetSelected(SelectionEvent e){
>				reuseEditorsThreshold.getLabelControl(editorReuseThresholdGroup).setEnabled(reuseEditors.getSelection());
>				reuseEditorsThreshold.getTextControl(editorReuseThresholdGroup).setEnabled(reuseEditors.getSelection());
>				dirtyEditorReuseGroup.setEnabled(reuseEditors.getSelection());
>				openNewEditor.setEnabled(reuseEditors.getSelection());
>				promptToReuseEditor.setEnabled(reuseEditors.getSelection());
>			}
>		});
>		
>		editorReuseIndentGroup = new Composite(editorReuseGroup, SWT.LEFT);
>		GridLayout indentLayout = new GridLayout();
>		indentLayout.marginWidth = REUSE_INDENT;
>		editorReuseIndentGroup.setLayout(indentLayout);
>		editorReuseIndentGroup.setLayoutData(new GridData(GridData.HORIZONTAL_ALIGN_FILL | GridData.GRAB_HORIZONTAL));	
>		
>		editorReuseThresholdGroup = new Composite(editorReuseIndentGroup, SWT.LEFT);
>		editorReuseThresholdGroup.setLayout(new GridLayout());
>		editorReuseThresholdGroup.setLayoutData(new GridData(GridData.HORIZONTAL_ALIGN_FILL | GridData.GRAB_HORIZONTAL));
>		editorReuseThresholdGroup.setFont(font);	
>		
>		reuseEditorsThreshold = new IntegerFieldEditor(IPreferenceConstants.REUSE_EDITORS, WorkbenchMessages.getString("WorkbenchPreference.reuseEditorsThreshold"), editorReuseThresholdGroup); //$NON-NLS-1$
>		
>		reuseEditorsThreshold.setPreferenceStore(WorkbenchPlugin.getDefault().getPreferenceStore());
>		reuseEditorsThreshold.setPreferencePage(this);
>		reuseEditorsThreshold.setTextLimit(2);
>		reuseEditorsThreshold.setErrorMessage(WorkbenchMessages.getString("WorkbenchPreference.reuseEditorsThresholdError")); //$NON-NLS-1$
>		reuseEditorsThreshold.setValidateStrategy(StringFieldEditor.VALIDATE_ON_KEY_STROKE);
>		reuseEditorsThreshold.setValidRange(1, 99);
>		reuseEditorsThreshold.load();
>		reuseEditorsThreshold.getLabelControl(editorReuseThresholdGroup).setEnabled(reuseEditors.getSelection());
>		reuseEditorsThreshold.getTextControl(editorReuseThresholdGroup).setEnabled(reuseEditors.getSelection());
>		reuseEditorsThreshold.setPropertyChangeListener(validityChangeListener);		
>		
>		dirtyEditorReuseGroup = new Group(editorReuseIndentGroup, SWT.NONE);
>		dirtyEditorReuseGroup.setLayout(new GridLayout());		
>		dirtyEditorReuseGroup.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
>		dirtyEditorReuseGroup.setText(WorkbenchMessages.getString("WorkbenchPreference.reuseDirtyEditorGroupTitle")); //$NON-NLS-1$
>		dirtyEditorReuseGroup.setFont(font);
>		dirtyEditorReuseGroup.setEnabled(reuseEditors.getSelection());
>		
>		promptToReuseEditor = new Button(dirtyEditorReuseGroup, SWT.RADIO);
>		promptToReuseEditor.setText(WorkbenchMessages.getString("WorkbenchPreference.promptToReuseEditor")); //$NON-NLS-1$
>		promptToReuseEditor.setFont(font);	
>		promptToReuseEditor.setSelection(store.getBoolean(IPreferenceConstants.REUSE_DIRTY_EDITORS));
>		promptToReuseEditor.setEnabled(reuseEditors.getSelection());	
>
>		openNewEditor = new Button(dirtyEditorReuseGroup, SWT.RADIO);
>		openNewEditor.setText(WorkbenchMessages.getString("WorkbenchPreference.openNewEditor")); //$NON-NLS-1$
>		openNewEditor.setFont(font);	
>		openNewEditor.setSelection(!store.getBoolean(IPreferenceConstants.REUSE_DIRTY_EDITORS));
>		openNewEditor.setEnabled(reuseEditors.getSelection());		
>
>	}
>	/**
>	 * Create a composite that contains entry fields specifying editor history preferences.
>	 */
>	private void createEditorHistoryGroup(Composite composite) {
>		Composite groupComposite = new Composite(composite, SWT.LEFT);
>		GridLayout layout = new GridLayout();
>		layout.numColumns = 2;
>		groupComposite.setLayout(layout);
>		GridData gd = new GridData();
>		gd.horizontalAlignment = GridData.FILL;
>		gd.grabExcessHorizontalSpace = true;
>		groupComposite.setLayoutData(gd);	
>		groupComposite.setFont(composite.getFont());
>		
>		recentFilesEditor = new IntegerFieldEditor(IPreferenceConstants.RECENT_FILES, WorkbenchMessages.getString("WorkbenchPreference.recentFiles"), groupComposite); //$NON-NLS-1$
>
>		int recentFilesMax = IPreferenceConstants.MAX_RECENT_FILES_SIZE;
>		recentFilesEditor.setPreferenceStore(WorkbenchPlugin.getDefault().getPreferenceStore());
>		recentFilesEditor.setPreferencePage(this);
>		recentFilesEditor.setTextLimit(Integer.toString(recentFilesMax).length());
>		recentFilesEditor.setErrorMessage(WorkbenchMessages.format("WorkbenchPreference.recentFilesError", new Object[] { new Integer(recentFilesMax)})); //$NON-NLS-1$
>		recentFilesEditor.setValidateStrategy(StringFieldEditor.VALIDATE_ON_KEY_STROKE);
>		recentFilesEditor.setValidRange(0, recentFilesMax);
>		recentFilesEditor.load();
>		recentFilesEditor.setPropertyChangeListener(validityChangeListener);
>		
>	}
>	
>	/**
>	 * Create a composite that contains entry fields specifying number of editor
>	 * tabs preferences.
>	 */
>/*	private void createNumberOfEditorTabGroup(Composite composite) {
>		Composite groupComposite = new Composite(composite, SWT.LEFT);
>		GridLayout layout = new GridLayout();
>		layout.numColumns = 2;
>		groupComposite.setLayout(layout);
>		GridData gd = new GridData();
>		gd.horizontalAlignment = GridData.FILL;
>		gd.grabExcessHorizontalSpace = true;
>		groupComposite.setLayoutData(gd);
>		groupComposite.setFont(composite.getFont());
>		
>		numberEditorTabs = new IntegerFieldEditor(IPreferenceConstants.NUMBER_EDITOR_TABS, WorkbenchMessages.getString("WorkbenchPreference.numberEditorTabs"), groupComposite); //$NON-NLS-1$
>	
>		int numberEditorTabsMax = IPreferenceConstants.NUMBER_EDITOR_TABS_MAXIMUM;
>		numberEditorTabs.setPreferenceStore(WorkbenchPlugin.getDefault().getPreferenceStore());
>		numberEditorTabs.setPreferencePage(this);
>		numberEditorTabs.setTextLimit(Integer.toString(numberEditorTabsMax).length());
>		numberEditorTabs.setErrorMessage(WorkbenchMessages.format("WorkbenchPreference.numberEditorTabsError", new Object[] { new Integer(numberEditorTabsMax)})); //$NON-NLS-1$
>		numberEditorTabs.setValidateStrategy(StringFieldEditor.VALIDATE_ON_KEY_STROKE);
>		numberEditorTabs.setValidRange(0, numberEditorTabsMax);
>		numberEditorTabs.load();
>		numberEditorTabs.setPropertyChangeListener(validityChangeListener);
>	
>	}
>*/
>	private void updateEditorTabCompressionState(int scalar) {
>		editorTabCompression = scalar;
>		editorTabCompressionNone.setSelection(scalar==EDITOR_TAB_COMPRESSION_NONE);
>		editorTabCompressionLow.setSelection(scalar==EDITOR_TAB_COMPRESSION_LOW);
>		editorTabCompressionMedium.setSelection(scalar==EDITOR_TAB_COMPRESSION_MEDIUM);
>		editorTabCompressionHigh.setSelection(scalar==EDITOR_TAB_COMPRESSION_HIGH);
>	}
>		
>	private void createEditorTabCompressionGroup(Composite composite) {
>		/* Create the group */
>		Font font = composite.getFont();
>		
>		editorTabCompressionGroup = new Group(composite, SWT.NONE);
>		GridLayout gridLayout = new GridLayout();
>		gridLayout.numColumns = 4;
>		editorTabCompressionGroup.setLayout(gridLayout);
>		editorTabCompressionGroup.setLayoutData(new GridData (GridData.HORIZONTAL_ALIGN_FILL | GridData.VERTICAL_ALIGN_FILL));
>		editorTabCompressionGroup.setText(WorkbenchMessages.getString("WorkbenchPreference.editorTabCompression")); //$NON-NLS-1$
>		editorTabCompressionGroup.setFont(font);
>	
>		/* Create the buttons */
>		editorTabCompressionNone = new Button (editorTabCompressionGroup, SWT.RADIO);
>		editorTabCompressionNone.setText(WorkbenchMessages.getString("WorkbenchPreference.editorTabCompressionNone")); //$NON-NLS-1$
>		editorTabCompressionNone.setFont(font);
>		editorTabCompressionLow = new Button (editorTabCompressionGroup, SWT.RADIO);
>		editorTabCompressionLow.setText(WorkbenchMessages.getString("WorkbenchPreference.editorTabCompressionLow")); //$NON-NLS-1$
>		editorTabCompressionLow.setFont(font);
>		editorTabCompressionMedium = new Button(editorTabCompressionGroup, SWT.RADIO);
>		editorTabCompressionMedium.setText(WorkbenchMessages.getString("WorkbenchPreference.editorTabCompressionMedium")); //$NON-NLS-1$
>		editorTabCompressionMedium.setFont(font);
>		editorTabCompressionHigh = new Button (editorTabCompressionGroup, SWT.RADIO);
>		editorTabCompressionHigh.setText(WorkbenchMessages.getString("WorkbenchPreference.editorTabCompressionHigh")); //$NON-NLS-1$
>		editorTabCompressionHigh.setFont(font);
>	
>		/* Add the listeners */
>		SelectionAdapter selectionListener = new SelectionAdapter () {
>			public void widgetSelected (SelectionEvent event) {
>				if (!((Button) event.widget).getSelection ()) {
>					return;
>				}
>				if (editorTabCompressionNone == null) {
>					editorTabCompression = EDITOR_TAB_COMPRESSION_HIGH;
>					return;
>				}
>				if (editorTabCompressionNone.getSelection()) {
>					editorTabCompression = EDITOR_TAB_COMPRESSION_NONE;
>					return;
>				}
>				if (editorTabCompressionLow.getSelection()) {
>					editorTabCompression = EDITOR_TAB_COMPRESSION_LOW;
>					return;
>				}
>				if (editorTabCompressionMedium.getSelection()) {
>					editorTabCompression = EDITOR_TAB_COMPRESSION_MEDIUM;
>					return;
>				}
>				if (editorTabCompressionHigh.getSelection()) {
>					editorTabCompression = EDITOR_TAB_COMPRESSION_HIGH;
>					return;
>				}
>			};
>		};
>	
>		editorTabCompressionNone.addSelectionListener(selectionListener);
>		editorTabCompressionLow.addSelectionListener(selectionListener);
>		editorTabCompressionMedium.addSelectionListener(selectionListener);
>		editorTabCompressionHigh.addSelectionListener(selectionListener);
>	
>		/* Set the default state */
>		IPreferenceStore store = getPreferenceStore();
>		updateEditorTabCompressionState(store.getInt(IPreferenceConstants.EDITOR_TAB_WIDTH_SCALAR));
>	}
>}
>

Actions: View

Attachments on bug 25165: 3465 | 3466 | 3467