Fix a regression around selection of uneditable content on mobile

FIX: Fix a regression that caused touch selection on mobile platforms to not
work in an uneditable editor.

See https://discuss.codemirror.net/t/readonly-mode-using-editorview-editable-of-false-does-not-allow-selecting-content-in-mobile-browsers/5482/1

src/domchange.ts

@@ -67,7 +67,7 @@ export function applyDOMChange(view: EditorView, domChange: DOMChange): boolean
       change = {from: from + diff.from, to: from + diff.toA,
                 insert: Text.of(domChange.text.slice(diff.from, diff.toB).split(LineBreakPlaceholder))}
     }
-  } else if (newSel && (!view.hasFocus || !view.state.facet(editable) || newSel.main.eq(sel))) {
+  } else if (newSel && (!view.hasFocus && view.state.facet(editable) || newSel.main.eq(sel))) {
     newSel = null
   }