X-Git-Url: http://secure.phpeclipse.com

diff --git a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/text/CustomSourceInformationControl.java b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/text/CustomSourceInformationControl.java
index 3f3c40a..0468435 100644
--- a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/text/CustomSourceInformationControl.java
+++ b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/text/CustomSourceInformationControl.java
@@ -13,7 +13,9 @@ package net.sourceforge.phpdt.internal.ui.text;
 import net.sourceforge.phpdt.internal.ui.text.java.hover.SourceViewerInformationControl;
 
 import org.eclipse.jface.resource.JFaceResources;
-import org.eclipse.jface.text.Assert;
+//incastrix
+//import org.eclipse.jface.text.Assert;
+import org.eclipse.core.runtime.Assert;
 import org.eclipse.jface.text.BadLocationException;
 import org.eclipse.jface.text.IDocument;
 import org.eclipse.jface.text.IRegion;
@@ -231,8 +233,8 @@ public class CustomSourceInformationControl extends
 	 * @param scrollIndex
 	 *            the new horizontal scroll index
 	 */
-	public void setHorizontalScrollPixel(int scrollIndex) {
-		scrollIndex = Math.max(0, scrollIndex);
-		fHorizontalScrollPixel = scrollIndex;
-	}
+//	public void setHorizontalScrollPixel(int scrollIndex) {
+//		scrollIndex = Math.max(0, scrollIndex);
+//		fHorizontalScrollPixel = scrollIndex;
+//	}
 }