From 168656c864eb70b30800941ca04f1580a744586b Mon Sep 17 00:00:00 2001 From: Azgaar Date: Wed, 16 Aug 2023 11:56:36 +0400 Subject: [PATCH] fix: #987, #988 --- index.html | 20 ++++++++++---------- main.js | 4 ++-- modules/io/load.js | 2 +- modules/io/save.js | 29 +++++++++++++++-------------- modules/ui/options.js | 2 +- versioning.js | 3 +-- 6 files changed, 30 insertions(+), 30 deletions(-) diff --git a/index.html b/index.html index 5e8a9909..3a1e100c 100644 --- a/index.html +++ b/index.html @@ -2353,8 +2353,8 @@
- - + +
@@ -5919,7 +5919,7 @@

- Maps are saved in .gz format, that can be loaded back via the Load in menu. There is no way to + Maps are saved in .map format, that can be loaded back via the Load in menu. There is no way to restore the progress if file is lost. Please keep old save files on your machine or cloud storage as backups.

@@ -5927,12 +5927,12 @@