Lines 137-147
Link Here
|
137 |
|
137 |
|
138 |
void paint(GC gc) { |
138 |
void paint(GC gc) { |
139 |
SWTGraphics graphics = new SWTGraphics(gc); |
139 |
SWTGraphics graphics = new SWTGraphics(gc); |
140 |
if (!updating) { |
140 |
if (!updating) { |
141 |
/** |
141 |
/** |
142 |
* If a paint occurs not as part of an update, we should notify that the region |
142 |
* If a paint occurs not as part of an update, we should notify that the region |
143 |
* is being painted. Otherwise, notification already occurs in repairDamage(). |
143 |
* is being painted. Otherwise, notification already occurs in repairDamage(). |
|
|
144 |
* Validation should be done too, because some figures might be invalid. |
144 |
*/ |
145 |
*/ |
|
|
146 |
performValidation(); |
145 |
HashMap map = new HashMap(); |
147 |
HashMap map = new HashMap(); |
146 |
Rectangle rect = graphics.getClip(new Rectangle()); |
148 |
Rectangle rect = graphics.getClip(new Rectangle()); |
147 |
map.put(root, rect); |
149 |
map.put(root, rect); |