* Thuban/UI/renderer.py (MapRenderer.layer_ids): New method to
return the shape ids to be rendered in a given layer.
(MapRenderer.draw_shape_layer): Call layer_ids to get the list of
ids.
(ScreenRenderer.RenderMap): New parameter
for the rectangle that has to be updated
(ScreenRenderer.layer_ids): Make use of the layer's quadtree by
calling it's ShapesInRegion method.
|
trunk/thuban/Thuban/UI/renderer.py