anchor.diff:  
     @override
     Widget buildResults(BuildContext context) {
  -    final List<dom.Element> searched = _getSearchList(data, query);
  +    final List<dom.Element> searched = data
  +        .where((dom.Element item) =>
  +            item.text.toLowerCase().contains(query.toLowerCase()))
  +        .toList();
       if (searched == null || searched.isEmpty) {
         return new Center(
           child: new Text(
  
positive.code:     return new ListView.builder(
        itemCount: results.length,
        itemBuilder: (BuildContext context, int i) {
          final String result = results[i].text;
          final int startIndex = result.indexOf(query);
          final int endIndex = startIndex + query.length;
          return new ListTile(
            leading: query.isEmpty ? const Icon(Icons.history) : const Icon(null),
            title: _buildRichText(context, result, startIndex, endIndex),
            onTap: () {
              searchDelegate.close(context, results[i]);
            },
          );
        },
      );
      /*
      final ThemeData theme = Theme.of(context);
      return new GestureDetector(
        onTap: () {
          searchDelegate.close(context, item);
        },
        child: new Card(
          child: new Padding(
            padding: const EdgeInsets.all(8.0),
            child: new Column(
              children: <Widget>[
                new Text(title),
                new Text(
                  item.text,
                  style: theme.textTheme.headline.copyWith(fontSize: 72.0),
                ),
              ],
            ),
          ),
        ),
      );
      */
    }
  
    Widget _buildRichText(
        BuildContext context, String text, int startIndex, int endIndex) {
      final ThemeData theme = Theme.of(context);
      if (startIndex == 0) {
        return new RichText(
          text: new TextSpan(
            text: text.substring(startIndex, endIndex),
            style: theme.textTheme.subhead.copyWith(fontWeight: FontWeight.bold),
            children: <TextSpan>[
              new TextSpan(
                text: text.substring(endIndex),
                style: theme.textTheme.subhead,
              ),
            ],
          ),
        );
      } else {
        return new RichText(
          text: new TextSpan(
            text: text.substring(0, startIndex),
            style: theme.textTheme.subhead,
            children: <TextSpan>[
              new TextSpan(
                text: text.substring(startIndex, endIndex),
                style:
                    theme.textTheme.subhead.copyWith(fontWeight: FontWeight.bold),
              ),
              new TextSpan(
                text: text.substring(endIndex),
                style: theme.textTheme.subhead,
              ),
            ],
          ),
        );
      }
    }
  }
  
  
negative.code:   Widget _buildRichText(
        BuildContext context, String suggestion, int startIndex, int endIndex) {
      final ThemeData theme = Theme.of(context);
      return new RichText(
        text: new TextSpan(
          text: suggestion.substring(0, startIndex),
          style: theme.textTheme.subhead,
          children: <TextSpan>[
            new TextSpan(
              text: suggestion.substring(startIndex, endIndex),
              style:
                  theme.textTheme.subhead.copyWith(fontWeight: FontWeight.bold),
            ),
            new TextSpan(
              text: suggestion.substring(endIndex),
              style: theme.textTheme.subhead,
            ),
          ],
        ),
      );
    }
  }
  