comparison dwtx/jface/text/AbstractHoverInformationControlManager.d @ 146:75302ef3f92f

final
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 22:34:04 +0200
parents 53b889547456
children 000f9136b8f7
comparison
equal deleted inserted replaced
145:02cd5f1224d3 146:75302ef3f92f
562 * </ul> 562 * </ul>
563 */ 563 */
564 class MouseTracker : ShellAdapter , MouseTrackListener, MouseMoveListener { 564 class MouseTracker : ShellAdapter , MouseTrackListener, MouseMoveListener {
565 565
566 /** Margin around the original hover event location for computing the hover area. */ 566 /** Margin around the original hover event location for computing the hover area. */
567 private final static int EPSILON= 3; 567 private const static int EPSILON= 3;
568 568
569 /** The area in which the original hover event occurred. */ 569 /** The area in which the original hover event occurred. */
570 private Rectangle fHoverArea; 570 private Rectangle fHoverArea;
571 /** The area for which is computed information is valid. */ 571 /** The area for which is computed information is valid. */
572 private Rectangle fSubjectArea; 572 private Rectangle fSubjectArea;