disable gitgutter's realtime update, since it doesn't work well on my computer now