From 62ee6739a69e7a85cd0bbd598893306ab5745619 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 30 Jul 2026 02:26:53 +0000
Subject: [PATCH 1/3] Initial plan
From 6dd566835cc45fbc5f3328c6f0ba116f2d9636c0 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 30 Jul 2026 02:47:16 +0000
Subject: [PATCH 2/3] Add XML docs to Action-based Thread constructors
Co-authored-by: jonathanpeppers <840039+jonathanpeppers@users.noreply.github.com>
---
src/Mono.Android/Java.Lang/Thread.cs | 33 +++++++++++++++++++++++++++-
1 file changed, 32 insertions(+), 1 deletion(-)
diff --git a/src/Mono.Android/Java.Lang/Thread.cs b/src/Mono.Android/Java.Lang/Thread.cs
index cc45dd16aed..a1d48de9426 100644
--- a/src/Mono.Android/Java.Lang/Thread.cs
+++ b/src/Mono.Android/Java.Lang/Thread.cs
@@ -55,15 +55,46 @@ public static RunnableImplementor Remove (Action handler)
}
}
+ ///
+ /// Initializes a new that runs the specified when started.
+ ///
+ /// The delegate to execute on the new thread.
+ /// Android documentation for java.lang.Thread
public Thread (Action runHandler) : this (new RunnableImplementor (runHandler)) {}
+ ///
+ /// Initializes a new with the specified name that runs the specified when started.
+ ///
+ /// The delegate to execute on the new thread.
+ /// The name of the new thread.
+ /// Android documentation for java.lang.Thread
public Thread (Action runHandler, string threadName) : this (new RunnableImplementor (runHandler), threadName) {}
+ ///
+ /// Initializes a new in the specified thread group that runs the specified when started.
+ ///
+ /// The thread group to which the new thread belongs.
+ /// The delegate to execute on the new thread.
+ /// Android documentation for java.lang.Thread
public Thread (ThreadGroup group, Action runHandler) : this (group, new RunnableImplementor (runHandler)) {}
+ ///
+ /// Initializes a new in the specified thread group with the specified name that runs the specified when started.
+ ///
+ /// The thread group to which the new thread belongs.
+ /// The delegate to execute on the new thread.
+ /// The name of the new thread.
+ /// Android documentation for java.lang.Thread
public Thread (ThreadGroup group, Action runHandler, string threadName) : this (group, new RunnableImplementor (runHandler), threadName) {}
+ ///
+ /// Initializes a new in the specified thread group with the specified name and stack size that runs the specified when started.
+ ///
+ /// The thread group to which the new thread belongs.
+ /// The delegate to execute on the new thread.
+ /// The name of the new thread.
+ /// The desired stack size for the new thread, or 0 to use the default.
+ /// Android documentation for java.lang.Thread
public Thread (ThreadGroup group, Action runHandler, string threadName, long stackSize) : this (group, new RunnableImplementor (runHandler), threadName, stackSize) {}
}
}
-
From 735cdaffd9174026f1461756fe7a2eea7326e0ef Mon Sep 17 00:00:00 2001
From: Jonathan Peppers
Date: Thu, 30 Jul 2026 10:00:07 -0500
Subject: [PATCH 3/3] Potential fix for pull request finding
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
---
src/Mono.Android/Java.Lang/Thread.cs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/Mono.Android/Java.Lang/Thread.cs b/src/Mono.Android/Java.Lang/Thread.cs
index a1d48de9426..787bebf4759 100644
--- a/src/Mono.Android/Java.Lang/Thread.cs
+++ b/src/Mono.Android/Java.Lang/Thread.cs
@@ -93,7 +93,7 @@ public Thread (Action runHandler, string threadName) : this (new RunnableImpleme
/// The thread group to which the new thread belongs.
/// The delegate to execute on the new thread.
/// The name of the new thread.
- /// The desired stack size for the new thread, or 0 to use the default.
+ /// The desired stack size, in bytes, for the new thread, or 0 to use the default.
/// Android documentation for java.lang.Thread
public Thread (ThreadGroup group, Action runHandler, string threadName, long stackSize) : this (group, new RunnableImplementor (runHandler), threadName, stackSize) {}
}