/******************************************************************************* * 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.text.java.hover; import net.sourceforge.phpdt.ui.text.PHPSourceViewerConfiguration; //import net.sourceforge.phpeclipse.PHPeclipsePlugin; import net.sourceforge.phpeclipse.phpeditor.JavaSourceViewer; import net.sourceforge.phpeclipse.ui.WebUI; import org.eclipse.jface.preference.IPreferenceStore; import org.eclipse.jface.text.Document; import org.eclipse.jface.text.IDocument; import org.eclipse.jface.text.IInformationControl; import org.eclipse.jface.text.IInformationControlExtension; import org.eclipse.jface.text.source.ISourceViewer; import org.eclipse.jface.text.source.SourceViewer; import org.eclipse.swt.SWT; import org.eclipse.swt.custom.StyledText; import org.eclipse.swt.events.DisposeEvent; import org.eclipse.swt.events.DisposeListener; import org.eclipse.swt.events.FocusListener; import org.eclipse.swt.events.KeyEvent; import org.eclipse.swt.events.KeyListener; import org.eclipse.swt.graphics.Color; import org.eclipse.swt.graphics.Font; import org.eclipse.swt.graphics.FontData; import org.eclipse.swt.graphics.Point; import org.eclipse.swt.graphics.Rectangle; import org.eclipse.swt.layout.GridData; import org.eclipse.swt.layout.GridLayout; import org.eclipse.swt.widgets.Composite; import org.eclipse.swt.widgets.Display; import org.eclipse.swt.widgets.Label; import org.eclipse.swt.widgets.Shell; /** * Source viewer based implementation of IInformationControl. * Displays information in a source viewer. * * @since 3.0 */ public class SourceViewerInformationControl implements IInformationControl, IInformationControlExtension, DisposeListener { /** Border thickness in pixels. */ private static final int BORDER = 1; /** The control's shell */ private Shell fShell; /** The control's text widget */ private StyledText fText; /** The control's source viewer */ private SourceViewer fViewer; /** * The optional status field. * * @since 3.0 */ private Label fStatusField; /** * The separator for the optional status field. * * @since 3.0 */ private Label fSeparator; /** * The font of the optional status text label. * * @since 3.0 */ private Font fStatusTextFont; /** * Creates a default information control with the given shell as parent. The * given information presenter is used to process the information to be * displayed. The given styles are applied to the created styled text * widget. * * @param parent * the parent shell * @param shellStyle * the additional styles for the shell * @param style * the additional styles for the styled text widget */ public SourceViewerInformationControl(Shell parent, int shellStyle, int style) { this(parent, shellStyle, style, null); } /** * Creates a default information control with the given shell as parent. The * given information presenter is used to process the information to be * displayed. The given styles are applied to the created styled text * widget. * * @param parent * the parent shell * @param shellStyle * the additional styles for the shell * @param style * the additional styles for the styled text widget * @param statusFieldText * the text to be used in the optional status field or * null if the status field should be hidden * @since 3.0 */ public SourceViewerInformationControl(Shell parent, int shellStyle, int style, String statusFieldText) { GridLayout layout; GridData gd; fShell = new Shell(parent, SWT.NO_FOCUS | SWT.ON_TOP | shellStyle); Display display = fShell.getDisplay(); fShell.setBackground(display.getSystemColor(SWT.COLOR_BLACK)); Composite composite = fShell; layout = new GridLayout(1, false); int border = ((shellStyle & SWT.NO_TRIM) == 0) ? 0 : BORDER; layout.marginHeight = border; layout.marginWidth = border; composite.setLayout(layout); gd = new GridData(GridData.FILL_HORIZONTAL); composite.setLayoutData(gd); if (statusFieldText != null) { composite = new Composite(composite, SWT.NONE); layout = new GridLayout(1, false); layout.marginHeight = 0; layout.marginWidth = 0; composite.setLayout(layout); gd = new GridData(GridData.FILL_BOTH); composite.setLayoutData(gd); composite.setForeground(display .getSystemColor(SWT.COLOR_INFO_FOREGROUND)); composite.setBackground(display .getSystemColor(SWT.COLOR_INFO_BACKGROUND)); } // Source viewer IPreferenceStore store = WebUI.getDefault() .getCombinedPreferenceStore(); fViewer = new JavaSourceViewer(composite, null, null, false, style, store); fViewer.configure(new PHPSourceViewerConfiguration(WebUI .getDefault().getJavaTextTools().getColorManager(), store, null, null)); fViewer.setEditable(false); fText = fViewer.getTextWidget(); gd = new GridData(GridData.BEGINNING | GridData.FILL_BOTH); fText.setLayoutData(gd); fText.setForeground(parent.getDisplay().getSystemColor( SWT.COLOR_INFO_FOREGROUND)); fText.setBackground(parent.getDisplay().getSystemColor( SWT.COLOR_INFO_BACKGROUND)); fText.addKeyListener(new KeyListener() { public void keyPressed(KeyEvent e) { if (e.character == 0x1B) // ESC fShell.dispose(); } public void keyReleased(KeyEvent e) { } }); // Status field if (statusFieldText != null) { // Horizontal separator line fSeparator = new Label(composite, SWT.SEPARATOR | SWT.HORIZONTAL | SWT.LINE_DOT); fSeparator.setLayoutData(new GridData(GridData.FILL_HORIZONTAL)); // Status field label fStatusField = new Label(composite, SWT.RIGHT); fStatusField.setText(statusFieldText); Font font = fStatusField.getFont(); FontData[] fontDatas = font.getFontData(); for (int i = 0; i < fontDatas.length; i++) fontDatas[i].setHeight(fontDatas[i].getHeight() * 9 / 10); fStatusTextFont = new Font(fStatusField.getDisplay(), fontDatas); fStatusField.setFont(fStatusTextFont); GridData gd2 = new GridData(GridData.FILL_VERTICAL | GridData.FILL_HORIZONTAL | GridData.HORIZONTAL_ALIGN_BEGINNING | GridData.VERTICAL_ALIGN_BEGINNING); fStatusField.setLayoutData(gd2); // Regarding the color see bug 41128 fStatusField.setForeground(display .getSystemColor(SWT.COLOR_WIDGET_DARK_SHADOW)); fStatusField.setBackground(display .getSystemColor(SWT.COLOR_INFO_BACKGROUND)); } addDisposeListener(this); } /** * Creates a default information control with the given shell as parent. The * given information presenter is used to process the information to be * displayed. The given styles are applied to the created styled text * widget. * * @param parent * the parent shell * @param style * the additional styles for the styled text widget */ public SourceViewerInformationControl(Shell parent, int style) { this(parent, SWT.NO_TRIM, style); } /** * Creates a default information control with the given shell as parent. The * given information presenter is used to process the information to be * displayed. The given styles are applied to the created styled text * widget. * * @param parent * the parent shell * @param style * the additional styles for the styled text widget * @param statusFieldText * the text to be used in the optional status field or * null if the status field should be hidden * @since 3.0 */ public SourceViewerInformationControl(Shell parent, int style, String statusFieldText) { this(parent, SWT.NO_TRIM, style, statusFieldText); } /** * Creates a default information control with the given shell as parent. No * information presenter is used to process the information to be displayed. * No additional styles are applied to the styled text widget. * * @param parent * the parent shell */ public SourceViewerInformationControl(Shell parent) { this(parent, SWT.NONE); } /** * Creates a default information control with the given shell as parent. No * information presenter is used to process the information to be displayed. * No additional styles are applied to the styled text widget. * * @param parent * the parent shell * @param statusFieldText * the text to be used in the optional status field or * null if the status field should be hidden * @since 3.0 */ // public SourceViewerInformationControl(Shell parent, String statusFieldText) { // this(parent, SWT.NONE, statusFieldText); // } /* * @see org.eclipse.jface.text.IInformationControlExtension2#setInput(java.lang.Object) */ public void setInput(Object input) { if (input instanceof String) setInformation((String) input); else setInformation(null); } /* * @see IInformationControl#setInformation(String) */ public void setInformation(String content) { if (content == null) { fViewer.setInput(null); return; } IDocument doc = new Document(content); WebUI.getDefault().getJavaTextTools() .setupJavaDocumentPartitioner(doc); fViewer.setInput(doc); } /* * @see IInformationControl#setVisible(boolean) */ public void setVisible(boolean visible) { fShell.setVisible(visible); } /** * {@inheritDoc} * * @since 3.0 */ public void widgetDisposed(DisposeEvent event) { if (fStatusTextFont != null && !fStatusTextFont.isDisposed()) fStatusTextFont.dispose(); fStatusTextFont = null; fShell = null; fText = null; } /** * {@inheritDoc} */ public final void dispose() { if (fShell != null && !fShell.isDisposed()) fShell.dispose(); else widgetDisposed(null); } /* * @see IInformationControl#setSize(int, int) */ public void setSize(int width, int height) { if (fStatusField != null) { GridData gd = (GridData) fViewer.getTextWidget().getLayoutData(); Point statusSize = fStatusField.computeSize(SWT.DEFAULT, SWT.DEFAULT, true); Point separatorSize = fSeparator.computeSize(SWT.DEFAULT, SWT.DEFAULT, true); gd.heightHint = height - statusSize.y - separatorSize.y; } fShell.setSize(width, height); if (fStatusField != null) fShell.pack(true); } /* * @see IInformationControl#setLocation(Point) */ public void setLocation(Point location) { Rectangle trim = fShell.computeTrim(0, 0, 0, 0); Point textLocation = fText.getLocation(); location.x += trim.x - textLocation.x; location.y += trim.y - textLocation.y; fShell.setLocation(location); } /* * @see IInformationControl#setSizeConstraints(int, int) */ public void setSizeConstraints(int maxWidth, int maxHeight) { maxWidth = maxHeight; } /* * @see IInformationControl#computeSizeHint() */ public Point computeSizeHint() { return fShell.computeSize(SWT.DEFAULT, SWT.DEFAULT); } /* * @see IInformationControl#addDisposeListener(DisposeListener) */ public void addDisposeListener(DisposeListener listener) { fShell.addDisposeListener(listener); } /* * @see IInformationControl#removeDisposeListener(DisposeListener) */ public void removeDisposeListener(DisposeListener listener) { fShell.removeDisposeListener(listener); } /* * @see IInformationControl#setForegroundColor(Color) */ public void setForegroundColor(Color foreground) { fText.setForeground(foreground); } /* * @see IInformationControl#setBackgroundColor(Color) */ public void setBackgroundColor(Color background) { fText.setBackground(background); } /* * @see IInformationControl#isFocusControl() */ public boolean isFocusControl() { return fText.isFocusControl(); } /* * @see IInformationControl#setFocus() */ public void setFocus() { fShell.forceFocus(); fText.setFocus(); } /* * @see IInformationControl#addFocusListener(FocusListener) */ public void addFocusListener(FocusListener listener) { fText.addFocusListener(listener); } /* * @see IInformationControl#removeFocusListener(FocusListener) */ public void removeFocusListener(FocusListener listener) { fText.removeFocusListener(listener); } /* * @see IInformationControlExtension#hasContents() */ public boolean hasContents() { return fText.getCharCount() > 0; } protected ISourceViewer getViewer() { return fViewer; } }