commit fc1efa371a805400c3a0cbad9690b7f04135162f
author Walter Dörwald <walter@livinglogic.de> Thu Jun 19 10:36:17 2003 +0000
committer Walter Dörwald <walter@livinglogic.de> Thu Jun 19 10:36:17 2003 +0000
tree 863ef8f74fde51e33b44edfe8f064a1d5d40bf6e
parent a9da5ae07aa40d834b9bfb71de8af0f1b68f39ba

Make the comment prefix 7 character long, so the lines are properly
aligned.

Tools/scripts/trace.py

diff --git a/Tools/scripts/trace.py b/Tools/scripts/trace.py
index e458d1d..a4d324a 100644
--- a/Tools/scripts/trace.py
+++ b/Tools/scripts/trace.py
@@ -304,7 +304,7 @@
                     n_lines = n_lines + 1
                 elif blank.match(line):
                     # blank lines and comments are preceded by dots
-                    outfile.write('    . ')
+                    outfile.write('     . ')
                 else:
                     # lines preceded by no marks weren't hit
                     # Highlight them if so indicated, unless the line contains