fix: add more space between text and underline for highlighted tokens (#5332)

This commit is contained in:
ggurdin 2026-01-22 11:02:51 -05:00 committed by GitHub
parent 6675cebfec
commit baa9324229
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -39,7 +39,7 @@ class UnderlineText extends StatelessWidget {
),
),
Positioned(
bottom: 2, // fixed distance from baseline
bottom: 0,
left: 0,
right: 0,
child: Container(