Color

- Implemented Color::strip which can remove the color codes from a
  string.

src/Color.cpp

@@ -506,6 +506,32 @@ std::string Color::colorize (const std::string& input)
   return input;
 }
 
+////////////////////////////////////////////////////////////////////////////////
+// Remove color codes from a string.
+std::string Color::strip (const std::string& input)
+{
+  int length = input.length ();
+  bool inside = false;
+  std::string output;
+  for (int i = 0; i < length; ++i)
+  {
+    if (inside)
+    {
+      if (input[i] == 'm')
+        inside = false;
+    }
+    else
+    {
+      if (input[i] == 033)
+        inside = true;
+      else
+        output += input[i];
+    }
+  }
+
+  return output;
+}
+
 ////////////////////////////////////////////////////////////////////////////////
 std::string Color::colorize (const std::string& input, const std::string& spec)
 {

src/Color.h

@@ -62,6 +62,7 @@ public:
 
   std::string colorize (const std::string&);
   static std::string colorize (const std::string&, const std::string&);
+  static std::string strip (const std::string&);
 
   bool nontrivial ();