Searched refs:text_area_height (Results 1 – 1 of 1) sorted by relevance
1399 int text_area_height; in gui_position_components() local1445 text_area_height = gui.num_rows * gui.char_height + gui.border_offset * 2; in gui_position_components()1450 text_area_height in gui_position_components()1461 text_area_y + text_area_height in gui_position_components()