Add some color

2014-08-20 16:50:17 +02:00
parent 392430b2c4
commit 373fad75e1
6 changed files with 56 additions and 52 deletions
@@ -143,7 +143,7 @@ std::ostream & operator << (std::ostream & str, const Pos & pos)
    if (!pos)
        str << "undefined position";
    else
-        str << (format("%1%:%2%:%3%") % pos.file % pos.line % pos.column).str();
+        str << (format(ANSI_BOLD "%1%" ANSI_NORMAL ":%2%:%3%") % pos.file % pos.line % pos.column).str();
    return str;
 }