Bug report: file listing not refreshed

[Leo]

See this guide if you still have problems with folder refreshes even in the latest version.