- From: Johannes Wilm <notifications@github.com>
- Date: Sat, 29 Jun 2019 22:37:46 -0700
- To: w3c/editing <editing@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Sunday, 30 June 2019 05:38:09 UTC
> In fact, this is how many major rich text editors that customize text selection/input around the web (such as Google Docs and CodeMirror) work. For this reason it seems like a bad idea to turn this off. At the same time, it should be noted that there are 0 (zero) occurrences of the browser's `execCommand` in the CodeMirror source code [1]. There are a number of occurrences of `cm.exexCommand` which is a CodeMirror internal JavaScript command which only happens to share the same name as the browser native command. I cannot tell for sure about Google Docs as the source code isn't open. So again - `document.execCommand` does not seem to be used a lot if at all by any of the editors we have found over the past few years. [1] https://github.com/codemirror/CodeMirror/search?p=2&q=execCommand&unscoped_q=execCommand -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/w3c/editing/issues/193#issuecomment-507009425
Received on Sunday, 30 June 2019 05:38:09 UTC