def redraw(self, update_types=set()):
if len(update_types) == 0:
r = RendererObjectManager(0, None)
self.refresh_sources(set([r.update_type.Reset]))
else:
Layer.redraw(self, self.point_sources, self.line_sources, \
self.text_sources, self.image_sources, update_types)
def redraw(self, update_types=set()):
if len(update_types) == 0:
r = RendererObjectManager(0, None)
self.refresh_sources(set([r.update_type.Reset]))
else:
Layer.redraw(
self, self.point_sources, self.line_sources, self.text_sources, self.image_sources, update_types
)
