+function start_autoscroll(val) {
+ at("autoscroll").textContent = (autoscroll = val) ? "Stop scroll" : "Start scroll";
+}
+
+function toggle_autoscroll() {
+ start_autoscroll(!autoscroll);
+}
+
+function add_separator() {
+ var x = document.importNode(t_separator, true);
+ trace_events_node.append(x);
+ if (autoscroll)
+ x.scrollIntoView();
+}
+