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.