Searched defs:ui_tip (Results 1 – 2 of 2) sorted by relevance
1045 player_display_tab &curtab, input_context &ctxt, const ui_adaptor &ui_tip, in handle_player_display_action()1368 ui_adaptor ui_tip; in disp_info() local1369 ui_tip.on_screen_resize( [&]( ui_adaptor & ui_tip ) { in disp_info()