Java tutorial
/******************************************************************************* * Copyright (c) 2000, 2006 IBM Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/epl-v10.html * * Contributors: * IBM Corporation - initial API and implementation * Charles O'Farrell - copy from subclipse * StefanC - code cleanup * Andrei Loskutov - bug fixes *******************************************************************************/ package com.vectrace.MercurialEclipse.annotations; import java.util.Collections; import java.util.Map; import org.eclipse.core.runtime.IAdaptable; import org.eclipse.jface.preference.IPreferenceStore; import org.eclipse.jface.resource.JFaceResources; 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.StyleRange; 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.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; import org.eclipse.ui.editors.text.EditorsUI; import org.eclipse.ui.editors.text.TextSourceViewerConfiguration; /** * Source viewer based implementation of {@link org.eclipse.jface.text.IInformationControl}. * Displays information in a source viewer. * * @since 3.0 * * This class is copied from org.eclipse.jface.text.source.projection.SourceViewerInformationControl * Several changes are made in order to handle hover for H annotations */ class SourceViewerInformationControl implements IInformationControl, IInformationControlExtension, DisposeListener { private static final class HgTextSourceViewerConfiguration extends TextSourceViewerConfiguration { private HgTextSourceViewerConfiguration(IPreferenceStore store) { super(store); } @Override protected Map<String, IAdaptable> getHyperlinkDetectorTargets(ISourceViewer sourceViewer) { return Collections.singletonMap("org.eclipse.ui.DefaultTextEditor", //$NON-NLS-1$ null); // new IAdaptable() { // public Object getAdapter(Class adapter) { // // return Platform.getAdapterManager().getAdapter(CVSHistoryPage.this, adapter); // return null; // } // }); } } /** 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 final SourceViewer fViewer; /** The optional status field. */ private Label fStatusField; /** The separator for the optional status field. */ private Label fSeparator; /** The font of the optional status text label.*/ private Font fStatusTextFont; /** The maximal widget width. */ private int fMaxWidth; /** The maximal widget height. */ private int fMaxHeight; /** * Creates a source viewer information control with the given shell as * parent and the given font. * * @param parent the parent shell * @param symbolicFontName the symbolic font name */ public SourceViewerInformationControl(Shell parent, String symbolicFontName) { this(parent, SWT.NO_TRIM | SWT.TOOL, SWT.NONE, symbolicFontName, null); } /** * Creates a source viewer information control with the given shell as * parent. The given shell styles are applied to the created shell. The * given styles are applied to the created styled text widget. The text * widget will be initialized with the given font. The status field will * contain the given text or be hidden. * * @param parent the parent shell * @param shellStyle the additional styles for the shell * @param style the additional styles for the styled text widget * @param symbolicFontName the symbolic font name * @param statusFieldText the text to be used in the optional status field * or <code>null</code> if the status field should be hidden */ public SourceViewerInformationControl(Shell parent, int shellStyle, int style, String symbolicFontName, 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 fViewer = new SourceViewer(composite, null, style); fViewer.setEditable(false); // configure hyperlink detectors // fViewer.configure(new SourceViewerConfiguration()); fViewer.configure(new HgTextSourceViewerConfiguration(EditorsUI.getPreferenceStore())); 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.setFont(JFaceResources.getFont(symbolicFontName)); fText.addKeyListener(new KeyListener() { public void keyPressed(KeyEvent e) { if (e.character == 0x1B) { 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); } public void setInput(Object input) { if (input instanceof String) { setInformation((String) input); } else { setInformation(null); } } public void setInformation(String content) { if (content == null) { fViewer.setInput(null); return; } IDocument doc = new Document(content); fViewer.setInput(doc); // decorate text StyleRange styleRange = new StyleRange(); styleRange.start = 0; styleRange.length = content.indexOf('\n'); styleRange.fontStyle = SWT.BOLD; fViewer.getTextWidget().setStyleRange(styleRange); } public void setVisible(boolean visible) { fShell.setVisible(visible); } public void widgetDisposed(DisposeEvent event) { if (fStatusTextFont != null && !fStatusTextFont.isDisposed()) { fStatusTextFont.dispose(); } fStatusTextFont = null; fShell = null; fText = null; } public final void dispose() { if (fShell != null && !fShell.isDisposed()) { fShell.dispose(); } else { widgetDisposed(null); } } 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); } } public void setLocation(Point location) { fShell.setLocation(location); } public void setSizeConstraints(int maxWidth, int maxHeight) { fMaxWidth = maxWidth; fMaxHeight = maxHeight; } public Point computeSizeHint() { // compute the preferred size int x = SWT.DEFAULT; int y = SWT.DEFAULT; Point size = fShell.computeSize(x, y); if (size.x > fMaxWidth) { x = fMaxWidth; } if (size.y > fMaxHeight) { y = fMaxHeight; } // recompute using the constraints if the preferred size is larger than the constraints if (x != SWT.DEFAULT || y != SWT.DEFAULT) { size = fShell.computeSize(x, y, false); } return size; } public void addDisposeListener(DisposeListener listener) { fShell.addDisposeListener(listener); } public void removeDisposeListener(DisposeListener listener) { fShell.removeDisposeListener(listener); } public void setForegroundColor(Color foreground) { fText.setForeground(foreground); } public void setBackgroundColor(Color background) { fText.setBackground(background); } public boolean isFocusControl() { return fText.isFocusControl(); } public void setFocus() { fShell.forceFocus(); fText.setFocus(); } public void addFocusListener(FocusListener listener) { fText.addFocusListener(listener); } public void removeFocusListener(FocusListener listener) { fText.removeFocusListener(listener); } public boolean hasContents() { return fText.getCharCount() > 0; } }