On Fri, Apr 6, 2018 at 8:15 AM, Johannes Schindelin <Johannes.Schindelin@xxxxxx> wrote: > On Fri, 6 Apr 2018, Eric Sunshine wrote: >> On Thu, Apr 5, 2018 at 6:48 PM, Johannes Schindelin >> <johannes.schindelin@xxxxxx> 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.
