Lines Matching defs:fonts
79 private Vector fonts;
131 if (fonts != null) {
132 fontStarts = addToVector(this, length, fonts, fontStarts);
193 if (oldParagraph.fonts != null) {
196 oldParagraph.fonts.size());
236 if (oldParagraph.decorations == null && oldParagraph.fonts == null) {
253 if (oldParagraph.fonts != null) {
256 oldParagraph.fonts.size());
279 if (fonts != null) {
315 if (fonts == null) {
319 return fonts.elementAt(run);
393 if (fonts != null) {
394 fontStarts = addToVector(f, index, fonts, fontStarts);
401 fonts = new Vector(INITIAL_SIZE);
402 fonts.addElement(font);
403 fonts.addElement(f);