From f5345ab987d90156a823d1ade07512135b2e4b33 Mon Sep 17 00:00:00 2001
From: benoi <benoi@172.30.152.44>
Date: Tue, 7 May 2024 17:21:07 +0200
Subject: [PATCH] I changed stuff about togglePause

---
 src/backend/Simulator.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/backend/Simulator.java b/src/backend/Simulator.java
index 5b3f98e..405c0ea 100644
--- a/src/backend/Simulator.java
+++ b/src/backend/Simulator.java
@@ -134,7 +134,8 @@ public class Simulator extends Thread {
 	 * method called when clicking pause button
 	 */
 	public void togglePause() {
-		// TODO : actually toggle the corresponding flag
+		pauseFlag= ! pauseFlag;
+		// It changes the boolean value associated to pauseFlag (pauseFlag= not pauseFlag)
 	}
 	
 	/**