Clear editor highlight (fixes #3)