| branch | svghmi |
| changeset 2905 | 3d7e3866cc51 |
| parent 2903 | 881d0248b3ce |
| child 2911 | 211d6a185e31 |
| 2904:92d115d8828d | 2905:3d7e3866cc51 |
|---|---|
311 jumps_need_update = true; |
311 jumps_need_update = true; |
312 |
312 |
313 requestHMIAnimation(); |
313 requestHMIAnimation(); |
314 |
314 |
315 jump_history.push([page_name, page_index]); |
315 jump_history.push([page_name, page_index]); |
316 if(jump_history.length > 42) |
|
317 jump_history.shift(); |
|
316 |
318 |
317 return true; |
319 return true; |
318 }; |
320 }; |
319 |
321 |
320 function* chain(a,b){ |
322 function* chain(a,b){ |