Add <div> to allow selecting whole SQL by tripple click (patch #1611591).