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

final
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 22:35:05 +0200
parents 75302ef3f92f
children f70d9508c95c
comparison
equal deleted inserted replaced
146:75302ef3f92f 147:000f9136b8f7
247 ITextViewer, ITextViewerExtension, ITextViewerExtension2, ITextViewerExtension4, ITextViewerExtension6, ITextViewerExtension7, ITextViewerExtension8, 247 ITextViewer, ITextViewerExtension, ITextViewerExtension2, ITextViewerExtension4, ITextViewerExtension6, ITextViewerExtension7, ITextViewerExtension8,
248 IEditingSupportRegistry, ITextOperationTarget, ITextOperationTargetExtension, 248 IEditingSupportRegistry, ITextOperationTarget, ITextOperationTargetExtension,
249 IWidgetTokenOwner, IWidgetTokenOwnerExtension, IPostSelectionProvider { 249 IWidgetTokenOwner, IWidgetTokenOwnerExtension, IPostSelectionProvider {
250 250
251 /** Internal flag to indicate the debug state. */ 251 /** Internal flag to indicate the debug state. */
252 public static final bool TRACE_ERRORS= false; 252 public static const bool TRACE_ERRORS= false;
253 /** Internal flag to indicate the debug state. */ 253 /** Internal flag to indicate the debug state. */
254 private static final bool TRACE_DOUBLE_CLICK= false; 254 private static const bool TRACE_DOUBLE_CLICK= false;
255 255
256 /** 256 /**
257 * Width constraint for text hovers (in characters). 257 * Width constraint for text hovers (in characters).
258 * @since 3.4 258 * @since 3.4
259 */ 259 */
260 private static final int TEXT_HOVER_WIDTH_CHARS= 100; //used to be 60 (text font) 260 private static const int TEXT_HOVER_WIDTH_CHARS= 100; //used to be 60 (text font)
261 /** 261 /**
262 * Height constraint for text hovers (in characters). 262 * Height constraint for text hovers (in characters).
263 * @since 3.4 263 * @since 3.4
264 */ 264 */
265 private static final int TEXT_HOVER_HEIGHT_CHARS= 12; //used to be 10 (text font) 265 private static const int TEXT_HOVER_HEIGHT_CHARS= 12; //used to be 10 (text font)
266 266
267 /** 267 /**
268 * Represents a replace command that brings the text viewer's text widget 268 * Represents a replace command that brings the text viewer's text widget
269 * back in synchronization with text viewer's document after the document 269 * back in synchronization with text viewer's document after the document
270 * has been changed. 270 * has been changed.
1595 1595
1596 /** 1596 /**
1597 * Base position category name used by the selection updater 1597 * Base position category name used by the selection updater
1598 * @since 3.1 1598 * @since 3.1
1599 */ 1599 */
1600 private static final String SELECTION_POSITION_CATEGORY= "_textviewer_selection_category"; //$NON-NLS-1$ 1600 private static const String SELECTION_POSITION_CATEGORY= "_textviewer_selection_category"; //$NON-NLS-1$
1601 /** The viewer's text widget */ 1601 /** The viewer's text widget */
1602 private StyledText fTextWidget; 1602 private StyledText fTextWidget;
1603 /** The viewer's input document */ 1603 /** The viewer's input document */
1604 private IDocument fDocument; 1604 private IDocument fDocument;
1605 /** The viewer's visible document */ 1605 /** The viewer's visible document */