added setting undefined load/redo buttons also from restart position

diff --git a/src/files.c b/src/files.c
index e8977ca6e09fba776a28f475a16c1d7ba55a1b3a..218de8b720328e3be6c05df20ef2b5012092a9a3 100644 (file)
--- a/src/files.c
+++ b/src/files.c
@@ -13739,8 +13739,10 @@ static void InitMenuDesignSettings_SpecialPostProcessing(void)
     { &game.button.save,       &game.button.stop       },
     { &game.button.pause2,     &game.button.pause      },
     { &game.button.load,       &game.button.play       },
+    { &game.button.load,       &game.button.restart    },
     { &game.button.undo,       &game.button.stop       },
     { &game.button.redo,       &game.button.play       },
+    { &game.button.redo,       &game.button.restart    },
 
     { NULL,                    NULL                    }
   };