Home
last modified time | relevance | path

Searched refs:workspace_id (Results 1 – 2 of 2) sorted by relevance

/third_party/weston/ivi-shell/
Dhmi-controller.c149 uint32_t workspace_id; member
185 if (left->workspace_id < right->workspace_id) in compare_launcher_info()
188 if (left->workspace_id > right->workspace_id) in compare_launcher_info()
1206 info->workspace_id = workspaceid; in ivi_hmi_controller_add_launchers()
1221 if (0 > prev || (uint32_t)prev != data->workspace_id) { in ivi_hmi_controller_add_launchers()
1224 prev = data->workspace_id; in ivi_hmi_controller_add_launchers()
/third_party/weston/clients/
Divi-shell-user-interface.c143 uint32_t workspace_id; member
1048 launchers[ii]->workspace_id == in create_launchers()
1049 launchers[ii + 1]->workspace_id) in create_launchers()
1192 &launcher->workspace_id, 0); in hmi_homescreen_setting_create()