improvements to the filter.

src-ui/src/app/components/document-list/document-list.component.ts

@@ -53,11 +53,10 @@ export class DocumentListComponent implements OnInit {
         this.list.savedView = this.savedViewConfigService.getConfig(params.get('id'))
       } else {
         this.list.savedView = null
+        this.showFilter = this.filterRules.length > 0
       }
       this.filterRules = this.list.filterRules
-      this.showFilter = this.filterRules.length > 0
-      // prevents temporarily visible results from previous views
-      this.list.documents = []
+      this.list.clear()
       this.list.reload()
     })
   }