bset_right_margin_cols 2297 src/androidfns.c   bset_right_margin_cols (XBUFFER (tip_buf), make_fixnum (0));
bset_right_margin_cols 2590 src/haikufns.c   bset_right_margin_cols (XBUFFER (tip_buf), make_fixnum (0));
bset_right_margin_cols 3289 src/pgtkfns.c    bset_right_margin_cols (XBUFFER (tip_buf), make_fixnum (0));
bset_right_margin_cols 7555 src/w32fns.c     bset_right_margin_cols (XBUFFER (tip_buf), make_fixnum (0));
bset_right_margin_cols 9197 src/xfns.c       bset_right_margin_cols (XBUFFER (tip_buf), make_fixnum (0));