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

[Ian Shaw]

        From: Jonathan Kinsey
        
        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.
        
Just wondering whether "Play out" is both short enough and readily
understandable.

-- Ian