msglist: Adjust MarkAsReadWidget style for text, size, and border radius

Use Source Sans 3 for font family and bolder weight.
zulip · Nov 12, 2023 · 531cae1 · 531cae1
1 parent e7fe06c
commit 531cae1
Showing 1 changed file with 8 additions and 3 deletions.
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});
@@ -395,9 +396,13 @@ class MarkAsReadWidget extends StatelessWidget {
             padding: const EdgeInsets.all(10),
             child: FilledButton.icon(
               style: FilledButton.styleFrom(
-                padding: const EdgeInsets.all(10),
-                textStyle: const TextStyle(fontSize: 18, fontWeight: FontWeight.w200),
-                shape: RoundedRectangleBorder(borderRadius: BorderRadius.circular(5)),
+                fixedSize: const Size.fromHeight(48),
+                textStyle: const TextStyle(
+                  fontFamily: 'Source Sans 3',
+                  fontSize: 18,
+                  height: (23 / 18),
+                ).merge(weightVariableTextStyle(context)),
+                shape: RoundedRectangleBorder(borderRadius: BorderRadius.circular(7)),
               ),
               onPressed: () => _handlePress(context),
               icon: const Icon(Icons.playlist_add_check),