Changé format de fichier de map : *.gworld à *.gmap
This commit is contained in:
parent
dd3549e558
commit
916417dec8
|
@ -69,9 +69,9 @@ public class EditorAPI
|
||||||
file = jfc.getSelectedFile();
|
file = jfc.getSelectedFile();
|
||||||
}
|
}
|
||||||
|
|
||||||
if (!file.getName().toLowerCase().endsWith(".gworld") && !file.getName().toLowerCase().endsWith(".dat"))
|
if (!file.getName().toLowerCase().endsWith(".gmap") && !file.getName().toLowerCase().endsWith(".dat"))
|
||||||
{
|
{
|
||||||
file = new File(file.getParentFile(), file.getName() + ".gworld");
|
file = new File(file.getParentFile(), file.getName() + ".gmap");
|
||||||
}
|
}
|
||||||
|
|
||||||
save(file, map);
|
save(file, map);
|
||||||
|
|
Loading…
Reference in New Issue