For the styling timer we can not use the static version of singleShot,
because we must be able to stop it (when switching XMLs while something
is being highlighted).
Also, an INIParser object has been leaking