--- a/svghmi/svghmi.js	Thu Mar 26 13:33:20 2020 +0100
+++ b/svghmi/svghmi.js	Thu Mar 26 14:21:52 2020 +0100
@@ -3,6 +3,7 @@
 var cache = hmitree_types.map(_ignored => undefined);
 var updates = {};
 var need_cache_apply = []; 
+var jump_history = [[default_page, undefined]];
 
 function dispatch_value_to_widget(widget, index, value, oldval) {
     try {
@@ -271,13 +272,13 @@
     if(current_subscribed_page != current_visible_page){
         /* page switch already going */
         /* TODO LOG ERROR */
-        return;
+        return false;
     }
 
     if(page_name == undefined)
         page_name = current_subscribed_page;
 
-    switch_subscribed_page(page_name, page_index);
+    return switch_subscribed_page(page_name, page_index);
 };
 
 function* chain(a,b){
@@ -373,7 +374,7 @@
 
     if(new_desc == undefined){
         /* TODO LOG ERROR */
-        return;
+        return false;
     }
 
     if(page_index == undefined){
@@ -393,6 +394,10 @@
     current_subscribed_page = page_name;
 
     requestHMIAnimation();
+
+    jump_history.push([page_name, page_index]);
+
+    return true;
 }
 
 function switch_visible_page(page_name) {