From afd2f44b451f66c5254da176f2c783b73fc35eda Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sven=20G=2E=20Bro=CC=88nstrup?= <broenstrup@spom.net>
Date: Sun, 26 Dec 2021 13:56:05 +0100
Subject: [PATCH] Allow to copy sounds for custom JS with ObjectProperty
`loadSound`
---
lib/Properties.hs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/lib/Properties.hs b/lib/Properties.hs
index 16c8c63..e746401 100644
--- a/lib/Properties.hs
+++ b/lib/Properties.hs
@@ -309,7 +309,7 @@ checkObjectProperty p@(Property name _) = do
when (null (objectName obj) || objectName obj == Just mempty) $
complain $ "Objects with the property "<>prettyprint name<>" set must \
\be named."
- | name `elem` [ "openSound", "closeSound", "bellSound" ] -> do
+ | name `elem` [ "openSound", "closeSound", "bellSound", "loadSound" ] -> do
isString p
unwrapURI (Proxy @"audio") p
(dependsOn . Link)
--
GitLab