/******************************************************************************* * Copyright (c) 2000, 2009 IBM Corporation and others. * * This program and the accompanying materials * are made available under the terms of the Eclipse Public License 2.0 * which accompanies this distribution, and is available at * https://www.eclipse.org/legal/epl-2.0/ * * SPDX-License-Identifier: EPL-2.0 * * Contributors: * IBM Corporation - initial API and implementation *******************************************************************************/ package org.eclipse.jface.text.source.projection; import org.eclipse.swt.SWT; import org.eclipse.swt.graphics.FontMetrics; import org.eclipse.swt.graphics.GC; import org.eclipse.swt.graphics.Image; import org.eclipse.swt.graphics.Rectangle; import org.eclipse.swt.widgets.Canvas; import org.eclipse.swt.widgets.Display; import org.eclipse.jface.resource.ImageDescriptor; import org.eclipse.jface.text.source.Annotation; import org.eclipse.jface.text.source.IAnnotationPresentation; import org.eclipse.jface.text.source.ImageUtilities; /** * Annotation used to represent the projection of a master document onto a * {@link org.eclipse.jface.text.projection.ProjectionDocument}. A projection * annotation can be either expanded or collapsed. If expanded it corresponds to * a segment of the projection document. If collapsed, it represents a region of * the master document that does not have a corresponding segment in the * projection document. *

* Clients may subclass or use as is. *

* * @since 3.0 */ public class ProjectionAnnotation extends Annotation implements IAnnotationPresentation { private static class DisplayDisposeRunnable implements Runnable { @Override public void run() { if (fgCollapsedImage != null) { fgCollapsedImage.dispose(); fgCollapsedImage= null; } if (fgExpandedImage != null) { fgExpandedImage.dispose(); fgExpandedImage= null; } } } /** * The type of projection annotations. */ public static final String TYPE= "org.eclipse.projection"; //$NON-NLS-1$ private static final int COLOR= SWT.COLOR_GRAY; private static Image fgCollapsedImage; private static Image fgExpandedImage; /** The state of this annotation */ private boolean fIsCollapsed= false; /** Indicates whether this annotation should be painted as range */ private boolean fIsRangeIndication= false; /** * Creates a new expanded projection annotation. */ public ProjectionAnnotation() { this(false); } /** * Creates a new projection annotation. When isCollapsed * is true the annotation is initially collapsed. * * @param isCollapsed true if the annotation should initially be collapsed, false otherwise */ public ProjectionAnnotation(boolean isCollapsed) { super(TYPE, false, null); fIsCollapsed= isCollapsed; } /** * Enables and disables the range indication for this annotation. * * @param rangeIndication the enable state for the range indication */ public void setRangeIndication(boolean rangeIndication) { fIsRangeIndication= rangeIndication; } private void drawRangeIndication(GC gc, Canvas canvas, Rectangle r) { final int MARGIN= 3; /* cap the height - at least on GTK, large numbers are converted to * negatives at some point */ int height= Math.min(r.y + r.height - MARGIN, canvas.getSize().y); gc.setForeground(canvas.getDisplay().getSystemColor(COLOR)); gc.setLineWidth(0); // NOTE: 0 means width is 1 but with optimized performance gc.drawLine(r.x + 4, r.y + 12, r.x + 4, height); gc.drawLine(r.x + 4, height, r.x + r.width - MARGIN, height); } @Override public void paint(GC gc, Canvas canvas, Rectangle rectangle) { Image image= getImage(canvas.getDisplay()); if (image != null) { ImageUtilities.drawImage(image, gc, canvas, rectangle, SWT.CENTER, SWT.TOP); if (fIsRangeIndication) { FontMetrics fontMetrics= gc.getFontMetrics(); int delta= (fontMetrics.getHeight() - image.getBounds().height)/2; rectangle.y += delta; rectangle.height -= delta; drawRangeIndication(gc, canvas, rectangle); } } } @Override public int getLayer() { return IAnnotationPresentation.DEFAULT_LAYER; } private Image getImage(Display display) { initializeImages(display); return isCollapsed() ? fgCollapsedImage : fgExpandedImage; } private void initializeImages(Display display) { if (fgCollapsedImage == null) { ImageDescriptor descriptor= ImageDescriptor.createFromFile(ProjectionAnnotation.class, "images/collapsed.png"); //$NON-NLS-1$ fgCollapsedImage= descriptor.createImage(display); descriptor= ImageDescriptor.createFromFile(ProjectionAnnotation.class, "images/expanded.png"); //$NON-NLS-1$ fgExpandedImage= descriptor.createImage(display); display.disposeExec(new DisplayDisposeRunnable()); } } /** * Returns the state of this annotation. * * @return true if collapsed */ public boolean isCollapsed() { return fIsCollapsed; } /** * Marks this annotation as being collapsed. */ public void markCollapsed() { fIsCollapsed= true; } /** * Marks this annotation as being unfolded. */ public void markExpanded() { fIsCollapsed= false; } }