[Bf-codereview] Drag to close areas (issue 6269044)

[jorge at lunarworkshop.com]

On 2012/06/05 23:55:39, Vino wrote:

To address the issue Brecht mentioned where users may want to drag an
editor to the size of the header I've included in this latest patch a
feature where holding the CTRL key disables the ability to drag areas
closed. This patch also now disallows dragging closed the info area,
most users probably never want to close that.

http://codereview.appspot.com/6269044/