Make ui the current UI for the code that follows (a second window, or tests).
- ui: the UI to make current.
first := headless();
second := headless();
defer free_ui(*first);
defer free_ui(*second);
push_ui(*first);
push_ui(*second);
assert(current_ui() == *second);
pop_ui();
assert(current_ui() == *first);
pop_ui();push_ui :: (ui: *UI_State)
Make ui the current UI for the code that follows (a second window, or tests).
Parameters
- ui: *UI_State
- the UI to make current.
first := headless();
second := headless();
defer free_ui(*first);
defer free_ui(*second);
push_ui(*first);
push_ui(*second);
assert(current_ui() == *second);
pop_ui();
assert(current_ui() == *first);
pop_ui();