Searched refs:biggestfont (Results 1 – 6 of 6) sorted by relevance
152 fscanf(fin, "%hd", &dev.biggestfont); in main()284 if (dev.biggestfont >= nw)285 n = dev.biggestfont;287 if (dev.biggestfont > 0)
58 short biggestfont; /* #chars in largest ever font */ member
173 makedev has a new parameter called biggestfont that
157 fscanf(fin, "%hd", &dev.biggestfont); in main()293 if (dev.biggestfont > 0) in dofont()294 n = dev.biggestfont + 1; in dofont()
54 short biggestfont; /* #chars in largest ever font */ member
34 # Right now biggestfont shouldn't be set larger than 219.44 biggestfont 200