Fabien Benureau db14fb94f3 Merge branch 'feature/fastercolor' into develop. Read on for details.
The interface of color has changed.
color.colored(s, 'red') becomes color.dye(s, color.red)
The code behind it is simpler and shorter.

The decision to use color or not is made when the UI class is instanciated,
and the configuration is read. There is no need to handle it on a per-file
basis. The default before repository instanciation is with color, but that
might (should) change.
2013-06-13 12:40:37 +02:00
..
2013-06-11 12:23:46 +02:00
2013-06-13 12:30:45 +02:00