##// END OF EJS Templates
color: give colours to the grep.inserted and grep.deleted labels...
color: give colours to the grep.inserted and grep.deleted labels I find the "bold" makes it stand out a bit more when the green is next to the line number. Note that these labels are applied before the grep.change label, which is now disabled. To get the old colour, users can restore [color] grep.change = green dim to their hgrc.
Jordi GutiƩrrez Hermoso -
r41887:ee77a6dd default
Show More
Name Size Modified Last Commit Author
/ mercurial / thirdparty / concurrent
futures
LICENSE Loading ...
__init__.py Loading ...