[#18] Use events to query emulation pause state.

zx/_device.py

@@ -15,6 +15,10 @@ class DeviceEvent(object):
     pass
 
 
+class GetEmulationPauseState(DeviceEvent):
+    pass
+
+
 class GetEmulationTime(DeviceEvent):
     pass
 

zx/_gui.py

@@ -12,6 +12,7 @@
 import enum
 import gi
 from ._device import Device
+from ._device import GetEmulationPauseState
 from ._device import GetEmulationTime
 from ._device import GetTapePlayerTime
 from ._device import IsTapePlayerPaused
@@ -421,7 +422,7 @@ def on_event(self, event, devices, result):
         return result
 
     def _on_updated_pause_state(self, event, devices):
-        if self.xmachine.paused:
+        if devices.notify(GetEmulationPauseState()):
             time = devices.notify(GetEmulationTime())
             self._notification.set(draw_pause_notification, time)
         else:

zx/_machine.py

@@ -12,6 +12,7 @@
 import enum
 from ._data import MachineSnapshot
 from ._data import ProcessorSnapshot
+from ._device import GetEmulationPauseState
 from ._device import GetEmulationTime
 from ._device import GetTapePlayerTime
 from ._device import IsTapePlayerPaused
@@ -420,7 +421,9 @@ def on_breakpoint(self):
         raise EmulatorException('Breakpoint triggered.')
 
     def on_event(self, event, devices, result):
-        if isinstance(event, GetEmulationTime):
+        if isinstance(event, GetEmulationPauseState):
+            return self.paused
+        elif isinstance(event, GetEmulationTime):
             return self._emulation_time
         elif isinstance(event, GetTapePlayerTime):
             return self._tape_player.get_time()