small adjustments, many enhancements to rktplayer

2026-04-16 22:22:25 +02:00
parent 82fa80746c
commit 4bef5cf94c
8 changed files with 492 additions and 49 deletions
--- a/rktplayer.rkt
+++ b/rktplayer.rkt
@@ -44,7 +44,7 @@
                       ))
         (window (new rktplayer% [wv-context context]))
         )
-    (send window devtools)
+    ;(send window devtools)
    window)
  )