get_unsaved_documents
Description:
public List<
unowned Document>
get_unsaved_documents ()
Gets the list of documents that need to be saved before closing the window.
Parameters:
Returns:
a list of Document that need to be saved before closing the window
|