equal
deleted
inserted
replaced
409 foreach_subscribe.call(this,off); |
409 foreach_subscribe.call(this,off); |
410 update_subscriptions(); |
410 update_subscriptions(); |
411 need_cache_apply.push(this); |
411 need_cache_apply.push(this); |
412 jumps_need_update = true; |
412 jumps_need_update = true; |
413 requestHMIAnimation(); |
413 requestHMIAnimation(); |
414 console.log(opstr, new_item_offset); |
|
415 } |
414 } |
416 |
415 |
417 |
416 |
418 function switch_visible_page(page_name) { |
417 function switch_visible_page(page_name) { |
419 |
418 |