157
156
specific_box (path ip, box b, bool printer_flag, font fn) {
158
return new specific_box_rep (ip, b, printer_flag, fn);
157
return tm_new<specific_box_rep> (ip, b, printer_flag, fn);
161
160
box flag_box (path ip, box b, SI h, SI lw, color dark, color light) {
162
return new flag_box_rep (ip, b, h, lw, dark, light);
161
return tm_new<flag_box_rep> (ip, b, h, lw, dark, light);