msglist: Adjust MarkAsReadWidget text to be bolder, use Source Sans 3

zulip · Nov 11, 2023 · 25d8cc9 · 25d8cc9
1 parent e7fe06c
commit 25d8cc9
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/lib/widgets/message_list.dart b/lib/widgets/message_list.dart
@@ -20,6 +20,7 @@ import 'page.dart';
 import 'profile.dart';
 import 'sticky_header.dart';
 import 'store.dart';
+import 'text.dart';
 
 class MessageListPage extends StatefulWidget {
   const MessageListPage({super.key, required this.narrow});
@@ -396,7 +397,10 @@ class MarkAsReadWidget extends StatelessWidget {
             child: FilledButton.icon(
               style: FilledButton.styleFrom(
                 padding: const EdgeInsets.all(10),
-                textStyle: const TextStyle(fontSize: 18, fontWeight: FontWeight.w200),
+                textStyle: const TextStyle(
+                  fontFamily: 'Source Sans 3',
+                  fontSize: 18,
+                ).merge(weightVariableTextStyle(context)),
                 shape: RoundedRectangleBorder(borderRadius: BorderRadius.circular(5)),
               ),
               onPressed: () => _handlePress(context),