From 2da8d796e41c9377191a9c2a2eebf3b8104f8d48 Mon Sep 17 00:00:00 2001
From: AlexisDrogoul <alexis.drogoul@gmail.com>
Date: Sun, 12 Sep 2021 22:18:29 +0700
Subject: [PATCH] Corrects wrong size of buttons when clicked and exited

---
 .../src/ummisco/gama/ui/controls/FlatButton.java                 | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ummisco.gama.ui.shared/src/ummisco/gama/ui/controls/FlatButton.java b/ummisco.gama.ui.shared/src/ummisco/gama/ui/controls/FlatButton.java
index 00a18b8ffc..83a59e2f75 100644
--- a/ummisco.gama.ui.shared/src/ummisco/gama/ui/controls/FlatButton.java
+++ b/ummisco.gama.ui.shared/src/ummisco/gama/ui/controls/FlatButton.java
@@ -282,6 +282,7 @@ private void doButtonUp() {
 	 */
 	private void doHover(final boolean hover) {
 		hovered = hover;
+		if (!hover) { down = false; }
 		if (!isDisposed()) { redraw(); }
 	}