--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/common/highlight.py	Thu May 26 18:09:05 2011 +0200
@@ -0,0 +1,50 @@
+# -*- coding: utf-8 -*-
+
+(BLACK, RED, GREEN, YELLOW, BLUE, MAGENTA, CYAN, WHITE, BOLD) = range(0,9)
+
+names = ['black','red','green','yellow','blue','magenta','cyan','white']
+
+disabled = False  # set True to disable all colors
+
+def highlight(enable, fg=None, bg=None):
+    '''
+
+    highlight(1) -- switch to bold
+    highlight(1,1) -- red foreground
+    highlight(1,3,4) -- red on blue
+    highlight(0) -- reset
+
+    '''
+    global disabled
+    if disabled:
+        return ''
+
+    if enable:
+        code = '1'
+        if fg is not None:
+            code = ''
+            if fg >= 8:
+                fg -= 8
+                code += '1;'
+            code += str(30 + fg)
+        if bg is not None:
+            code += ';'
+            if bg >= 8:
+                bg -= 8
+                code += '1;'
+            code += str(40 + bg)
+        return "\033[" + code + "m"
+    else:
+        return "\033[0m"
+
+def sethighlight(enable, fg=None, bg=None):
+    print(highlight(enable, fg, bg), end='')
+
+
+if __name__ == '__main__':
+    for c in range(0,8):
+        print(
+            highlight(1,c), names[c].ljust(20),
+            highlight(1,8+c), names[c].ljust(20),
+            highlight(0), sep='')
+