prioritize_current_selection added to options.html.