diff 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
line wrap: on
line diff
--- a/dwtx/jface/text/information/InformationPresenter.d	Sun Aug 24 22:34:04 2008 +0200
+++ b/dwtx/jface/text/information/InformationPresenter.d	Sun Aug 24 22:35:05 2008 +0200
@@ -81,7 +81,7 @@
     /*
      * 5 as value has been chosen in order to beat the hovers of {@link dwtx.jface.text.TextViewerHoverManager}
      */
-    public static final int WIDGET_PRIORITY= 5;
+    public static const int WIDGET_PRIORITY= 5;
 
 
     /**