asente@WSL.DEC.COM (07/09/88)
Well, in general you just have to keep track of it yourself. If you're using widgets that are mapped_when_managed, the default, you can use XtIsManaged to find out what you want. -paul asente