diff options
author | Kartik Agaram <vc@akkartik.com> | 2019-12-22 07:48:53 -0800 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2019-12-22 07:48:53 -0800 |
commit | c69f33143c0460373aa77e100e3b3ca31a08ca10 (patch) | |
tree | b47ca86dfecc33a932adbf9fa1d55852af2cf4eb | |
parent | c357b103d16e29ec0eb15c4a57d3906bb2edaf56 (diff) | |
download | mu-c69f33143c0460373aa77e100e3b3ca31a08ca10.tar.gz |
5819
Minor tweaks to stop wasting horizontal space in the trace.
-rw-r--r-- | 003trace.cc | 2 | ||||
-rw-r--r-- | 010---vm.cc | 2 | ||||
-rw-r--r-- | tools/browse_trace.cc | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/003trace.cc b/003trace.cc index 539032c7..b4776d44 100644 --- a/003trace.cc +++ b/003trace.cc @@ -141,7 +141,7 @@ string unescape_newline(string& s) { } void dump_trace_line(ostream& s, trace_line& t) { - s << std::setw(4) << t.depth << ' ' << t.label << ": " << unescape_newline(t.contents) << '\n'; + s << std::setw(2) << t.depth << ' ' << t.label << ": " << unescape_newline(t.contents) << '\n'; } //: Starting a new trace line. diff --git a/010---vm.cc b/010---vm.cc index 1b80b5e5..56ff5cf5 100644 --- a/010---vm.cc +++ b/010---vm.cc @@ -336,7 +336,7 @@ void dump_registers() { ostringstream out; out << "registers before: "; for (int i = 0; i < NUM_INT_REGISTERS; ++i) { - if (i > 0) out << " "; + if (i > 0) out << " "; out << i << ": " << std::hex << std::setw(8) << std::setfill('_') << Reg[i].u; } out << " -- SF: " << SF << "; ZF: " << ZF << "; CF: " << CF << "; OF: " << OF; diff --git a/tools/browse_trace.cc b/tools/browse_trace.cc index 85c010f9..f3d6416f 100644 --- a/tools/browse_trace.cc +++ b/tools/browse_trace.cc @@ -356,7 +356,7 @@ void render() { // Trace_index -> Last_printed_row, screen else { out << " "; } - out << std::setw(4) << curr_line.depth << ' ' << curr_line.label << ": " << curr_line.contents; + out << std::setw(2) << curr_line.depth << ' ' << curr_line.label << ": " << curr_line.contents; render_line(screen_row, out.str(), screen_row == Cursor_row); } // clear rest of screen |