net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/IPainter.java

   1 package net.sourceforge.phpeclipse.phpeditor;
   2
   3 /*
   4  * (c) Copyright IBM Corp. 2000, 2001.
   5  * All Rights Reserved.
   6  */
   7
   8
   9 public interface IPainter {
  10
  11   /** Paint reasons */
  12   int SELECTION=                0;
  13   int TEXT_CHANGE=      1;
  14   int KEY_STROKE=               2;
  15   int MOUSE_BUTTON= 4;
  16   int INTERNAL=                 8;
  17   int CONFIGURATION= 16;
  18
  19
  20   /**
  21    * Disposes this painter.
  22    * <p>
  23    * XXX: The relationship with deactivate is not yet defined.
  24    * </p>
  25    * */
  26   void dispose();
  27
  28   void paint(int reason);
  29
  30   /**
  31    * Deactivates the painter.
  32    * <p>
  33    * XXX: The relationship with dispose is not yet defined.
  34    * </p>
  35    */
  36   void deactivate(boolean redraw);
  37
  38   void setPositionManager(IPositionManager manager);
  39 }