Minor improvements to the file browser widget