357 }

   357 }

   358 

   358 

   359 var current_visible_page;

   359 var current_visible_page;

   360 var current_subscribed_page;

   360 var current_subscribed_page;

   361 var current_page_index;

   361 var current_page_index;

   362 

   363 

   363 function prepare_svg() {

   364 function prepare_svg() {

   364     // prevents context menu from appearing on right click and long touch

   365     // prevents context menu from appearing on right click and long touch

   365     document.body.addEventListener('contextmenu', e => {

   366     document.body.addEventListener('contextmenu', e => {

   366         e.preventDefault();

   367         e.preventDefault();

   406 

   407 

   407     update_subscriptions();

   408     update_subscriptions();

   408 

   409 

   409     current_subscribed_page = page_name;

   410     current_subscribed_page = page_name;

   410     current_page_index = page_index;

   411     current_page_index = page_index;

   411 

   419 

   412     jumps_need_update = true;

   420     jumps_need_update = true;

   413 

   421 

   414     requestHMIAnimation();

   422     requestHMIAnimation();

   415     jump_history.push([page_name, page_index]);

   423     jump_history.push([page_name, page_index]);