commit 587ca79001b473729f496829656c93e1fe4c21a0
author José Fonseca <jose.r.fonseca@gmail.com> Fri Mar 16 07:09:04 2012 +0000
committer José Fonseca <jose.r.fonseca@gmail.com> Fri Mar 16 07:09:04 2012 +0000
tree 256a755bd1c88516b9286f53ee2dd5285dfca180
parent b412d245dc43c6ac8b7eaa4f75d6e54d12dedd35

Bold function names in tracediff2.

scripts/highlight.py

diff --git a/scripts/highlight.py b/scripts/highlight.py
index f76b1ab..1d49469 100644
--- a/scripts/highlight.py
+++ b/scripts/highlight.py
@@ -96,8 +96,11 @@
     def color(self, color):
         self._escape(str(30 + color) + 'm')
 
-    def bold(self):
-        self._escape(self._bold)
+    def bold(self, enable = True):
+        if enable:
+            self._escape('1m')
+        else:
+            self._escape('21m')
 
     def italic(self):
         self._escape(self._italic)