-
Jean-Francois Dockes authored
Reset status of highlighting/term data when loading doc in editor. Fixes search not working after using shift+arrow --HG-- branch : RECOLL_1_21_MAINT
373ae0c0
Reset status of highlighting/term data when loading doc in editor. Fixes search not working after using shift+arrow --HG-- branch : RECOLL_1_21_MAINT