+ def get_face(self, t):
+ if t.type_ == 'Player':
+ if t.name in self.faces:
+ return self.faces[t.name]
+ else:
+ return '/O O\\' + '| oo |' + '\\>--</'
+ return None
+
+ def remove_thing(self, t):
+ self.things.remove(t)
+ self.changed_fovs = True
+
+ def add_thing(self, type_, position, id_=0):
+ t_old = None
+ if id_ > 0:
+ t_old = self.get_thing(id_)
+ t = self.thing_types[type_](self, id_=id_, position=position)
+ if t_old:
+ self.things[self.things.index(t_old)] = t
+ else:
+ self.things += [t]
+ self.changed_fovs = True
+ return t
+