comparison CONTRIBUTING @ 41740:ee77a6dd8fb8

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.
author Jordi Gutiérrez Hermoso <jordigh@octave.org>
date Fri, 15 Feb 2019 15:43:22 -0500
parents a492610a2fc1
children
comparison
equal deleted inserted replaced
41739:8ab42ccb68fe 41740:ee77a6dd8fb8