From 4e99b1e11560f525c205edabf0ebb7b8d9b252d0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Autin?=
 <francois.autin@etudiant.univ-rennes1.fr>
Date: Fri, 28 May 2021 00:55:12 +0200
Subject: [PATCH] Added stage attr along with getters and setters to
 launcher.Settings.

---
 src/launcher/Settings.java | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/launcher/Settings.java b/src/launcher/Settings.java
index 8b65f76..d2e2060 100644
--- a/src/launcher/Settings.java
+++ b/src/launcher/Settings.java
@@ -42,6 +42,7 @@ public class Settings {
 	private FileInputStream f_is;
 	private int width, height, r_x, r_y, rounds;
 	private boolean fullscreen;
+	private String stage;
 	private Player p1, p2;
 	
 	public Settings() throws Exception {
@@ -107,6 +108,10 @@ public class Settings {
 	protected boolean isFullscreen() {
 		return fullscreen;
 	}
+	
+	protected String getStage() {
+		return stage;
+	}
 
 	protected Player getP1() {
 		return p1;
@@ -144,6 +149,10 @@ public class Settings {
 		this.fullscreen = fullscreen;
 	}
 
+	protected void setStage(String stage) {
+		this.stage = stage;
+	}
+	
 	protected void setP1(Player p1) {
 		this.p1 = p1;
 	}