public interface Highlighter
Modifier and Type | Method and Description |
---|---|
void |
changedUpdate(DrawingEvent.EventType eventType,
double scale)
Give notification from the model that a change occured for an element's highlighting
this highlighter is responsible for rendering.
|
java.awt.geom.Rectangle2D |
getBounds() |
HighlighterFactory |
getHighlighterFactory()
Fetches the HighlighterFactory implementation that is feeding the view hierarchy.
|
HitInfo |
hitTest(PEMouseEvent e) |
void |
paint(java.awt.Graphics2D g,
java.awt.geom.Rectangle2D allocation,
double scale)
Render the Highlighter to the given graphic context.
|
HighlighterFactory getHighlighterFactory()
void changedUpdate(DrawingEvent.EventType eventType, double scale)
void paint(java.awt.Graphics2D g, java.awt.geom.Rectangle2D allocation, double scale)
allocation
- current clippingscale
- The current scale factor from model to screen for the Graphics2D context ;
this may be used to scale down line thickess, etc... so that lines/rectangle/... appear with the
same lenght on the screen whatever the scale factor that's set to the graphic context.java.awt.geom.Rectangle2D getBounds()
HitInfo hitTest(PEMouseEvent e)
Submit a bug : syd@jpicedt.org