added notification for unsaved map data and a confirmation for overwriting an existing map in the editor. Closes #115

15 files changed, 45 insertions, 0 deletions

diff --git a/data/languages/bosnian.txt b/data/languages/bosnian.txt
index 45724f94..86585c25 100644
--- a/data/languages/bosnian.txt
+++ b/data/languages/bosnian.txt
@@ -594,6 +594,9 @@ Stop record
 The audio device couldn't be initialised.
 == 
 
+There's an unsaved map in the editor, you might want to save it before you quit the game.\nQuit anyway?
+== 
+
 Type:
 == 
 
diff --git a/data/languages/czech.txt b/data/languages/czech.txt
index d6f63c63..3846f22f 100644
--- a/data/languages/czech.txt
+++ b/data/languages/czech.txt
@@ -588,6 +588,9 @@ Sudden Death
 The audio device couldn't be initialised.
 == 
 
+There's an unsaved map in the editor, you might want to save it before you quit the game.\nQuit anyway?
+== 
+
 Time limit: %d min
 == 
 
diff --git a/data/languages/dutch.txt b/data/languages/dutch.txt
index 7a5fb2f8..bec75c5d 100644
--- a/data/languages/dutch.txt
+++ b/data/languages/dutch.txt
@@ -600,6 +600,9 @@ Server filter
 Size:
 == 
 
+There's an unsaved map in the editor, you might want to save it before you quit the game.\nQuit anyway?
+== 
+
 Type:
 == 
 
diff --git a/data/languages/finnish.txt b/data/languages/finnish.txt
index 59823d54..a5ba9bd7 100644
--- a/data/languages/finnish.txt
+++ b/data/languages/finnish.txt
@@ -591,6 +591,9 @@ Stop record
 The audio device couldn't be initialised.
 == 
 
+There's an unsaved map in the editor, you might want to save it before you quit the game.\nQuit anyway?
+== 
+
 Time limit: %d min
 == 
 
diff --git a/data/languages/french.txt b/data/languages/french.txt
index 8e370b1f..2bb74231 100644
--- a/data/languages/french.txt
+++ b/data/languages/french.txt
@@ -597,6 +597,9 @@ Sound error
 The audio device couldn't be initialised.
 == 
 
+There's an unsaved map in the editor, you might want to save it before you quit the game.\nQuit anyway?
+== 
+
 Type:
 == 
 
diff --git a/data/languages/german.txt b/data/languages/german.txt
index 6f2798f4..540fa399 100644
--- a/data/languages/german.txt
+++ b/data/languages/german.txt
@@ -600,6 +600,9 @@ Server filter
 Size:
 == 
 
+There's an unsaved map in the editor, you might want to save it before you quit the game.\nQuit anyway?
+== 
+
 Type:
 == 
 
diff --git a/data/languages/italian.txt b/data/languages/italian.txt
index a7e92e77..6fd6a9f6 100644
--- a/data/languages/italian.txt
+++ b/data/languages/italian.txt
@@ -597,6 +597,9 @@ Sound error
 Sudden Death
 == 
 
+There's an unsaved map in the editor, you might want to save it before you quit the game.\nQuit anyway?
+== 
+
 Type:
 == 
 
diff --git a/data/languages/polish.txt b/data/languages/polish.txt
index fd7bbce5..1270fe65 100644
--- a/data/languages/polish.txt
+++ b/data/languages/polish.txt
@@ -591,6 +591,9 @@ Stop record
 The audio device couldn't be initialised.
 == 
 
+There's an unsaved map in the editor, you might want to save it before you quit the game.\nQuit anyway?
+== 
+
 Time limit: %d min
 == 
 
diff --git a/data/languages/portuguese.txt b/data/languages/portuguese.txt
index 914e4283..4231ef27 100644
--- a/data/languages/portuguese.txt
+++ b/data/languages/portuguese.txt
@@ -591,6 +591,9 @@ Stop record
 The audio device couldn't be initialised.
 == 
 
+There's an unsaved map in the editor, you might want to save it before you quit the game.\nQuit anyway?
+== 
+
 Time limit: %d min
 == 
 
diff --git a/data/languages/romanian.txt b/data/languages/romanian.txt
index 484d40eb..c059809d 100644
--- a/data/languages/romanian.txt
+++ b/data/languages/romanian.txt
@@ -600,6 +600,9 @@ Server filter
 Size:
 == 
 
+There's an unsaved map in the editor, you might want to save it before you quit the game.\nQuit anyway?
+== 
+
 Type:
 == 
 
diff --git a/data/languages/russian.txt b/data/languages/russian.txt
index 8e7c7a4d..d976de91 100644
--- a/data/languages/russian.txt
+++ b/data/languages/russian.txt
@@ -591,6 +591,9 @@ Stop record
 The audio device couldn't be initialised.
 == 
 
+There's an unsaved map in the editor, you might want to save it before you quit the game.\nQuit anyway?
+== 
+
 Time limit: %d min
 == 
 
diff --git a/data/languages/serbian.txt b/data/languages/serbian.txt
index bf61f7c2..21607a5d 100644
--- a/data/languages/serbian.txt
+++ b/data/languages/serbian.txt
@@ -591,6 +591,9 @@ Stop record
 The audio device couldn't be initialised.
 == 
 
+There's an unsaved map in the editor, you might want to save it before you quit the game.\nQuit anyway?
+== 
+
 Time limit: %d min
 == 
 
diff --git a/data/languages/spanish.txt b/data/languages/spanish.txt
index 107eb10a..0c0339ef 100644
--- a/data/languages/spanish.txt
+++ b/data/languages/spanish.txt
@@ -600,6 +600,9 @@ Server filter
 Size:
 == 
 
+There's an unsaved map in the editor, you might want to save it before you quit the game.\nQuit anyway?
+== 
+
 Type:
 == 
 
diff --git a/data/languages/swedish.txt b/data/languages/swedish.txt
index e2cb4140..b3ec1c32 100644
--- a/data/languages/swedish.txt
+++ b/data/languages/swedish.txt
@@ -585,6 +585,9 @@ Sudden Death
 The audio device couldn't be initialised.
 == 
 
+There's an unsaved map in the editor, you might want to save it before you quit the game.\nQuit anyway?
+== 
+
 Time limit: %d min
 == 
 
diff --git a/data/languages/ukrainian.txt b/data/languages/ukrainian.txt
index 7ec29d08..af94f4c3 100644
--- a/data/languages/ukrainian.txt
+++ b/data/languages/ukrainian.txt
@@ -594,6 +594,9 @@ Sound error
 The audio device couldn't be initialised.
 == 
 
+There's an unsaved map in the editor, you might want to save it before you quit the game.\nQuit anyway?
+== 
+
 Type:
 ==