options->file_filter.show_dot_directory = FALSE;
options->file_filter.show_hidden_files = FALSE;
options->file_filter.show_parent_directory = TRUE;
+ options->file_filter.disable_file_extension_checks = FALSE;
options->save_window_positions = TRUE;
options->tools_restore_state = TRUE;