Partially revert "Remove repeat size"

This reverts commit 3ce764452dd67bace2319f3d49e592c4a38b3f81.

However, we are not going to include this in the app menu. It'll be a
hidden shortcut until we implement the final design.

Conflicts:
	src/gnome-mines.vala

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