pub fn refresh_documents()
Expand description

Must be called at the end of a program that creates or deletes files, to update the OS document browser.