From c84e2cfbd5ec6e5b1dc3ff6120e6542160c9ed80 Mon Sep 17 00:00:00 2001
From: naydef <naydel9@hotmail.com>
Date: Mon, 30 Oct 2023 10:55:24 +0200
Subject: [PATCH] Fix checkbox widget not refreshing when changing 'checked' on
 Linux

---
 minigui.d | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/minigui.d b/minigui.d
index 5bf5ae4..914821b 100644
--- a/minigui.d
+++ b/minigui.d
@@ -11132,7 +11132,7 @@ else version(custom_widgets)
 /// ditto
 class MouseActivatedWidget : Widget {
 	@property bool isChecked() { return isChecked_; }
-	@property bool isChecked(bool b) { return isChecked_ = b; }
+	@property bool isChecked(bool b) { isChecked_ = b; this.redraw(); return isChecked_;}
 
 	private bool isChecked_;