net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/phpeditor/IPositionManager.java

   1 package net.sourceforge.phpeclipse.phpeditor;
   2
   3 /*
   4  * (c) Copyright IBM Corp. 2000, 2001.
   5  * All Rights Reserved.
   6  */
   7
   8 import org.eclipse.jface.text.Position;
   9
  10 public interface IPositionManager {
  11
  12         void addManagedPosition(Position position);
  13
  14         void removeManagedPosition(Position position);
  15 }