src/popupwin.c
int
popup_top_extra(win_T *wp)
{
    int	extra = wp->w_popup_border[0] + wp->w_popup_padding[0];

    if (extra == 0 && wp->w_popup_title != NULL && *wp->w_popup_title != NUL)
	return 1;
    return extra;
}
/*
 * Get the padding plus border at the top, adjusted to 1 if there is a title.
 */
Get the padding plus border at the top, adjusted to 1 if there is a title.
Get the padding plus border at the top adjusted to 1 if there is a title .
int
popup_top_extra(win_T *wp)
{
    int	extra = wp->w_popup_border[0] + wp->w_popup_padding[0];
    if (extra == 0 && wp->w_popup_title != NULL && *wp->w_popup_title != NUL)
	return 1;
    return extra;
}
int popup_top_extra ( win_T * wp ) { int extra = wp -> w_popup_border [ 0 ] + wp -> w_popup_padding [ 0 ] ; if ( extra == 0 && wp -> w_popup_title != NULL && * wp -> w_popup_title != NUL ) return 1 ; return extra ; }
Get the padding plus border at the top, adjusted to 1 if there is a title.
Get the padding plus border at the top adjusted to 1 if there is a title .