On Fri, Apr 6, 2018 at 8:15 AM, Johannes Schindelin
<johannes.schinde...@gmx.de> wrote:
> On Fri, 6 Apr 2018, Eric Sunshine wrote:
>> On Thu, Apr 5, 2018 at 6:48 PM, Johannes Schindelin
>> <johannes.schinde...@gmx.de> wrote:
>> > +color.advice.advice::
>> > +       Use customized color for hints.
>>
>> Is "color.advice.advice" correct?
>
> As per the patch, yes. But you're right, it sounds silly. Will change to
> `color.advice.hint`, okay?

That's more understandable. Thanks.

Reply via email to