From 6f69d5d9af1860ce1a9dff9f89c2aafa5a3e6dac Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Tue, 22 Nov 2016 11:39:05 -0800 Subject: 3682 Clean up the flow of "mu --trace" followed by "mu browse-trace interactive". --- html/020run.cc.html | 8 +++++--- html/100trace_browser.cc.html | 8 ++++---- 2 files changed, 9 insertions(+), 7 deletions(-) (limited to 'html') diff --git a/html/020run.cc.html b/html/020run.cc.html index be5baa4c..f4aa1652 100644 --- a/html/020run.cc.html +++ b/html/020run.cc.html @@ -225,9 +225,11 @@ save_snapshots(); if (!Run_tests && contains_key(Recipe_ordinal, "main") && contains_key(Recipe, get(Recipe_ordinal, "main"))) { // Running Main setup(); -//? Save_trace = true; - if (Start_tracing) Trace_stream = new trace_stream; - trace(9990, "run") << "=== Starting to run" << end(); + if (Start_tracing) { + Trace_stream = new trace_stream; + Save_trace = true; + } + trace(2, "run") << "=== Starting to run" << end(); assert(Num_calls_to_transform_all == 1); run_main(argc, argv); teardown(); diff --git a/html/100trace_browser.cc.html b/html/100trace_browser.cc.html index af7736ce..53f1e426 100644 --- a/html/100trace_browser.cc.html +++ b/html/100trace_browser.cc.html @@ -212,9 +212,9 @@ map<int, if (screen_row < tb_height()-1) { int delta = lines_hidden(screen_row); // home-brew escape sequence for red - if (delta > 999) out << "{"; + if (delta > 999) out << static_cast<char>(1); out << " (" << delta << ")"; - if (delta > 999) out << "}"; + if (delta > 999) out << static_cast<char>(2); } render_line(screen_row, out.str()); } @@ -243,8 +243,8 @@ map<int, char c = s.at(col); // todo: unicode if (c == '\n') c = ';'; // replace newlines with semi-colons // escapes. hack: can't start a line with them. - if (c == '{') { color = /*red*/1; c = ' '; } - if (c == '}') { color = TB_WHITE; c = ' '; } + if (c == '\1') { color = /*red*/1; c = ' '; } + if (c == '\2') { color = TB_WHITE; c = ' '; } tb_change_cell(col, screen_row, c, color, TB_BLACK); } for (; col < tb_width(); ++col) { -- cgit 1.4.1-2-gfad0