user local time

Komyyy · Komyyy · commit a9357c81ac67 · 2025-02-03T21:08:06.000+09:00
diff --git a/assets/l10n/app_ar.arb b/assets/l10n/app_ar.arb
@@ -7,5 +7,12 @@
   "wildcardMentionChannelDescription": "إخطار القناة",
   "wildcardMentionStreamDescription": "إخطار الدفق",
   "wildcardMentionAllDmDescription": "إخطار المستلمين",
-  "wildcardMentionTopicDescription": "إخطار الموضوع"
+  "wildcardMentionTopicDescription": "إخطار الموضوع",
+  "userLocalTime": "{userTime} الوقت المحلي",
+  "@userLocalTime": {
+    "description": "Current time in the user's timezone",
+    "placeholders": {
+      "userTime": {"type": "DateTime", "format": "jm"}
+    }
+  }
 }
diff --git a/assets/l10n/app_en.arb b/assets/l10n/app_en.arb
@@ -716,5 +716,12 @@
   "emojiPickerSearchEmoji": "Search emoji",
   "@emojiPickerSearchEmoji": {
     "description": "Hint text for the emoji picker search text field."
+  },
+  "userLocalTime": "{userTime} local time",
+  "@userLocalTime": {
+    "description": "Current time in the user's timezone",
+    "placeholders": {
+      "userTime": {"type": "DateTime", "format": "jm"}
+    }
   }
 }
diff --git a/assets/l10n/app_ja.arb b/assets/l10n/app_ja.arb
@@ -16,5 +16,12 @@
   "userRoleGuest": "ゲスト",
   "@userRoleGuest": {},
   "userRoleUnknown": "不明",
-  "@userRoleUnknown": {}
+  "@userRoleUnknown": {},
+  "userLocalTime": "現地時間 {userTime}",
+  "@userLocalTime": {
+    "description": "Current time in the user's timezone",
+    "placeholders": {
+      "userTime": {"type": "DateTime", "format": "jm"}
+    }
+  }
 }
diff --git a/assets/l10n/app_pl.arb b/assets/l10n/app_pl.arb
@@ -776,5 +776,12 @@
   "errorUnmuteTopicFailed": "Wznowienie bez powodzenia",
   "@errorUnmuteTopicFailed": {
     "description": "Error message when unmuting a topic failed."
+  },
+  "userLocalTime": "{userTime} czas lokalny",
+  "@userLocalTime": {
+    "description": "Current time in the user's timezone",
+    "placeholders": {
+      "userTime": {"type": "DateTime", "format": "jm"}
+    }
   }
 }
diff --git a/assets/l10n/app_ru.arb b/assets/l10n/app_ru.arb
@@ -776,5 +776,12 @@
   "errorMessageNotSent": "Сообщение не отправлено",
   "@errorMessageNotSent": {
     "description": "Error message for compose box when a message could not be sent."
+  },
+  "userLocalTime": "{userTime} местное время",
+  "@userLocalTime": {
+    "description": "Current time in the user's timezone",
+    "placeholders": {
+      "userTime": {"type": "DateTime", "format": "jm"}
+    }
   }
 }
