Tools/Options.../Default File Manager

This page is a placeholder only - topic to be included in the future.