Refs #10237 Expedite options dialog deallocation
Merge branch 'feature/10237_refl_ui_options_menu' into develop