Abdelrazak Younes wrote: > If you agree with that, I'll commit his patch which I have locally > applied for some days already.
I agree, but please check whether it interferes with some of my recent changes (I remember the patch also did something about the menu toogle thing). Jürgen
