Index: Source/devtools/protocol.json |
diff --git a/Source/devtools/protocol.json b/Source/devtools/protocol.json |
index efdd50031997378db359d49ec2119c8f37b7a407..3ad884dfe498c6f70ef923514a4a873359fc931c 100644 |
--- a/Source/devtools/protocol.json |
+++ b/Source/devtools/protocol.json |
@@ -4899,7 +4899,8 @@ |
"parameters": [ |
{ "name": "playerId", "type": "string", "description": "AnimationPlayer id." }, |
{ "name": "duration", "type": "number", "description": "Duration of the animation." }, |
- { "name": "delay", "type": "number", "description": "Delay of the animation." } |
+ { "name": "delay", "type": "number", "description": "Delay of the animation." }, |
+ { "name": "isTransition", "type": "boolean", "description": "Whether the animation is a transition." } |
], |
"description": "Sets the timing of an animation node." |
} |