--- a/svghmi/svghmi.js	Tue Oct 29 09:10:10 2019 +0100
+++ b/svghmi/svghmi.js	Tue Oct 29 11:18:58 2019 +0100
@@ -180,7 +180,6 @@
     let old_desc = page_desc[current_page];
     let new_desc = page_desc[page_name];
     /* TODO hide / show widgets */
-    /* TODO move viewport */
 
     /* remove subsribers of previous page if any */
     if(old_desc) for(let widget of old_desc.widgets){
@@ -197,6 +196,7 @@
             }
         }
         svg_root.setAttribute('viewBox',new_desc.bbox.join(" "));
+        // TODO dispatch current cache in newly opened page
     }
     current_page = page_name;