diff -ru devtodo-0.1.11.orig/src/TodoDB.cc devtodo-0.1.11/src/TodoDB.cc --- devtodo-0.1.11.orig/src/TodoDB.cc Wed Jul 11 06:42:35 2001 +++ devtodo-0.1.11/src/TodoDB.cc Wed Aug 15 14:10:05 2001 @@ -814,6 +814,8 @@ if (clr[0] == '+') { a = ::bold; clr = colour.substr(1); + }else{ + a = StreamColour::mono; } if (clr == "black") c = ::black; else