Searched refs:right_extra (Results 1 – 1 of 1) sorted by relevance
1128 int right_extra = wp->w_popup_border[1] + wp->w_popup_padding[1]; in popup_adjust_position() local1132 int extra_width = left_extra + right_extra; in popup_adjust_position()1395 ++right_extra; in popup_adjust_position()1399 if (maxwidth + right_extra >= maxspace in popup_adjust_position()1457 want_col = left_extra + wp->w_width + right_extra; in popup_adjust_position()