From 35bd899076c77d33c4590ec4e758ddcffdbe7704 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Thu, 6 Aug 2026 02:26:16 +0000 Subject: [PATCH 1/3] Initial plan From 7329a08ac8b14f65034665212503de050dbdb327 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Thu, 6 Aug 2026 02:45:27 +0000 Subject: [PATCH 2/3] Document DatePicker date properties Co-authored-by: jonathanpeppers <840039+jonathanpeppers@users.noreply.github.com> --- src/Mono.Android/Android.Widget/DatePicker.cs | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/src/Mono.Android/Android.Widget/DatePicker.cs b/src/Mono.Android/Android.Widget/DatePicker.cs index 9bb708fdbfd..0f6c90e4cb9 100644 --- a/src/Mono.Android/Android.Widget/DatePicker.cs +++ b/src/Mono.Android/Android.Widget/DatePicker.cs @@ -6,14 +6,23 @@ namespace Android.Widget { public partial class DatePicker { + /// Gets or sets the date selected in this picker. + /// Only the year, month, and day components are used when setting the value. This property converts between .NET's 1-based month and Android's 0-based month. + /// Android documentation for android.widget.DatePicker public DateTime DateTime { get { return new DateTime (Year, Month + 1, DayOfMonth); } set { UpdateDate (value.Year, value.Month - 1, value.Day); } } #if ANDROID_11 + /// Gets the minimum selectable date supported by this picker. + /// The minimum date converted from Android's millisecond value relative to January 1, 1970. + /// Android documentation for android.widget.DatePicker.getMinDate public DateTime MinDateTime { get { return new DateTime (1970, 1, 1).AddMilliseconds (MinDate); } } + /// Gets the maximum selectable date supported by this picker. + /// The maximum date converted from Android's millisecond value relative to January 1, 1970. + /// Android documentation for android.widget.DatePicker.getMaxDate public DateTime MaxDateTime { get { return new DateTime (1970, 1, 1).AddMilliseconds (MaxDate); } } From 396b7b3dbe663dd1d4a3fece790728d9efe198ac Mon Sep 17 00:00:00 2001 From: Jonathan Peppers Date: Fri, 7 Aug 2026 08:39:05 -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/Android.Widget/DatePicker.cs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Mono.Android/Android.Widget/DatePicker.cs b/src/Mono.Android/Android.Widget/DatePicker.cs index 0f6c90e4cb9..afa4befd01e 100644 --- a/src/Mono.Android/Android.Widget/DatePicker.cs +++ b/src/Mono.Android/Android.Widget/DatePicker.cs @@ -15,7 +15,7 @@ public DateTime DateTime { } #if ANDROID_11 /// Gets the minimum selectable date supported by this picker. - /// The minimum date converted from Android's millisecond value relative to January 1, 1970. + /// The minimum date converted from Android's millisecond value (milliseconds since January 1, 1970 00:00:00 in the device's default time zone). /// Android documentation for android.widget.DatePicker.getMinDate public DateTime MinDateTime { get { return new DateTime (1970, 1, 1).AddMilliseconds (MinDate); }