Temporarily hides the last menu created, even though it is strictly still in context, to make room for lower-level menus. The functions ProMenuPush(), ProMenuPop(), and ProMenuVisibilityGet() let you push a menu, pop a menu, and ask whether a menu is currently visible.

This function affects Menu-Manager (mode-specific) menus only.

An example of this is when you select Make Datum during feature creation. This is called pushing menus because they are put on a LIFO stack from which they can be popped to make them reappear.

It is the responsibility of the application developer to use the correct sequence of calls to ProMenuCreate(), ProMenuDeleteWithStatus(), ProMenuPush(), and ProMenuPop().

If a main menu has submenus, they are treated as one and are pushed together with one call to ProMenuPush().