comparison dwtx/jface/text/ITextViewerExtension8.d @ 147:000f9136b8f7

final
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 22:35:05 +0200
parents 7d818bd32d63
children a9566845f1cb
comparison
equal deleted inserted replaced
146:75302ef3f92f 147:000f9136b8f7
199 * Enrich the hover shortly after the mouse has been moved into it and 199 * Enrich the hover shortly after the mouse has been moved into it and
200 * stopped moving. 200 * stopped moving.
201 * 201 *
202 * @see ITextViewerExtension8#setHoverEnrichMode(dwtx.jface.text.ITextViewerExtension8.EnrichMode) 202 * @see ITextViewerExtension8#setHoverEnrichMode(dwtx.jface.text.ITextViewerExtension8.EnrichMode)
203 */ 203 */
204 public static final EnrichMode AFTER_DELAY= new EnrichMode("after delay"); //$NON-NLS-1$ 204 public static const EnrichMode AFTER_DELAY= new EnrichMode("after delay"); //$NON-NLS-1$
205 205
206 /** 206 /**
207 * Enrich the hover immediately when the mouse is moved into it. 207 * Enrich the hover immediately when the mouse is moved into it.
208 * 208 *
209 * @see ITextViewerExtension8#setHoverEnrichMode(dwtx.jface.text.ITextViewerExtension8.EnrichMode) 209 * @see ITextViewerExtension8#setHoverEnrichMode(dwtx.jface.text.ITextViewerExtension8.EnrichMode)
210 */ 210 */
211 public static final EnrichMode IMMEDIATELY= new EnrichMode("immediately"); //$NON-NLS-1$ 211 public static const EnrichMode IMMEDIATELY= new EnrichMode("immediately"); //$NON-NLS-1$
212 212
213 /** 213 /**
214 * Enrich the hover on explicit mouse click. 214 * Enrich the hover on explicit mouse click.
215 * 215 *
216 * @see ITextViewerExtension8#setHoverEnrichMode(dwtx.jface.text.ITextViewerExtension8.EnrichMode) 216 * @see ITextViewerExtension8#setHoverEnrichMode(dwtx.jface.text.ITextViewerExtension8.EnrichMode)
217 */ 217 */
218 public static final EnrichMode ON_CLICK= new EnrichMode("on click"); //$NON-NLS-1$; 218 public static const EnrichMode ON_CLICK= new EnrichMode("on click"); //$NON-NLS-1$;
219 219
220 220
221 private String fName; 221 private String fName;
222 222
223 private this(String name) { 223 private this(String name) {