--- a/svghmi/widget_jump.ysl2 Sun Apr 19 22:01:12 2020 +0200
+++ b/svghmi/widget_jump.ysl2 Sun Apr 19 22:44:41 2020 +0200
@@ -126,3 +126,16 @@
error > Jump id="«@id»" to page "«$target_page_name»" with incompatible path "«path[1]/@value» (must be same class as "«$target_page_path»")
}
}
+
+emit "epilogue:jump"
+||
+var jumps_need_update = false;
+var jump_history = [[default_page, undefined]];
+
+function update_jumps() {
+ page_desc[current_visible_page].jumps.map(w=>w.notify_page_change(current_visible_page,current_page_index));
+ jumps_need_update = false;
+};
+
+||
+