From e36512f1d487c9c7fbc6a97842f922aff186f79c Mon Sep 17 00:00:00 2001
From: "Adam D. Ruppe" <destructionator@gmail.com>
Date: Sat, 18 Jun 2022 15:15:50 -0400
Subject: [PATCH] use void* instead of ptrdiff_t out of possible GC precise
 concerns

---
 minigui.d | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/minigui.d b/minigui.d
index c272b1d..d2e06e3 100644
--- a/minigui.d
+++ b/minigui.d
@@ -4562,7 +4562,7 @@ class ListWidget : ListWidgetBase {
 	static struct Option {
 		string label;
 		bool selected;
-		ptrdiff_t tag;
+		void* tag;
 	}
 
 	/++
@@ -4660,7 +4660,7 @@ class ListWidget : ListWidgetBase {
 	mixin OverrideStyle!Style;
 	//mixin Padding!q{2};
 
-	void addOption(string text, ptrdiff_t tag = 0) {
+	void addOption(string text, void* tag = null) {
 		options ~= Option(text, false, tag);
 		version(win32_widgets) {
 			WCharzBuffer buffer = WCharzBuffer(text);