reworked ex 8

return to EditorState if map is invalid
2024-10-05 12:59:38 +02:00
parent 22bcd55024
commit 329d3d7372
4 changed files with 13 additions and 1 deletions
--- a/Projekte/battleship/model/src/main/resources/battleship_de.properties
+++ b/Projekte/battleship/model/src/main/resources/battleship_de.properties
@@ -37,6 +37,7 @@ dialog.error=Fehler
 dialog.question=Frage
 port.must.be.integer=Der Port muss eine ganze Zahl sein
 map.doesnt.fit=Diese Karte passt nicht zu diesem Spiel
+map.invalid = Karte ungültig
 ships.dont.fit.the.map=Schiffe sind außerhalb der Map
 menu.music.toggle = Musik an/aus
 menu.music.volume = Lautstärke