Fix strange crash on Ubuntu 12.04. Stop highlighter on document deletion