anchor.diff:          ..add(_breakpointsCountDiv)
           ..click(() => breakpointsView.element.toggleAttribute('hidden')),
         breakpointsView.element,
  -      PNavMenuItem('Scripts')
  +      PNavMenuItem('Libraries')
           ..add([
             textfield
               ..click(() {
  
positive.code:   int _selectRow = -1;
  
    StreamSubscription _subscription;
    bool get active => _subscription != null;
  
    void start() {
  
negative.code:     });
  
      final CoreElement textfield =
          CoreElement('input', classes: 'form-control input-sm margin-left')
            ..setAttribute('type', 'text')
            ..setAttribute('placeholder', 'filter')
            ..element.style.width = 'calc(100% - 105px)'
            ..id = 'script_name';
      final CoreElement scriptCountDiv = span(text: '-', c: 'counter')
        ..element.style.marginTop = '4px';
  
      scriptsView = ScriptsView(debuggerState.getShortScriptName);
      scriptsView.onSelectionChanged.listen((ScriptRef scriptRef) async {
  