(ScreenRenderer.draw_selection_incrementally): Added consideration of the specific size of point symbols. The property for each point symbol is retrieved and the size applied for the rendering method. Added doc-string.
trunk/thuban/Thuban/UI/renderer.py