Method app_menu_end

libraries/lib-app-base/src/gl-imgui.cpp:736–741

    }

    void imgui_menu_stack::app_menu_end()
    {
        if (open.back()) ImGui::EndMainMenuBar();
        open.pop_back();
        assert(open.empty());
    }

} // end namespace gui