Function ndless::ndless::refresh_documents

pub fn refresh_documents()

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