diff options
| author | Sven G. Brönstrup | 2021-12-26 13:56:05 +0100 |
|---|---|---|
| committer | Sven G. Brönstrup | 2021-12-26 13:56:05 +0100 |
| commit | afd2f44b451f66c5254da176f2c783b73fc35eda (patch) | |
| tree | 9b10c1d1995f51fa9b6cbe170b5222c3694a0556 | |
| parent | 4c9e6efc70b069b279e0e009e4dd836015bbf4df (diff) | |
Allow to copy sounds for custom JS with ObjectProperty `loadSound`
| -rw-r--r-- | lib/Properties.hs | 2 |
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) |