
File menu
Pressing the 'save' button records the player's names and profiles.
The default data file is 'donnees.batnav'.
You can devise new player's files (for instance one tuned for the 5x5 grids, another for the 10x10). You can then save them under a new name ('save as' in the file menu).
The 'open' option allows you to load a file.