tab_bar_height    495 src/frame.h      int tab_bar_height;
tab_bar_height    978 src/frame.h    #define FRAME_TAB_BAR_HEIGHT(f) (f)->tab_bar_height
tab_bar_height   3453 src/pgtkfns.c    int tab_bar_height = 0, tab_bar_width = 0;
tab_bar_height   3458 src/pgtkfns.c    tab_bar_height = FRAME_TAB_BAR_HEIGHT (f);
tab_bar_height   3459 src/pgtkfns.c    tab_bar_width = (tab_bar_height
tab_bar_height   3496 src/pgtkfns.c  			  make_fixnum (tab_bar_height))),
tab_bar_height   8914 src/w32fns.c     int tab_bar_height = FRAME_TAB_BAR_HEIGHT (f);
tab_bar_height   8990 src/w32fns.c   			      (tab_bar_height
tab_bar_height   8994 src/w32fns.c   			      make_fixnum (tab_bar_height))),
tab_bar_height   14402 src/xdisp.c    	  height = tab_bar_height (f, NULL, !NILP (pixelwise));
tab_bar_height   14443 src/xdisp.c      int new_height = tab_bar_height (f, &new_nrows, true);
tab_bar_height   14563 src/xdisp.c    	  int new_height = tab_bar_height (f, &nrows, true);
tab_bar_height   6467 src/xfns.c       int tab_bar_height = 0, tab_bar_width = 0;
tab_bar_height   6538 src/xfns.c       tab_bar_height = FRAME_TAB_BAR_HEIGHT (f);
tab_bar_height   6539 src/xfns.c       tab_bar_width = (tab_bar_height
tab_bar_height   6542 src/xfns.c       inner_top += tab_bar_height;
tab_bar_height   6614 src/xfns.c     			   make_fixnum (tab_bar_height))),