Shorter updatetime.

Faster update of gitgutter after finishing typing.