_ANIMATIONS, animations, }; }, /** * Update visibility of detail pane. */ updateDetailVisibility(detailVisibility) { return { type: UPDATE_DETAIL_VISIBILITY, detailVisibility, }; }, /** * Update the state of element picker in animation inspector. */ updateElementPickerEnabled(elementPickerEnabled) { return { type: UPDATE_ELEMENT_PICKER_ENABLED, elementPickerEnabled, }; }, /** * Update the highlighted node. */ updateHighlightedNode(nodeFront) { return { type: UPDATE_HIGHLIGHTED_NODE, highlightedNode: nodeFront ? nodeFront.actorID : null, }; }, /** * Update the playback rates. */ updatePlaybackRates() { return { type: UPDATE_PLAYBACK_RATES, }; }, /** * Update selected animation. */ updateSelectedAnimation(selectedAnimation) { return { type: UPDATE_SELECTED_ANIMATION, selectedAnimation, }; }, /** * Update the sidebar size. */ updateSidebarSize(sidebarSize) { return { type: UPDATE_SIDEBAR_SIZE, sidebarSize, }; }, }; PK