From 911728ff000aa3eabf95c97262ca8d3052d9675d Mon Sep 17 00:00:00 2001 From: ggurdin Date: Fri, 5 Dec 2025 12:29:40 -0500 Subject: [PATCH] chore: increase size of token emoji button hitbox --- .../token_emoji_button.dart | 44 ++++++++++--------- 1 file changed, 23 insertions(+), 21 deletions(-) diff --git a/lib/pangea/toolbar/reading_assistance/token_emoji_button.dart b/lib/pangea/toolbar/reading_assistance/token_emoji_button.dart index 9ce1be5af..6adbe697c 100644 --- a/lib/pangea/toolbar/reading_assistance/token_emoji_button.dart +++ b/lib/pangea/toolbar/reading_assistance/token_emoji_button.dart @@ -34,7 +34,7 @@ class TokenEmojiButton extends StatefulWidget { class TokenEmojiButtonState extends State with TickerProviderStateMixin, LemmaEmojiSetter { - final double buttonSize = 20.0; + final double buttonSize = 24.0; SelectMode? _prevMode; AnimationController? _controller; Animation? _sizeAnimation; @@ -156,21 +156,17 @@ class TokenEmojiButtonState extends State } final child = widget.enabled - ? InkWell( - onTap: showTokenEmojiPopup, - borderRadius: BorderRadius.circular(99.0), - child: _emoji != null - ? Text( - _emoji!, - style: TextStyle(fontSize: buttonSize - 4.0), - textScaler: TextScaler.noScaling, - ) - : Icon( - Icons.add_reaction_outlined, - size: buttonSize - 4.0, - color: Theme.of(context).colorScheme.primary, - ), - ) + ? _emoji != null + ? Text( + _emoji!, + style: TextStyle(fontSize: buttonSize - 8.0), + textScaler: TextScaler.noScaling, + ) + : Icon( + Icons.add_reaction_outlined, + size: buttonSize - 8.0, + color: Theme.of(context).colorScheme.primary, + ) : null; final content = ValueListenableBuilder( @@ -186,11 +182,17 @@ class TokenEmojiButtonState extends State animation: _sizeAnimation!, child: child, builder: (context, child) { - return Container( - height: _sizeAnimation!.value, - width: widget.enabled ? _sizeAnimation!.value : 0, - alignment: Alignment.center, - child: child, + return InkWell( + onTap: showTokenEmojiPopup, + borderRadius: BorderRadius.circular(99.0), + child: Container( + height: _sizeAnimation!.value, + width: widget.enabled ? _sizeAnimation!.value : 0, + alignment: Alignment.center, + decoration: BoxDecoration( + border: Border.all(color: Colors.green)), + child: child, + ), ); }, )