Correctly read the File navigator preferences: fix to SCI-873