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

final
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 22:35:05 +0200
parents 53b889547456
children f70d9508c95c
comparison
equal deleted inserted replaced
146:75302ef3f92f 147:000f9136b8f7
79 * @since 3.0 79 * @since 3.0
80 */ 80 */
81 /* 81 /*
82 * 5 as value has been chosen in order to beat the hovers of {@link dwtx.jface.text.TextViewerHoverManager} 82 * 5 as value has been chosen in order to beat the hovers of {@link dwtx.jface.text.TextViewerHoverManager}
83 */ 83 */
84 public static final int WIDGET_PRIORITY= 5; 84 public static const int WIDGET_PRIORITY= 5;
85 85
86 86
87 /** 87 /**
88 * Internal information control closer. Listens to several events issued by its subject control 88 * Internal information control closer. Listens to several events issued by its subject control
89 * and closes the information control when necessary. 89 * and closes the information control when necessary.