[pdftex] font names in over/underfull box messages

[Vladimir Volovich]

Hi,

> i noticed that pdftex produces different output than standard TeX in
> over/underfull box messages, namely the font names look differently:

here's the relevant part of pdftex.ch:

@x [267] - displaying fonts
@<Print the font identifier for |font(p)|@>=
print_esc(font_id_text(font(p)))
@y
@<Print the font identifier for |font(p)|@>=
begin
    print("/");
    print(font_name[font(p)]);
    if font_size[font(p)] <> font_dsize[font(p)] then begin
        print("@@");
        print_scaled(font_size[font(p)]);
        print("pt");
    end;
    print("/");
end
@z

the question still remains - why such a decision was made?

Best,
v.