I think we should not be overriding the option here. Instead, we should be checking ``editor.hasSelection()`` on line 1568 above and call `_setEditorOptionAndPref()` only if we don't have a selection. If we have a selection, then we only need to update preference, but not option since option was temporarily set to false when the user made a selection.