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;
* @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;
+// }
}