Adding a local player agent

2026-08-27 10:24:40 +02:00
parent d22a7ad529
commit 577b0aa729
8 changed files with 1321 additions and 37 deletions
@@ -0,0 +1,16 @@
+#lang racket/base
+
+(provide run-player-agent)
+
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+; goal   : Start the graphical polling playback agent.
+; pre    : A graphical desktop is available.
+; post   : The agent remains active until its window is closed.
+; result : The GUI frame returned by the implementation.
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+(define (run-player-agent)
+  ((dynamic-require "private/player-agent-gui.rkt"
+                    'run-player-agent-gui)))
+
+(module+ main
+  (run-player-agent))