anchor.diff:      
       $['wsfp-url'].onKeyPress.listen((KeyboardEvent event) {
         if(event.keyCode == 13) {
  -        list(parse(url));
  +        var urlData = new UrlData.fromString(url);
  +        getProtocol(urlData);
  +        
         }
       });    
     }
  
positive.code: 
    @observable
    List<p.File> currentFiles = new List();
    
    
    /// the current protocol id
    String currentProtocolId;
    
  
negative.code:     }
      currentProtocolId = protocolId;
      
      switch(url.protocol) {
        case "dummy":
           currentProtocol = new DummyFs();
           break;
      }
    }
    
  