1 11 12 package org.eclipse.jface.text; 13 14 15 46 public interface IPainter { 47 48 51 int SELECTION= 0; 52 55 int TEXT_CHANGE= 1; 56 59 int KEY_STROKE= 2; 60 63 int MOUSE_BUTTON= 4; 64 67 int INTERNAL= 8; 68 71 int CONFIGURATION= 16; 72 73 74 80 void dispose(); 81 82 90 void paint(int reason); 91 92 102 void deactivate(boolean redraw); 103 104 110 void setPositionManager(IPaintPositionManager manager); 111 } 112 | Popular Tags |