/******************************************************************************* * 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 Corporation - initial API and implementation *******************************************************************************/ package net.sourceforge.phpdt.internal.ui.preferences; import java.util.HashMap; import java.util.StringTokenizer; import net.sourceforge.phpdt.internal.ui.dialogs.StatusInfo; import net.sourceforge.phpdt.internal.ui.dialogs.StatusUtil; import net.sourceforge.phpdt.internal.ui.text.java.hover.JavaEditorTextHoverDescriptor; import net.sourceforge.phpdt.internal.ui.util.PixelConverter; import net.sourceforge.phpdt.ui.PreferenceConstants; import net.sourceforge.phpeclipse.PHPeclipsePlugin; import org.eclipse.core.runtime.IStatus; import org.eclipse.jface.action.Action; import org.eclipse.jface.dialogs.Dialog; import org.eclipse.jface.preference.IPreferenceStore; import org.eclipse.jface.text.Assert; import org.eclipse.swt.SWT; import org.eclipse.swt.events.KeyEvent; import org.eclipse.swt.events.KeyListener; import org.eclipse.swt.events.ModifyEvent; import org.eclipse.swt.events.ModifyListener; import org.eclipse.swt.events.SelectionEvent; import org.eclipse.swt.events.SelectionListener; import org.eclipse.swt.graphics.Point; import org.eclipse.swt.layout.GridData; import org.eclipse.swt.layout.GridLayout; import org.eclipse.swt.widgets.Button; import org.eclipse.swt.widgets.Composite; import org.eclipse.swt.widgets.Control; import org.eclipse.swt.widgets.Label; import org.eclipse.swt.widgets.List; import org.eclipse.swt.widgets.Text; /** * Configures Java Editor hover preferences. * * @since 2.1 */ class JavaEditorHoverConfigurationBlock { private static final String DELIMITER= PreferencesMessages.getString("JavaEditorHoverConfigurationBlock.delimiter"); //$NON-NLS-1$ // Data structure to hold the values which are edited by the user private static class HoverConfig { private String fModifierString; private boolean fIsEnabled; private int fStateMask; private HoverConfig(String modifier, int stateMask, boolean enabled) { fModifierString= modifier; fIsEnabled= enabled; fStateMask= stateMask; } } private IPreferenceStore fStore; private HoverConfig[] fHoverConfigs; private Text fModifierEditor; private Button fEnableField; private List fHoverList; private Text fDescription; private Button fShowHoverAffordanceCheckbox; private JavaEditorPreferencePage fMainPreferencePage; private StatusInfo fStatus; public JavaEditorHoverConfigurationBlock(JavaEditorPreferencePage mainPreferencePage, IPreferenceStore store) { Assert.isNotNull(mainPreferencePage); Assert.isNotNull(store); fMainPreferencePage= mainPreferencePage; fStore= store; } /** * Creates page for hover preferences. */ public Control createControl(Composite parent) { PixelConverter pixelConverter= new PixelConverter(parent); Composite hoverComposite= new Composite(parent, SWT.NULL); GridLayout layout= new GridLayout(); layout.numColumns= 2; hoverComposite.setLayout(layout); GridData gd= new GridData(GridData.GRAB_HORIZONTAL | GridData.VERTICAL_ALIGN_FILL); hoverComposite.setLayoutData(gd); Label label= new Label(hoverComposite, SWT.NONE); label.setText(PreferencesMessages.getString("JavaEditorHoverConfigurationBlock.hoverPreferences")); //$NON-NLS-1$ gd= new GridData(GridData.FILL_HORIZONTAL); gd.horizontalAlignment= GridData.BEGINNING; gd.horizontalSpan= 2; label.setLayoutData(gd); gd= new GridData(GridData.GRAB_HORIZONTAL | GridData.VERTICAL_ALIGN_FILL); // Hover list fHoverList= new List(hoverComposite, SWT.SINGLE | SWT.V_SCROLL | SWT.BORDER); gd= new GridData(GridData.VERTICAL_ALIGN_BEGINNING | GridData.FILL_HORIZONTAL); int listHeight= 10 * fHoverList.getItemHeight(); gd.heightHint= listHeight; fHoverList.setLayoutData(gd); fHoverList.addSelectionListener(new SelectionListener() { public void widgetSelected(SelectionEvent e) { handleHoverListSelection(); } public void widgetDefaultSelected(SelectionEvent e) { } }); Composite stylesComposite= new Composite(hoverComposite, SWT.NONE); layout= new GridLayout(); layout.marginHeight= 0; layout.marginWidth= 0; layout.numColumns= 2; stylesComposite.setLayout(layout); gd= new GridData(GridData.FILL_HORIZONTAL); gd.heightHint= listHeight + (2 * fHoverList.getBorderWidth()); stylesComposite.setLayoutData(gd); // Enabled checkbox fEnableField= new Button(stylesComposite, SWT.CHECK); fEnableField.setText(PreferencesMessages.getString("JavaEditorHoverConfigurationBlock.enabled")); //$NON-NLS-1$ gd= new GridData(GridData.FILL_HORIZONTAL); gd.horizontalAlignment= GridData.BEGINNING; gd.horizontalSpan= 2; fEnableField.setLayoutData(gd); fEnableField.addSelectionListener(new SelectionListener() { public void widgetSelected(SelectionEvent e) { int i= fHoverList.getSelectionIndex(); boolean state= fEnableField.getSelection(); fModifierEditor.setEnabled(state); fHoverConfigs[i].fIsEnabled= state; handleModifierModified(); } public void widgetDefaultSelected(SelectionEvent e) { } }); // Text field for modifier string label= new Label(stylesComposite, SWT.LEFT); label.setText(PreferencesMessages.getString("JavaEditorHoverConfigurationBlock.keyModifier")); //$NON-NLS-1$ fModifierEditor= new Text(stylesComposite, SWT.BORDER); gd= new GridData(GridData.HORIZONTAL_ALIGN_FILL); fModifierEditor.setLayoutData(gd); fModifierEditor.addKeyListener(new KeyListener() { private boolean isModifierCandidate; public void keyPressed(KeyEvent e) { isModifierCandidate= e.keyCode > 0 && e.character == 0 && e.stateMask == 0; } public void keyReleased(KeyEvent e) { if (isModifierCandidate && e.stateMask > 0 && e.stateMask == e.stateMask && e.character == 0) {// && e.time -time < 1000) { String text= fModifierEditor.getText(); Point selection= fModifierEditor.getSelection(); int i= selection.x - 1; while (i > -1 && Character.isWhitespace(text.charAt(i))) { i--; } boolean needsPrefixDelimiter= i > -1 && !String.valueOf(text.charAt(i)).equals(DELIMITER); i= selection.y; while (i < text.length() && Character.isWhitespace(text.charAt(i))) { i++; } boolean needsPostfixDelimiter= i < text.length() && !String.valueOf(text.charAt(i)).equals(DELIMITER); String insertString; if (needsPrefixDelimiter && needsPostfixDelimiter) insertString= PreferencesMessages.getFormattedString("JavaEditorHoverConfigurationBlock.insertDelimiterAndModifierAndDelimiter", new String[] {Action.findModifierString(e.stateMask)}); //$NON-NLS-1$ else if (needsPrefixDelimiter) insertString= PreferencesMessages.getFormattedString("JavaEditorHoverConfigurationBlock.insertDelimiterAndModifier", new String[] {Action.findModifierString(e.stateMask)}); //$NON-NLS-1$ else if (needsPostfixDelimiter) insertString= PreferencesMessages.getFormattedString("JavaEditorHoverConfigurationBlock.insertModifierAndDelimiter", new String[] {Action.findModifierString(e.stateMask)}); //$NON-NLS-1$ else insertString= Action.findModifierString(e.stateMask); if (insertString != null) fModifierEditor.insert(insertString); } } }); fModifierEditor.addModifyListener(new ModifyListener() { public void modifyText(ModifyEvent e) { handleModifierModified(); } }); // Description Label descriptionLabel= new Label(stylesComposite, SWT.LEFT); descriptionLabel.setText(PreferencesMessages.getString("JavaEditorHoverConfigurationBlock.description")); //$NON-NLS-1$ gd= new GridData(GridData.VERTICAL_ALIGN_BEGINNING); gd.horizontalSpan= 2; descriptionLabel.setLayoutData(gd); fDescription= new Text(stylesComposite, SWT.LEFT | SWT.WRAP | SWT.MULTI | SWT.READ_ONLY | SWT.BORDER); gd= new GridData(GridData.FILL_BOTH); gd.horizontalSpan= 2; fDescription.setLayoutData(gd); // Vertical filler Label filler= new Label(hoverComposite, SWT.LEFT); gd= new GridData(GridData.BEGINNING | GridData.VERTICAL_ALIGN_FILL); gd.heightHint= pixelConverter.convertHeightInCharsToPixels(1) / 3; filler.setLayoutData(gd); // Affordance checkbox fShowHoverAffordanceCheckbox= new Button(hoverComposite, SWT.CHECK); fShowHoverAffordanceCheckbox.setText(PreferencesMessages.getString("JavaEditorHoverConfigurationBlock.showAffordance")); //$NON-NLS-1$ gd= new GridData(GridData.HORIZONTAL_ALIGN_BEGINNING); gd.horizontalIndent= 0; gd.horizontalSpan= 2; fShowHoverAffordanceCheckbox.setLayoutData(gd); initialize(); Dialog.applyDialogFont(hoverComposite); return hoverComposite; } private JavaEditorTextHoverDescriptor[] getContributedHovers() { return PHPeclipsePlugin.getDefault().getJavaEditorTextHoverDescriptors(); } void initialize() { JavaEditorTextHoverDescriptor[] hoverDescs= getContributedHovers(); fHoverConfigs= new HoverConfig[hoverDescs.length]; for (int i= 0; i < hoverDescs.length; i++) { fHoverConfigs[i]= new HoverConfig(hoverDescs[i].getModifierString(), hoverDescs[i].getStateMask(), hoverDescs[i].isEnabled()); fHoverList.add(hoverDescs[i].getLabel()); } initializeFields(); } void initializeFields() { fHoverList.getDisplay().asyncExec(new Runnable() { public void run() { if (fHoverList != null && !fHoverList.isDisposed()) { fHoverList.select(0); handleHoverListSelection(); } } }); fShowHoverAffordanceCheckbox.setSelection(fStore.getBoolean(PreferenceConstants.EDITOR_SHOW_TEXT_HOVER_AFFORDANCE)); } void performOk() { StringBuffer buf= new StringBuffer(); StringBuffer maskBuf= new StringBuffer(); for (int i= 0; i < fHoverConfigs.length; i++) { buf.append(getContributedHovers()[i].getId()); buf.append(JavaEditorTextHoverDescriptor.VALUE_SEPARATOR); if (!fHoverConfigs[i].fIsEnabled) buf.append(JavaEditorTextHoverDescriptor.DISABLED_TAG); String modifier= fHoverConfigs[i].fModifierString; if (modifier == null || modifier.length() == 0) modifier= JavaEditorTextHoverDescriptor.NO_MODIFIER; buf.append(modifier); buf.append(JavaEditorTextHoverDescriptor.VALUE_SEPARATOR); maskBuf.append(getContributedHovers()[i].getId()); maskBuf.append(JavaEditorTextHoverDescriptor.VALUE_SEPARATOR); maskBuf.append(fHoverConfigs[i].fStateMask); maskBuf.append(JavaEditorTextHoverDescriptor.VALUE_SEPARATOR); } fStore.setValue(PreferenceConstants.EDITOR_TEXT_HOVER_MODIFIERS, buf.toString()); fStore.setValue(PreferenceConstants.EDITOR_TEXT_HOVER_MODIFIER_MASKS, maskBuf.toString()); fStore.setValue(PreferenceConstants.EDITOR_SHOW_TEXT_HOVER_AFFORDANCE, fShowHoverAffordanceCheckbox.getSelection()); PHPeclipsePlugin.getDefault().resetJavaEditorTextHoverDescriptors(); } void performDefaults() { restoreFromPreferences(); initializeFields(); } private void restoreFromPreferences() { fShowHoverAffordanceCheckbox.setSelection(fStore.getBoolean(PreferenceConstants.EDITOR_SHOW_TEXT_HOVER_AFFORDANCE)); String compiledTextHoverModifiers= fStore.getString(PreferenceConstants.EDITOR_TEXT_HOVER_MODIFIERS); StringTokenizer tokenizer= new StringTokenizer(compiledTextHoverModifiers, JavaEditorTextHoverDescriptor.VALUE_SEPARATOR); HashMap idToModifier= new HashMap(tokenizer.countTokens() / 2); while (tokenizer.hasMoreTokens()) { String id= tokenizer.nextToken(); if (tokenizer.hasMoreTokens()) idToModifier.put(id, tokenizer.nextToken()); } String compiledTextHoverModifierMasks= PHPeclipsePlugin.getDefault().getPreferenceStore().getString(PreferenceConstants.EDITOR_TEXT_HOVER_MODIFIER_MASKS); tokenizer= new StringTokenizer(compiledTextHoverModifierMasks, JavaEditorTextHoverDescriptor.VALUE_SEPARATOR); HashMap idToModifierMask= new HashMap(tokenizer.countTokens() / 2); while (tokenizer.hasMoreTokens()) { String id= tokenizer.nextToken(); if (tokenizer.hasMoreTokens()) idToModifierMask.put(id, tokenizer.nextToken()); } for (int i= 0; i < fHoverConfigs.length; i++) { String modifierString= (String)idToModifier.get(getContributedHovers()[i].getId()); boolean enabled= true; if (modifierString == null) modifierString= JavaEditorTextHoverDescriptor.DISABLED_TAG; if (modifierString.startsWith(JavaEditorTextHoverDescriptor.DISABLED_TAG)) { enabled= false; modifierString= modifierString.substring(1); } if (modifierString.equals(JavaEditorTextHoverDescriptor.NO_MODIFIER)) modifierString= ""; //$NON-NLS-1$ fHoverConfigs[i].fModifierString= modifierString; fHoverConfigs[i].fIsEnabled= enabled; fHoverConfigs[i].fStateMask= JavaEditorTextHoverDescriptor.computeStateMask(modifierString); if (fHoverConfigs[i].fStateMask == -1) { try { fHoverConfigs[i].fStateMask= Integer.parseInt((String)idToModifierMask.get(getContributedHovers()[i].getId())); } catch (NumberFormatException ex) { fHoverConfigs[i].fStateMask= -1; } } } } private void handleModifierModified() { int i= fHoverList.getSelectionIndex(); String modifiers= fModifierEditor.getText(); fHoverConfigs[i].fModifierString= modifiers; fHoverConfigs[i].fStateMask= JavaEditorTextHoverDescriptor.computeStateMask(modifiers); if (fHoverConfigs[i].fIsEnabled && fHoverConfigs[i].fStateMask == -1) fStatus= new StatusInfo(IStatus.ERROR, PreferencesMessages.getFormattedString("JavaEditorHoverConfigurationBlock.modifierIsNotValid", fHoverConfigs[i].fModifierString)); //$NON-NLS-1$ else fStatus= new StatusInfo(); updateStatus(); } private void handleHoverListSelection() { int i= fHoverList.getSelectionIndex(); boolean enabled= fHoverConfigs[i].fIsEnabled; fEnableField.setSelection(enabled); fModifierEditor.setEnabled(enabled); fModifierEditor.setText(fHoverConfigs[i].fModifierString); String description= getContributedHovers()[i].getDescription(); if (description == null) description= ""; //$NON-NLS-1$ fDescription.setText(description); } IStatus getStatus() { if (fStatus == null) fStatus= new StatusInfo(); return fStatus; } private void updateStatus() { int i= 0; HashMap stateMasks= new HashMap(fHoverConfigs.length); while (fStatus.isOK() && i < fHoverConfigs.length) { if (fHoverConfigs[i].fIsEnabled) { String label= getContributedHovers()[i].getLabel(); Integer stateMask= new Integer(fHoverConfigs[i].fStateMask); if (fHoverConfigs[i].fStateMask == -1) fStatus= new StatusInfo(IStatus.ERROR, PreferencesMessages.getFormattedString("JavaEditorHoverConfigurationBlock.modifierIsNotValidForHover", new String[] {fHoverConfigs[i].fModifierString, label})); //$NON-NLS-1$ else if (stateMasks.containsKey(stateMask)) fStatus= new StatusInfo(IStatus.ERROR, PreferencesMessages.getFormattedString("JavaEditorHoverConfigurationBlock.duplicateModifier", new String[] {label, (String)stateMasks.get(stateMask)})); //$NON-NLS-1$ else stateMasks.put(stateMask, label); } i++; } if (fStatus.isOK()) fMainPreferencePage.updateStatus(fStatus); else { fMainPreferencePage.setValid(false); StatusUtil.applyToStatusLine(fMainPreferencePage, fStatus); } } }