John Levon wrote: >> The attached patch implements this for LyX 1.3.x. Thoughts?
> What happens if the real widgets extend right to the edge already? > You don't get the ">>" thing do you? If not, fine. Good point. I'll go ask on the Qt devel list what the recognised way to do this is and whether the ">>" thing is a possible problem. -- Angus