Hi, About 8 years ago, you reported a bug to the Debian BTS regarding a freeze of a Xaw menu widget. Did you reproduce this problem recently? If not, I will close this bug in the next weeks. Thanks, Brice