Searched refs:__window_max_id (Results 1 – 1 of 1) sorted by relevance
12 static uint32_t __window_max_id = 0; variable40 window->id = __window_max_id++; in __textui_init_window()306 __window_max_id = 0; in textui_init()