Searched refs:height_inc (Results 1 – 3 of 3) sorted by relevance
7746 || xterm_hints.height_inc <= 1) in do_xterm_trace()7762 xterm_hints.y = win_y - (xterm_hints.height_inc * mouse_row) in do_xterm_trace()7763 - (xterm_hints.height_inc / 2); in do_xterm_trace()7764 if (xterm_hints.y <= xterm_hints.height_inc / 2) in do_xterm_trace()7781 row = check_row((win_y - xterm_hints.y) / xterm_hints.height_inc); in do_xterm_trace()
272 int height_inc = mouse_row - drag_start_row; in popup_drag() local285 if (height_inc != 0) in popup_drag()287 int height = wp->w_height + height_inc; in popup_drag()
2936 geometry.height_inc = gui.char_height; in update_window_manager_hints()