Skip to content
Snippets Groups Projects
Commit ee735073 authored by stuebinm's avatar stuebinm
Browse files

Merge branch 'main' into 'main'

Allow to copy sounds for custom JS with ObjectProperty `loadSound`

See merge request !3
parents 4c9e6efc afd2f44b
No related branches found
No related tags found
1 merge request!3Allow to copy sounds for custom JS with ObjectProperty `loadSound`
Pipeline #12047 passed
......@@ -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)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment