From f78448ff915c6ee01e9e6706b3aebb3b018e541c Mon Sep 17 00:00:00 2001
From: Thibault Deckers <thibault.deckers@gmail.com>
Date: Thu, 12 May 2022 22:13:32 +0900
Subject: [PATCH] font feature bug workaround

---
 lib/widgets/common/grid/header.dart | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/widgets/common/grid/header.dart b/lib/widgets/common/grid/header.dart
index 6863fe454..070cdfbe2 100644
--- a/lib/widgets/common/grid/header.dart
+++ b/lib/widgets/common/grid/header.dart
@@ -39,7 +39,6 @@ class SectionHeader<T> extends StatelessWidget {
         child: Text.rich(
           TextSpan(
             children: [
-              // TODO TLAD [flutter 3] https://github.com/flutter/flutter/issues/103615
               WidgetSpan(
                 alignment: widgetSpanAlignment,
                 child: _SectionSelectableLeading<T>(
@@ -56,6 +55,8 @@ class SectionHeader<T> extends StatelessWidget {
                   onPressed: selectable ? () => _toggleSectionSelection(context) : null,
                 ),
               ),
+              // TODO TLAD [flutter 3] remove this zero-width span when this is fixed: https://github.com/flutter/flutter/issues/103615
+              TextSpan(text: '\u200B' * 3, style: Constants.titleTextStyle),
               TextSpan(
                 text: title,
                 style: Constants.titleTextStyle,