Sure go for it thanks
On Sat, Aug 24, 2013 at 10:43:09PM +0100, Thomas Adam wrote:
> The current behaviour of mouse-resize-pane is such that if the mouse button
> is held down and a selection takes place within a pane, that if the mouse
> pointer then hits a border edge, that pane-resize would in
The current behaviour of mouse-resize-pane is such that if the mouse button
is held down and a selection takes place within a pane, that if the mouse
pointer then hits a border edge, that pane-resize would initiate.
This seems counter-intuitive; instead, check for a resize condition if the
border