diff --git a/assets/timezone/latest_all.tzf b/assets/timezone/latest_all.tzf
diff --git a/lib/generated/l10n/zulip_localizations.dart b/lib/generated/l10n/zulip_localizations.dart
@@ -1070,6 +1070,12 @@ abstract class ZulipLocalizations {
   /// In en, this message translates to:
   /// **'Search emoji'**
   String get emojiPickerSearchEmoji;
+
+  /// Current time in the user's timezone
+  ///
+  /// In en, this message translates to:
+  /// **'{userTime} local time'**
+  String userLocalTime(DateTime userTime);
 }
 
 class _ZulipLocalizationsDelegate extends LocalizationsDelegate<ZulipLocalizations> {
diff --git a/lib/generated/l10n/zulip_localizations_ar.dart b/lib/generated/l10n/zulip_localizations_ar.dart
@@ -564,4 +564,12 @@ class ZulipLocalizationsAr extends ZulipLocalizations {
 
   @override
   String get emojiPickerSearchEmoji => 'Search emoji';
+
+  @override
+  String userLocalTime(DateTime userTime) {
+    final intl.DateFormat userTimeDateFormat = intl.DateFormat.jm(localeName);
+    final String userTimeString = userTimeDateFormat.format(userTime);
+
+    return '$userTimeString الوقت المحلي';
+  }
 }
diff --git a/lib/generated/l10n/zulip_localizations_en.dart b/lib/generated/l10n/zulip_localizations_en.dart
@@ -564,4 +564,12 @@ class ZulipLocalizationsEn extends ZulipLocalizations {
 
   @override
   String get emojiPickerSearchEmoji => 'Search emoji';
+
+  @override
+  String userLocalTime(DateTime userTime) {
+    final intl.DateFormat userTimeDateFormat = intl.DateFormat.jm(localeName);
+    final String userTimeString = userTimeDateFormat.format(userTime);
+
+    return '$userTimeString local time';
+  }
 }
diff --git a/lib/generated/l10n/zulip_localizations_ja.dart b/lib/generated/l10n/zulip_localizations_ja.dart
@@ -564,4 +564,12 @@ class ZulipLocalizationsJa extends ZulipLocalizations {
 
   @override
   String get emojiPickerSearchEmoji => 'Search emoji';
+
+  @override
+  String userLocalTime(DateTime userTime) {
+    final intl.DateFormat userTimeDateFormat = intl.DateFormat.jm(localeName);
+    final String userTimeString = userTimeDateFormat.format(userTime);
+
+    return '現地時間 $userTimeString';
+  }
 }
diff --git a/lib/generated/l10n/zulip_localizations_nb.dart b/lib/generated/l10n/zulip_localizations_nb.dart
@@ -564,4 +564,12 @@ class ZulipLocalizationsNb extends ZulipLocalizations {
 
   @override
   String get emojiPickerSearchEmoji => 'Search emoji';
+
+  @override
+  String userLocalTime(DateTime userTime) {
+    final intl.DateFormat userTimeDateFormat = intl.DateFormat.jm(localeName);
+    final String userTimeString = userTimeDateFormat.format(userTime);
+
+    return '$userTimeString local time';
+  }
 }
diff --git a/lib/generated/l10n/zulip_localizations_pl.dart b/lib/generated/l10n/zulip_localizations_pl.dart
@@ -564,4 +564,12 @@ class ZulipLocalizationsPl extends ZulipLocalizations {
 
   @override
   String get emojiPickerSearchEmoji => 'Szukaj emoji';
+
+  @override
+  String userLocalTime(DateTime userTime) {
+    final intl.DateFormat userTimeDateFormat = intl.DateFormat.jm(localeName);
+    final String userTimeString = userTimeDateFormat.format(userTime);
+
+    return '$userTimeString czas lokalny';
+  }
 }
diff --git a/lib/generated/l10n/zulip_localizations_ru.dart b/lib/generated/l10n/zulip_localizations_ru.dart
@@ -564,4 +564,12 @@ class ZulipLocalizationsRu extends ZulipLocalizations {
 
   @override
   String get emojiPickerSearchEmoji => 'Поиск эмодзи';
+
+  @override
+  String userLocalTime(DateTime userTime) {
+    final intl.DateFormat userTimeDateFormat = intl.DateFormat.jm(localeName);
+    final String userTimeString = userTimeDateFormat.format(userTime);
+
+    return '$userTimeString местное время';
+  }
 }
diff --git a/lib/generated/l10n/zulip_localizations_sk.dart b/lib/generated/l10n/zulip_localizations_sk.dart
@@ -564,4 +564,12 @@ class ZulipLocalizationsSk extends ZulipLocalizations {
 
   @override
   String get emojiPickerSearchEmoji => 'Hľadať emotikon';
+
+  @override
+  String userLocalTime(DateTime userTime) {
+    final intl.DateFormat userTimeDateFormat = intl.DateFormat.jm(localeName);
+    final String userTimeString = userTimeDateFormat.format(userTime);
+
+    return '$userTimeString local time';
+  }
 }
diff --git a/lib/widgets/profile.dart b/lib/widgets/profile.dart
@@ -1,6 +1,8 @@
 import 'dart:convert';
 
 import 'package:flutter/material.dart';
+import 'package:flutter/services.dart';
+import 'package:timezone/timezone.dart' as tz;
 
 import '../api/model/initial_snapshot.dart';
 import '../api/model/model.dart';
@@ -63,6 +65,17 @@ class ProfilePage extends StatelessWidget {
     }
   }
 
