frog: life is better with colors :)

frog/frog_options.dart

Index: frog/frog_options.dart
diff --git a/frog/frog_options.dart b/frog/frog_options.dart
index 02c04357a816a0d7ce71a81ea8513b9382f4a694..1685ba02c3174099c5d43ecc4925239f5c53f30d 100644
--- a/frog/frog_options.dart
+++ b/frog/frog_options.dart
@@ -44,6 +44,7 @@ class FrogOptions {
   bool throwOnFatal = false;
   bool showInfo = false;
   bool showWarnings = true;
+  bool useColors = true;
 
   /**
    * Options to be used later for passing to the generated code. These are all
@@ -136,6 +137,10 @@ class FrogOptions {
           forceDynamic = true;
           continue loop;

[Bob Nystrom, 2011/12/06 22:47:43]

Is this still needed? I believe break is working now.

[Siggi Cherem (dart-lang), 2011/12/06 23:37:38]

Done.

 
+        case '--no_colors':
+          useColors = false;
+          continue loop;
+
         default:
           if (arg.endsWith('.dart')) {
             dartScript = arg;