From f571f420ec2b203531ea7a56879d32008899f1ce Mon Sep 17 00:00:00 2001 From: Zixuan James Li Date: Wed, 24 Jul 2024 20:01:47 -0400 Subject: [PATCH] content [nfc]: Use Divider instead of DecoratedBox. This should offer the same appearence for the spoiler divider despite being shorter. Signed-off-by: Zixuan James Li --- lib/widgets/content.dart | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/lib/widgets/content.dart b/lib/widgets/content.dart index 795e1389e2..d12d420444 100644 --- a/lib/widgets/content.dart +++ b/lib/widgets/content.dart @@ -522,12 +522,8 @@ class _SpoilerState extends State with TickerProviderStateMixin { ]))), FadeTransition( opacity: _animation, - child: const SizedBox(height: 0, width: double.infinity, - child: DecoratedBox( - decoration: BoxDecoration( - border: Border( - // Web has the same color in light and dark mode. - bottom: BorderSide(width: 1, color: Color(0xff808080))))))), + // Web has the same color in light and dark mode. + child: const Divider(color: Color(0xff808080), height: 0)), SizeTransition( sizeFactor: _animation, axis: Axis.vertical,