i.e. display the highest scores first. The date should be used as a
tiebreaker, not the primary factor.

https://bugzilla.gnome.org/show_bug.cgi?id=701844

This reverts commit 46d9603b.

The original string had an accelerator, but this label does not, so this
was actually a string break after all.  Let's not do that.

The label should read "Layout," not "Size."  This should not be a string
break because an identical string with the same context is already
marked for translation.

We additionally need to store only the untranslated name in gsettings,
as we do with the non-builtin maps.

https://bugzilla.gnome.org/show_bug.cgi?id=704606

It was possible for an odd number of pieces to be removed from the board
when pressing Redo.  Fix by Andreas König.

gapalp authored Feb 13, 2013 and Michael Catanzaro committed Aug 18, 2013

The reported bug is functionally fixed in git version 3.7.5. The only
remaining fix to this bug is to change the Resume button back to a Pause
button, which is what this patch does.

The new_game () function was not changing the Resume button back to a
Pause button.

https://bugzilla.gnome.org/show_bug.cgi?id=693478

Translating empty strings shows a po header entry. We must not gettext
them.

https://bugzilla.gnome.org/show_bug.cgi?id=696043