In case you've not noticed, 1.0.7 is out

  • Fix for replacing with extended Unicode characters with editor.rereplace() (thanks to David Instone-Brewer for reporting)
  • Several freeze issues corrected (thanks to skrell and Juergen Busch for reporting)

Thanks,
Dave.