Re: [PATCH] Draggable vertical dividers.