(BaseRenderer.draw_shape_layer_incrementally): If the draw function is for points, call it with the size as additional parameter. BaseRenderer.draw_point_shape): Added additional, optional parameter for the size. Compute the radius using the size.
trunk/thuban/Thuban/UI/baserenderer.py