Use new push_string in LuaWindow