27
27
// or send a mail to the DDD developers <ddd@gnu.org>.
30
fonts_version() = "$Id: fonts.vsl,v 1.1 2000/06/09 09:27:26 andreas Exp $";
30
fonts_version() = "$Id$";
33
33
_font(box, font) = font(box, font);
34
34
_fontfix(box) = fontfix(box);
36
36
// Standard interface
38
font(box, font) = _fontfix(_font(box, string(font)));
37
//#pragma override font
38
the_font(box, font) = _fontfix(_font(box, string(font)));
41
41
slant_unslanted() = "r";
140
140
// Macros for font settings
141
rm(box) = font(box, fontname_rm());
142
bf(box) = font(box, fontname_bf());
143
it(box) = font(box, fontname_it());
144
bi(box) = font(box, fontname_bi());
141
rm(box) = the_font(box, fontname_rm());
142
bf(box) = the_font(box, fontname_bf());
143
it(box) = the_font(box, fontname_it());
144
bi(box) = the_font(box, fontname_bi());
146
rm(box, family) = font(box, fontname_rm(family));
147
bf(box, family) = font(box, fontname_bf(family));
148
it(box, family) = font(box, fontname_it(family));
149
bi(box, family) = font(box, fontname_bi(family));
146
rm(box, family) = the_font(box, fontname_rm(family));
147
bf(box, family) = the_font(box, fontname_bf(family));
148
it(box, family) = the_font(box, fontname_it(family));
149
bi(box, family) = the_font(box, fontname_bi(family));
151
151
rm(box, family, size) = font(box, fontname_rm(family, size));
152
152
bf(box, family, size) = font(box, fontname_bf(family, size));