All Downloads are FREE. Search and download functionalities are using the official Maven repository.

org.eclipse.jface.text.ITextViewerExtension8 Maven / Gradle / Ivy

The newest version!
/*******************************************************************************
 * Copyright (c) 2007, 2008 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
 *******************************************************************************/
package org.eclipse.jface.text;

import org.eclipse.swt.custom.StyledTextPrintOptions;


/**
 * Extension interface for {@link org.eclipse.jface.text.ITextViewer}. Adds the
 * ability to print and set how hovers should be enriched when the mouse is moved into them.
 *
 * @since 3.4
 */
public interface ITextViewerExtension8 {

	/**
	 * Print the text viewer contents using the given options.
	 *
	 * @param options the print options
	 */
	void print(StyledTextPrintOptions options);

	/**
	 * Sets the hover enrich mode.
	 * A non-null mode defines when hovers
	 * should be enriched once the mouse is moved into them.
	 * If mode is null, hovers are automatically closed
	 * when the mouse is moved out of the {@link ITextHover#getHoverRegion(ITextViewer, int) hover region}.
	 * 

* Note that a hover can only be enriched if its {@link IInformationControlExtension5#getInformationPresenterControlCreator()} * is not null. *

* * @param mode the enrich mode, or null */ void setHoverEnrichMode(EnrichMode mode); /** * Type-safe enum of the available enrich modes. */ public static final class EnrichMode { /** * Enrich the hover shortly after the mouse has been moved into it and * stopped moving. * * @see ITextViewerExtension8#setHoverEnrichMode(org.eclipse.jface.text.ITextViewerExtension8.EnrichMode) */ public static final EnrichMode AFTER_DELAY= new EnrichMode("after delay"); //$NON-NLS-1$ /** * Enrich the hover immediately when the mouse is moved into it. * * @see ITextViewerExtension8#setHoverEnrichMode(org.eclipse.jface.text.ITextViewerExtension8.EnrichMode) */ public static final EnrichMode IMMEDIATELY= new EnrichMode("immediately"); //$NON-NLS-1$ /** * Enrich the hover on explicit mouse click. * * @see ITextViewerExtension8#setHoverEnrichMode(org.eclipse.jface.text.ITextViewerExtension8.EnrichMode) */ public static final EnrichMode ON_CLICK= new EnrichMode("on click"); //$NON-NLS-1$; private String fName; private EnrichMode(String name) { fName= name; } @Override public String toString() { return fName; } } }




© 2015 - 2024 Weber Informatics LLC | Privacy Policy