anchor.diff:  
     static const _selectedNodeColor = mainUiColorSelectedLight;
   
  -  static const _minWidthForText = 16.0;
  +  static const _minWidthForText = 22.0;
   
     final Key key;
     final Rect rect;
  
positive.code: import 'package:flutter_widgets/flutter_widgets.dart';
  
  import '../../flutter/auto_dispose_mixin.dart';
  import '../../flutter/common_widgets.dart';
  import '../../ui/colors.dart';
  import '../../ui/fake_flutter/_real_flutter.dart';
  
  
negative.code: 
    Widget buildWidget(bool selected) {
      selected = selectable ? selected : false;
      // TODO(kenz): figure out a way to add tooltips without crippling
      // performance. The html app does not have tooltips, so removing them for
      // now is not a regression. Possibly have each row handle tooltips and
      // modify text based on which node is being moused over. Look into
      // MouseRegion: https://api.flutter.dev/flutter/widgets/MouseRegion-class.html.
      return Container(
        width: rect.width,
        height: rect.height,
        padding: const EdgeInsets.symmetric(horizontal: 6.0),
        alignment: Alignment.centerLeft,
        color: selected ? _selectedNodeColor : backgroundColor,
        child: rect.width > _minWidthForText
            ? Text(
                text,
                textAlign: TextAlign.left,
                overflow: TextOverflow.ellipsis,
                style: TextStyle(
                  color: selected ? Colors.black : textColor,
                ),
              )
            : const SizedBox(),
      );
    }
  }
  