>>>>> "Angus" == Angus Leeming <[EMAIL PROTECTED]> writes:
Angus> Fine. The patches are saved for posterity at Angus> http://bugzilla.lyx.org/show_bug.cgi?id=2013 I thought a bit more about it at lunch, and I think we'd better not try to change what is basically a Qt design choice. It may even be that the behaviour depends on the QStyle chosen. JMarc
