From 8f6ff0aaf23e316edbd2ac1a098d9ef4cb68c3ab Mon Sep 17 00:00:00 2001 From: orfao Date: Tue, 16 Apr 2024 17:34:00 +0200 Subject: [PATCH] traduction --- src/FileManager.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/FileManager.java b/src/FileManager.java index ab82577..be2aa00 100644 --- a/src/FileManager.java +++ b/src/FileManager.java @@ -61,7 +61,7 @@ public class FileManager { fileChooser.setFileFilter(new FileNameExtensionFilter("Fichiers de grille (.gri)", "gri")); int userSelection = fileChooser.showOpenDialog(null); if (userSelection == JFileChooser.APPROVE_OPTION) { - // Obtention du nom de fichier choisi par l'utilisateur + // Obtain user-selected file name String fileName = fileChooser.getSelectedFile().getAbsolutePath(); try (BufferedReader reader = new BufferedReader(new FileReader(fileName))) { Grille grid = new Grille();