--- a/dwtx/jface/text/AbstractHoverInformationControlManager.d	Wed Aug 27 14:49:30 2008 +0200
+++ b/dwtx/jface/text/AbstractHoverInformationControlManager.d	Mon Sep 08 00:51:37 2008 +0200
@@ -61,7 +61,6 @@
 import dwtx.jface.text.IDocumentExtension4; // packageimport
 import dwtx.jface.text.IDocumentExtension2; // packageimport
 import dwtx.jface.text.IDocumentPartitionerExtension2; // packageimport
-import dwtx.jface.text.Assert; // packageimport
 import dwtx.jface.text.DefaultInformationControl; // packageimport
 import dwtx.jface.text.IWidgetTokenOwnerExtension; // packageimport
 import dwtx.jface.text.DocumentClone; // packageimport
@@ -153,11 +152,8 @@
 import dwtx.jface.text.ITextViewerExtension4; // packageimport
 import dwtx.jface.text.ITypedRegion; // packageimport
 
-
 import dwt.dwthelper.utils;
-
-
-
+import tango.text.convert.Format;
 
 import dwt.DWT;
 import dwt.events.ControlEvent;
@@ -640,7 +636,7 @@
             if (fIsComputing || fIsInRestartMode ||
                     (fSubjectControl !is null && !fSubjectControl.isDisposed() && fSubjectControl.getShell() !is fSubjectControl.getShell().getDisplay().getActiveShell())) {
                 if (DEBUG)
-                    System.out_.println("AbstractHoverInformationControlManager...mouseHover: @ " + event.x + "/" + event.y + " : hover cancelled: fIsComputing= " + fIsComputing + ", fIsInRestartMode= " + fIsInRestartMode); //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$ //$NON-NLS-4$
+                    System.out_.println(Format("AbstractHoverInformationControlManager...mouseHover: @ {}/{} : hover cancelled: fIsComputing= {}, fIsInRestartMode= {}", event.x, event.y, fIsComputing, fIsInRestartMode)); //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$ //$NON-NLS-4$
                 return;
             }
 
@@ -1092,6 +1088,9 @@
     protected Point getHoverEventLocation() {
         return fHoverEvent !is null ? new Point(fHoverEvent.x, fHoverEvent.y) : new Point(-1, -1);
     }
+    package Point getHoverEventLocation_package() {
+        return getHoverEventLocation();
+    }
 
     /**
      * Returns the most recent mouse hover event.
@@ -1123,11 +1122,17 @@
      * @nooverride This method is not intended to be re-implemented or extended by clients.
      */
     public InternalAccessor getInternalAccessor() {
-        return new class()  MyInternalAccessor {
+        return new MyInternalAccessor2(this);
+    }
+        static class MyInternalAccessor2 : MyInternalAccessor {
+            AbstractHoverInformationControlManager outer_;
+            this( AbstractHoverInformationControlManager a ){
+                outer_=a;
+                super(a);
+            }
             public void setHoverEnrichMode(ITextViewerExtension8_EnrichMode mode) {
-                this.outer.setHoverEnrichMode(mode);
+                outer_.setHoverEnrichMode(mode);
             }
-        };
-    }
+        }
 
 }