/** Remove a view list listener from this application. */ public void removeViewListener(ListDataListener listener) { _views.removeListDataListener(listener); }
/** Remove a document list listener from this application. */ public void removeDocumentListener(ListDataListener listener) { _documents.removeListDataListener(listener); }