Searched refs:top_padding (Results 1 – 1 of 1) sorted by relevance
3784 int top_padding; in update_popups() local3934 top_padding = wp->w_popup_padding[0]; in update_popups()3965 top_padding = 1; in update_popups()3967 if (top_padding > 0 || wp->w_popup_padding[2] > 0) in update_popups()3978 if (top_padding > 0) in update_popups()3989 top_padding -= 1; in update_popups()3991 screen_fill(row, row + top_padding, padcol, padendcol, in update_popups()