Fixes editor crash when indexes are refreshed with an html_view open.