+  Future<String> _getDisplayLocalTimeFor(User user, ZulipLocalizations zulipLocalizations) async {
+    if (!tz.timeZoneDatabase.isInitialized) {
+      final blob = Uint8List.sublistView(await rootBundle.load('assets/timezone/latest_all.tzf'));
+      tz.initializeDatabase(blob);
+    }
+
+    final location = tz.getLocation(user.timezone);
+    final localTime = tz.TZDateTime.now(location);
+    return zulipLocalizations.userLocalTime(localTime);
+  }
+
   @override
   Widget build(BuildContext context) {
     final zulipLocalizations = ZulipLocalizations.of(context);
@@ -73,6 +86,7 @@ class ProfilePage extends StatelessWidget {
     }
 
     final displayEmail = _getDisplayEmailFor(user, store: store);
+    final displayLocalTime = _getDisplayLocalTimeFor(user, zulipLocalizations);
     final items = [
       Center(
         child: Avatar(userId: userId, size: 200, borderRadius: 200 / 8)),
@@ -90,7 +104,16 @@ class ProfilePage extends StatelessWidget {
         style: _TextStyles.primaryFieldText),
       // TODO(#197) render user status
       // TODO(#196) render active status
-      // TODO(#292) render user local time
+      FutureBuilder(
+        future: displayLocalTime,
+        builder: (context, snapshot) {
+          if (snapshot.hasError) Error.throwWithStackTrace(snapshot.error!, snapshot.stackTrace!);
+          return Text(snapshot.data ?? '',
+            textAlign: TextAlign.center,
+            style: _TextStyles.primaryFieldText
+          );
+        }
+      ),
 
       _ProfileDataTable(profileData: user.profileData),
       const SizedBox(height: 16),
diff --git a/macos/Flutter/GeneratedPluginRegistrant.swift b/macos/Flutter/GeneratedPluginRegistrant.swift
@@ -6,6 +6,7 @@ import FlutterMacOS
 import Foundation
 
 import device_info_plus
+import file_picker
 import file_selector_macos
 import firebase_core
 import firebase_messaging
@@ -19,6 +20,7 @@ import wakelock_plus
 
 func RegisterGeneratedPlugins(registry: FlutterPluginRegistry) {
   DeviceInfoPlusMacosPlugin.register(with: registry.registrar(forPlugin: "DeviceInfoPlusMacosPlugin"))
+  FilePickerPlugin.register(with: registry.registrar(forPlugin: "FilePickerPlugin"))
   FileSelectorPlugin.register(with: registry.registrar(forPlugin: "FileSelectorPlugin"))
   FLTFirebaseCorePlugin.register(with: registry.registrar(forPlugin: "FLTFirebaseCorePlugin"))
   FLTFirebaseMessagingPlugin.register(with: registry.registrar(forPlugin: "FLTFirebaseMessagingPlugin"))
diff --git a/pubspec.lock b/pubspec.lock
diff --git a/pubspec.yaml b/pubspec.yaml

Original file line number	Diff line number	Diff line change
`@@ -716,5 +716,12 @@`
`716`	`716`	`"emojiPickerSearchEmoji": "Search emoji",`
`717`	`717`	`"@emojiPickerSearchEmoji": {`
`718`	`718`	`"description": "Hint text for the emoji picker search text field."`
	`719`	`+ },`
	`720`	`+ "userLocalTime": "{userTime} local time",`
	`721`	`+ "@userLocalTime": {`
	`722`	`+ "description": "Current time in the user's timezone",`
	`723`	`+ "placeholders": {`
	`724`	`+ "userTime": {"type": "DateTime", "format": "jm"}`
	`725`	`+ }`
`719`	`726`	`}`
`720`	`727`	`}`
Original file line number	Diff line number	Diff line change
`@@ -776,5 +776,12 @@`
`776`	`776`	`"errorUnmuteTopicFailed": "Wznowienie bez powodzenia",`
`777`	`777`	`"@errorUnmuteTopicFailed": {`
`778`	`778`	`"description": "Error message when unmuting a topic failed."`
	`779`	`+ },`
	`780`	`+ "userLocalTime": "{userTime} czas lokalny",`
	`781`	`+ "@userLocalTime": {`
	`782`	`+ "description": "Current time in the user's timezone",`
	`783`	`+ "placeholders": {`
	`784`	`+ "userTime": {"type": "DateTime", "format": "jm"}`
	`785`	`+ }`
`779`	`786`	`}`
`780`	`787`	`}`