+ # Check tools
+ for tool in self._tools:
+ if tool.pressed(ev):
+ if tool.name == 'pause play':
+ self.toggle_pause()
+
+ def toggle_pause(self):
+ self._paused = not self._paused
+ pause_img = "play.png" if self._paused else "pause.png"
+ for tool in self._tools:
+ if tool.name == 'pause play':
+ tool.update_image("32", pause_img)
+