chiark / gitweb /
Fix an edge case of divider-obsoletion in Group.
authorSimon Tatham <anakin@pobox.com>
Wed, 9 Oct 2013 20:44:51 +0000 (20:44 +0000)
committerSimon Tatham <anakin@pobox.com>
Wed, 9 Oct 2013 20:44:51 +0000 (20:44 +0000)
commitcdc1224233dc2c0de2605d9a555d98b13245f513
tree68f6ecc4d611ac80663fca5eb890b46d3f445565
parent96626d9c10bd37d060f9cf843b717350c222a344
Fix an edge case of divider-obsoletion in Group.

When you drag group elements around, previous dividers are meant to
dissolve whenever the same two elements are no longer on each side of
it. One case in which this didn't happen was that of dragging an
element from the left of a divider to the far right column - the
divider became invisible, but would then startlingly reappear if you
drag that element back to the left of whatever it was left of before.

[originally from svn r10051]
unfinished/group.c