Currently line gutter's width is not updated if you drag & drop many text lines from an external program (e.g. web browser).
