Re: [Bug-gnubg] End Game button/feature

[Christian Anthon]

On Sun, Dec 14, 2008 at 9:29 PM, Jonathan Kinsey <address@hidden> wrote:
> Zulli, Louis P wrote:
>>
>> The End Game button/feature is a nice addition. Thanks. But I wonder if
>> the name is misleading. Perhaps better would be "Auto-finish" or
>> "AutoFinish".
>
> It's tricky to describe this action in a couple of words, "Auto finish"
> might be
> slightly better than "end game", the longer length of the text on the
> toolbar
> goes against it, so I'm not convinced it's worth changing.
>

I agree with Jon here, and I just want to add that the word finish is
already used in the command for picking the dice in the gui, which is
the second reason I had for not using the "finish".

Christian