305306307308309310311312313314315
//flush fonts if(!isType3Font) cache.resetFonts(); T3Size t3=new T3Size(); if(t3Decoder!=null){ t3.x = t3Decoder.T3maxWidth; t3.y = t3Decoder.T3maxHeight; ignoreColors=t3Decoder.ignoreColors; t3Decoder=null;
172173174175176177178179180181182
GraphicsState gs=new GraphicsState(0,0); gs.CTM = new float[][]{{factor,0,0}, {0,factor,0},{0,0,1} }; T3Size t3 = glyphDecoder.decodePageContent(glyphObj, gs); renderX=t3.x; renderY=t3.y;