Searched refs:margin_width (Results 1 – 3 of 3) sorted by relevance
1122 int margin_width = 0; in popup_adjust_position() local1271 margin_width = number_width(wp) + 1; in popup_adjust_position()1273 margin_width += wp->w_p_fdc; in popup_adjust_position()1277 margin_width += 2; in popup_adjust_position()1279 if (margin_width >= maxwidth) in popup_adjust_position()1280 margin_width = maxwidth - 1; in popup_adjust_position()1334 while (len + margin_width > maxwidth) in popup_adjust_position()1337 len -= maxwidth - margin_width; in popup_adjust_position()1342 else if (len + margin_width > maxwidth in popup_adjust_position()1362 if (wp->w_width < len + margin_width) in popup_adjust_position()[all …]
649 + eb->label.margin_width; in draw_pixmap()947 + newtb->label.margin_width; in set_size()954 + newtb->label.margin_width) in set_size()959 newtb->label.margin_left += newtb->label.margin_width in set_size()961 newtb->core.width += newtb->label.margin_width in set_size()
54 \ wraparound show_not_found margin_width refresh