summaryrefslogtreecommitdiff
path: root/lib/Properties.hs
diff options
context:
space:
mode:
authorSven G. Brönstrup2021-12-26 13:56:05 +0100
committerSven G. Brönstrup2021-12-26 13:56:05 +0100
commitafd2f44b451f66c5254da176f2c783b73fc35eda (patch)
tree9b10c1d1995f51fa9b6cbe170b5222c3694a0556 /lib/Properties.hs
parent4c9e6efc70b069b279e0e009e4dd836015bbf4df (diff)
Allow to copy sounds for custom JS with ObjectProperty `loadSound`
Diffstat (limited to 'lib/Properties.hs')
-rw-r--r--lib/Properties.hs2
1 files changed, 1 insertions, 1 deletions
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)