File tree Expand file tree Collapse file tree 4 files changed +4
-4
lines changed Expand file tree Collapse file tree 4 files changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -45,7 +45,7 @@ export const EquivalentStates = (props: EquivalentStatesProps) => {
4545
4646 const dataContext = useContext ( DataContext ) ;
4747
48- const [ duration , setDuration ] = useState ( AnimationDurationOptions [ 0 ] ) ;
48+ const [ duration , setDuration ] = useState ( AnimationDurationOptions [ 5 ] ) ;
4949 const [ isPlaying , setIsPlaying ] = useState ( false ) ;
5050
5151 const [ isComplete , setIsComplete ] = useState ( false ) ; // set to true when data is completely displayed
Original file line number Diff line number Diff line change @@ -44,7 +44,7 @@ export const ModifiedTable = (props: ModifiedTableProps) => {
4444
4545 const dataContext = useContext ( DataContext ) ;
4646
47- const [ duration , setDuration ] = useState ( AnimationDurationOptions [ 0 ] ) ;
47+ const [ duration , setDuration ] = useState ( AnimationDurationOptions [ 5 ] ) ;
4848 const [ isPlaying , setIsPlaying ] = useState ( false ) ;
4949
5050 const [ isComplete , setIsComplete ] = useState ( false ) ; // set to true when data is completely displayed
Original file line number Diff line number Diff line change @@ -48,7 +48,7 @@ export const NullClosure = (props: NullClosureProps) => {
4848
4949 const dataContext = useContext ( DataContext ) ;
5050
51- const [ duration , setDuration ] = useState ( AnimationDurationOptions [ 0 ] ) ;
51+ const [ duration , setDuration ] = useState ( AnimationDurationOptions [ 5 ] ) ;
5252 const [ isPlaying , setIsPlaying ] = useState ( false ) ;
5353
5454 const [ isComplete , setIsComplete ] = useState ( false ) ; // set to true when data is completely displayed
Original file line number Diff line number Diff line change @@ -57,7 +57,7 @@ export const ResultantDfa = (props: ResultantDfaProps) => {
5757
5858 const dataContext = useContext ( DataContext ) ;
5959
60- const [ duration , setDuration ] = useState ( AnimationDurationOptions [ 3 ] ) ;
60+ const [ duration , setDuration ] = useState ( AnimationDurationOptions [ 5 ] ) ;
6161 const [ isPlaying , setIsPlaying ] = useState ( false ) ;
6262
6363 const [ isComplete , setIsComplete ] = useState ( false ) ; // set to true when data is completely displayed
You can’t perform that action at this time.
0 commit comments