|
@@ -339,22 +339,6 @@ public:
|
|
|
return id;
|
|
return id;
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
- //-----------------------------------------------------------------------------
|
|
|
|
|
- void push_gui_id(GuiId id)
|
|
|
|
|
- {
|
|
|
|
|
- uintptr_t enc = id.encode();
|
|
|
|
|
- lua_pushlightuserdata(m_state, (void*)enc);
|
|
|
|
|
- }
|
|
|
|
|
-
|
|
|
|
|
- //-----------------------------------------------------------------------------
|
|
|
|
|
- GuiId get_gui_id(int32_t index)
|
|
|
|
|
- {
|
|
|
|
|
- uint32_t enc = (uintptr_t) lua_touserdata(m_state, index);
|
|
|
|
|
- GuiId id;
|
|
|
|
|
- id.decode(enc);
|
|
|
|
|
- return id;
|
|
|
|
|
- }
|
|
|
|
|
-
|
|
|
|
|
//-----------------------------------------------------------------------------
|
|
//-----------------------------------------------------------------------------
|
|
|
void push_gui(Gui* gui)
|
|
void push_gui(Gui* gui)
|
|
|
{
|
|
{
|