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