Render a dummy highlight decoration to prevent artifacts

When the last highlight gets removed, we get a rendering artifact.
Always rendering an empty dummy at 0,0 ensures that never happens.