2015-08-16 21:30:44 -05:00
|
|
|
// 29 may 2015
|
|
|
|
#include "ui.h"
|
|
|
|
|
|
|
|
static uintmax_t type_uiMenu = 0;
|
|
|
|
static uintmax_t type_uiMenuItem = 0;
|
|
|
|
|
2015-08-16 22:44:23 -05:00
|
|
|
uintmax_t uiMenuType(void)
|
2015-08-16 21:30:44 -05:00
|
|
|
{
|
|
|
|
if (type_uiMenu == 0)
|
|
|
|
type_uiMenu = uiRegisterType("uiMenu", 0, 0);
|
|
|
|
return type_uiMenu;
|
|
|
|
}
|
|
|
|
|
2015-08-16 22:44:23 -05:00
|
|
|
uintmax_t uiMenuItemType(void)
|
2015-08-16 21:30:44 -05:00
|
|
|
{
|
|
|
|
if (type_uiMenuItem == 0)
|
|
|
|
type_uiMenuItem = uiRegisterType("uiMenuItem", 0, 0);
|
|
|
|
return type_uiMenuItem;
|
|
|
|
}
|