int GTK.MenuShell()->get_active()
1 if the menu shell is currently active.
Extracted from Pike v7.3 release 11 at 2001-11-03.