diff options
| author | stuebinm | 2021-12-26 13:08:30 +0000 |
|---|---|---|
| committer | stuebinm | 2021-12-26 13:08:30 +0000 |
| commit | ee73507353fb60d15de94f1f3212ad0d36bea823 (patch) | |
| tree | 9b10c1d1995f51fa9b6cbe170b5222c3694a0556 | |
| parent | 4c9e6efc70b069b279e0e009e4dd836015bbf4df (diff) | |
| parent | afd2f44b451f66c5254da176f2c783b73fc35eda (diff) | |
Merge branch 'main' into 'main'
Allow to copy sounds for custom JS with ObjectProperty `loadSound`
See merge request hub/walint!3
| -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) |