Commits on Sep 22, 2023

1. Fix caret move on iOS 17 …

   There's an issue with iOS 17 where if you move the caret and then press
   backwards, for example because you made a typo, the caret will jump to
   its previous position. This is because on the onselectionchange event
   the event handler doesn't see the caret move as a new DOM range. It thinks
   the DOM range is the same as before and doesn't notify the registered
   observers.
   
   If we receive an onselectionchange event and the selection type is "Caret"
   that means the caret moved and we should notify the observers, regardless
   of whether the DOM range is the same as before.

   

   afcapel committed Sep 22, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 52dd480
   • Browse repository at this point

   Copy the full SHA

   52dd480 View commit details

   Browse the repository at this point in the history