Corrects wrong size of buttons when clicked and exited

gama-platform · Sep 12, 2021 · 2da8d79 · 2da8d79
1 parent 35a2fd3
commit 2da8d79
Showing 1 changed file with 1 addition and 0 deletions.
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
@@ -282,6 +282,7 @@ private void doButtonUp() {
 	 */
 	private void doHover(final boolean hover) {
 		hovered = hover;
+		if (!hover) { down = false; }
 		if (!isDisposed()) { redraw(); }
 	}