def __init__(self, world):
super(WorldEditor, self).__init__()
self.world = world
self.session = world.session
self.intermediate_map = IntermediateMap(world)
self._remove_unnecessary_objects()
self._center_view()
self.brush_size = 1
self._gui = EditorGui(self, self.session.ingame_gui, self.session)
self._tile_delete_set = set()
def __init__(self, world):
super().__init__() # TODO: check whether this call is needed
self.world = world
self.session = world.session
self.intermediate_map = IntermediateMap(world)
self._remove_unnecessary_objects()
self._center_view()
self.brush_size = EDITOR.DEFAULT_BRUSH_SIZE
self._tile_delete_set = set()
self.log = logging.getLogger("gui")
def __init__(self, world):
super(WorldEditor, self).__init__()
self.world = world
self.session = world.session
self.intermediate_map = IntermediateMap(world)
self._remove_unnecessary_objects()
self._center_view()
self.brush_size = EDITOR.DEFAULT_BRUSH_SIZE
self._tile_delete_set = set()
self.log = logging.getLogger("gui")