80ef96846a
React IDE page: make column dividers double clickable GitOrigin-RevId: 005b03ec5837293a2182d2d30d0955abaadc8e0c