renderer enhancement

2026-07-29 16:22:27 +02:00
parent 4a546fdd26
commit df0996a046
2 changed files with 10 additions and 0 deletions
@@ -86,6 +86,11 @@ open and buffer the next resource while the current resource is playing,
 allowing a gapless or near-gapless transition.
 }

+@defproc[(media-renderer-play! [renderer media-renderer?]) any]{
+
+Resumes playback after it has been paused.
+}
+
@defproc[(media-renderer-next-uri-supported?
          [renderer media-renderer?])
         boolean?]{