-
Eike Ziller authored
This ensures that we are only highlighting once, and actually do highlight (the previous code was trying to prevent multiple rehighlights though doing the highlighting in the editor(s), resulting in situations where it wouldn't rehighlight at all) Change-Id: I18f3e72e31d8076b6d1575f1a17a3f4a101163d9 Reviewed-by: Fawzi Mohamed <fawzi.mohamed@digia.com>
5f94bc4d