Searched refs:border_attr (Results 1 – 1 of 1) sorted by relevance
3786 int border_attr[4]; in update_popups() local3899 border_attr[i] = popup_attr; in update_popups()3901 border_attr[i] = syn_name2attr(wp->w_border_highlight[i]); in update_popups()3922 ? border_attr[0] : popup_attr); in update_popups()3930 wp->w_popup_border[0] > 0 ? border_attr[0] : popup_attr); in update_popups()3944 border_char[0], border_attr[0]); in update_popups()3947 border_char[0], border_char[0], border_attr[0]); in update_popups()3955 border_char[0], border_attr[0]); in update_popups()3961 wincol + total_width - 1, border_attr[1]); in update_popups()4043 screen_puts(buf, row, wincol, border_attr[3]); in update_popups()[all …]