diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-06-07 17:36:18 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-06-07 17:36:18 +0000 |
| commit | 791e5812a9fb4978a3c2f6aba0de8658e74d1597 (patch) | |
| tree | 3e68a37115a04c73460cdb475271e1e15599ba3c /toplevel | |
| parent | 4d06337f9f21b62fa15763f8aee0471e78490150 (diff) | |
Colorization of coqtop messages is turned *off* by default
This bling-bling feature is interacting badly with
- the documentation generation
- the bench logs
- compilation in an emacs buffer
- ...
As long as these points aren't solved, no coloring by default,
but on the contrary an option to manually activate it: coqtop -color
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15427 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/coqtop.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml index 860ef2e61..6e5019adb 100644 --- a/toplevel/coqtop.ml +++ b/toplevel/coqtop.ml @@ -303,7 +303,7 @@ let parse_args arglist = | "-filteropts" :: rem -> filter_opts := true; parse rem - | "-nocolor" :: rem -> Flags.make_term_color false; parse rem + | "-color" :: rem -> Flags.make_term_color true; parse rem | s :: rem -> if !filter_opts then |