Searched refs:width_inc (Results 1 – 3 of 3) sorted by relevance
7745 || xterm_hints.width_inc <= 1 in do_xterm_trace()7766 xterm_hints.x = win_x - (xterm_hints.width_inc * mouse_col) in do_xterm_trace()7767 - (xterm_hints.width_inc / 2); in do_xterm_trace()7768 if (xterm_hints.x <= xterm_hints.width_inc / 2) in do_xterm_trace()7782 col = check_col((win_x - xterm_hints.x) / xterm_hints.width_inc); in do_xterm_trace()
271 int width_inc = mouse_col - drag_start_col; in popup_drag() local274 if (width_inc != 0) in popup_drag()276 int width = wp->w_width + width_inc; in popup_drag()
2935 geometry.width_inc = gui.char_width; in update_window_manager_hints()