bset_right_margin_cols 2536 src/haikufns.c bset_right_margin_cols (XBUFFER (tip_buf), make_fixnum (0)); bset_right_margin_cols 3296 src/pgtkfns.c bset_right_margin_cols (XBUFFER (tip_buf), make_fixnum (0)); bset_right_margin_cols 7522 src/w32fns.c bset_right_margin_cols (XBUFFER (tip_buf), make_fixnum (0)); bset_right_margin_cols 8916 src/xfns.c bset_right_margin_cols (XBUFFER (tip_buf), make_fixnum (0));