anchor.diff:              ),
               Padding(
                 padding: EdgeInsets.only(left: 12.0),
  -              child: AddWidget(filter),
  +              child: SizedBox(
  +                width: 300.0,
  +                height: 36.0,
  +                child: TextField(
  +                  controller: controller,
  +                  decoration: InputDecoration(
  +                      hintText: 'Test, configuration or experiment prefix'),
  +                  onSubmitted: (value) {
  +                    if (value.trim().isEmpty) return;
  +                    final newTerms = value.split(',').map((s) => s.trim());
  +                    bool isNotReplacedByNewTerm(String term) =>
  +                        !newTerms.any((newTerm) =>
  +                            term.startsWith(newTerm) ||
  +                            newTerm.startsWith(term));
  +                    controller.text = '';
  +                    pushRoute(context,
  +                        terms: filter.terms
  +                            .where(isNotReplacedByNewTerm)
  +                            .followedBy(newTerms));
  +                  },
  +                ),
  +              ),
               ),
             ],
           );
  
positive.code:       const ListEquality().equals(terms, other.terms);
  }
  
  class FilterUI extends StatelessWidget {
    @override
    Widget build(BuildContext context) {
      return Consumer<QueryResults>(
  
negative.code:                       children: [
                          for (final term in filter.terms)
                            InputChip(
                                label: Text(term),
                                onDeleted: () {
                                  pushRoute(context,
                                      terms:
                                          filter.terms.where((t) => t != term));
                                },
                                onPressed: () {
                                  controller.text = term;
                                }),
                        ],
                      ),
                    ),
  