ダブルクリックで選択されないことがあるのがまだ直ってなかった。
幅2ドットのキャレットの左半分にカーソルを正確に重ね合わせてダブルクリックすると
やっぱり選択されない。