Reset status of highlighting/term data when loading doc in editor. Fixes search not working after using shift+arrow
Authored by: Jean-Francois Dockes 2015-08-09
Parent(s): [4d1f67]
Child(ren): [071ee6]