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

final
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 22:35:05 +0200
parents 75302ef3f92f
children a9566845f1cb
comparison
equal deleted inserted replaced
146:75302ef3f92f 147:000f9136b8f7
249 249
250 /** 250 /**
251 * Inner border thickness in pixels. 251 * Inner border thickness in pixels.
252 * @since 3.1 252 * @since 3.1
253 */ 253 */
254 private static final int INNER_BORDER= 1; 254 private static const int INNER_BORDER= 1;
255 255
256 /** The control's text widget */ 256 /** The control's text widget */
257 private StyledText fText; 257 private StyledText fText;
258 /** The information presenter, or <code>null</code> if none. */ 258 /** The information presenter, or <code>null</code> if none. */
259 private const IInformationPresenter fPresenter; 259 private const IInformationPresenter fPresenter;