Mercurial > projects > dwt-addons
comparison dwtx/jface/text/TextViewer.d @ 146:75302ef3f92f
final
author | Frank Benoit <benoit@tionex.de> |
---|---|
date | Sun, 24 Aug 2008 22:34:04 +0200 |
parents | 26688fec6d23 |
children | 000f9136b8f7 |
comparison
equal
deleted
inserted
replaced
145:02cd5f1224d3 | 146:75302ef3f92f |
---|---|
749 * @since 2.0 | 749 * @since 2.0 |
750 */ | 750 */ |
751 class FindReplaceRange : LineBackgroundListener, ITextListener, IPositionUpdater { | 751 class FindReplaceRange : LineBackgroundListener, ITextListener, IPositionUpdater { |
752 | 752 |
753 /** Internal name for the position category used to update the range. */ | 753 /** Internal name for the position category used to update the range. */ |
754 private final static String RANGE_CATEGORY= "dwtx.jface.text.TextViewer.find.range"; //$NON-NLS-1$ | 754 private const static String RANGE_CATEGORY= "dwtx.jface.text.TextViewer.find.range"; //$NON-NLS-1$ |
755 | 755 |
756 /** The highlight color of this range. */ | 756 /** The highlight color of this range. */ |
757 private Color fHighlightColor; | 757 private Color fHighlightColor; |
758 /** The position used to lively update this range's extent. */ | 758 /** The position used to lively update this range's extent. */ |
759 private Position fPosition; | 759 private Position fPosition; |
1648 protected Position fMarkPosition; | 1648 protected Position fMarkPosition; |
1649 /** | 1649 /** |
1650 * The mark position category. | 1650 * The mark position category. |
1651 * @since 2.0 | 1651 * @since 2.0 |
1652 */ | 1652 */ |
1653 private final String MARK_POSITION_CATEGORY="__mark_category_" + hashCode(); //$NON-NLS-1$ | 1653 private const String MARK_POSITION_CATEGORY="__mark_category_" + hashCode(); //$NON-NLS-1$ |
1654 /** | 1654 /** |
1655 * The mark position updater | 1655 * The mark position updater |
1656 * @since 2.0 | 1656 * @since 2.0 |
1657 */ | 1657 */ |
1658 private final IPositionUpdater fMarkPositionUpdater= new DefaultPositionUpdater(MARK_POSITION_CATEGORY); | 1658 private const IPositionUpdater fMarkPositionUpdater= new DefaultPositionUpdater(MARK_POSITION_CATEGORY); |
1659 /** | 1659 /** |
1660 * The flag indicating the redraw behavior | 1660 * The flag indicating the redraw behavior |
1661 * @since 2.0 | 1661 * @since 2.0 |
1662 */ | 1662 */ |
1663 private int fRedrawCounter= 0; | 1663 private int fRedrawCounter= 0; |
1683 private List fPostSelectionChangedListeners; | 1683 private List fPostSelectionChangedListeners; |
1684 /** | 1684 /** |
1685 * Queued post selection changed events count. | 1685 * Queued post selection changed events count. |
1686 * @since 3.0 | 1686 * @since 3.0 |
1687 */ | 1687 */ |
1688 private final int[] fNumberOfPostSelectionChangedEvents= new int[1]; | 1688 private const int[] fNumberOfPostSelectionChangedEvents= new int[1]; |
1689 /** | 1689 /** |
1690 * Last selection range sent to post selection change listeners. | 1690 * Last selection range sent to post selection change listeners. |
1691 * @since 3.0 | 1691 * @since 3.0 |
1692 */ | 1692 */ |
1693 private IRegion fLastSentPostSelectionChange; | 1693 private IRegion fLastSentPostSelectionChange; |