Reset status of highlighting/term data when loading doc in editor. Fixes search not working after using shift+arrow

Jean-Francois Dockes Jean-Francois Dockes 2015-08-09

changed src/qtgui/preview_w.cpp
src/qtgui/preview_w.cpp Diff Switch to side-by-side view
Loading...