This fixes an issue where the line numbers were not updated until we hovered over the gutter. Fixes #170