Class GMSaver
java.lang.Object
GMSaver
Cette classe implémente un gestionnaire d'enregistrement de grille de jeu.
Elle permet à l'utilisateur de sauvegarder une grille de jeu dans un fichier spécifié.
Les fichiers de grille sont sauvegardés avec l'extension ".gri".
-
Constructor Summary
-
Method Summary
-
Constructor Details
-
GMSaver
Constructeur de la classe GMSaver.- Parameters:
parentFrame
- La fenêtre parent.grid
- La grille de jeu à sauvegarder.
-
-
Method Details
-
saveGridIfNeeded
public void saveGridIfNeeded()
-