FileExplorer: preferences