/dports/math/reduce/Reduce-svn5758-src/contrib/boxdisplay/sml/ |
H A D | Delimiter.sml | 17 fun extensibleDelimiter size (fontNr, ch) = 18 let fun addFont ch = (fontNr, ch) 21 val rep = addFont (charExtensibleRep (fontNr, ch)) 36 fun varDelimiter'' size (fontNr, ch) = 37 if charHeight (fontNr, ch) + charDepth (fontNr, ch) >= size then charBox (fontNr, ch) 38 else case charLarger (fontNr, ch) of 39 SOME ch' => varDelimiter'' size (fontNr, ch') 40 | NONE => if charExtensible (fontNr, ch) 41 then extensibleDelimiter size (fontNr, ch) 42 else charBox (fontNr, ch) [all …]
|
H A D | CharInfo.sml | 3 val charWidth : FontTypes.fontNr * BasicTypes.charCode -> BasicTypes.dist 4 val charHeight : FontTypes.fontNr * BasicTypes.charCode -> BasicTypes.dist 5 val charDepth : FontTypes.fontNr * BasicTypes.charCode -> BasicTypes.dist 6 val charItalic : FontTypes.fontNr * BasicTypes.charCode -> BasicTypes.dist 7 val charLarger : FontTypes.fontNr * BasicTypes.charCode -> BasicTypes.charCode option 8 val charAccentSkew : FontTypes.fontNr * BasicTypes.charCode -> BasicTypes.dist 9 val charExtensible : FontTypes.fontNr * BasicTypes.charCode -> bool 10 val charExtensibleTop : FontTypes.fontNr * BasicTypes.charCode -> BasicTypes.charCode option 11 val charExtensibleRep : FontTypes.fontNr * BasicTypes.charCode -> BasicTypes.charCode 12 val charExtensibleBot : FontTypes.fontNr * BasicTypes.charCode -> BasicTypes.charCode option [all …]
|
H A D | DviState.sml | 11 val sameFont : FontTypes.fontNr -> bool 12 val setFont : FontTypes.fontNr -> unit 15 val isDefined : FontTypes.fontNr -> bool 16 val addFont : FontTypes.fontNr -> unit 17 val definedFonts : unit -> FontTypes.fontNr list 59 val fontList = ref ([]: fontNr list)
|
H A D | BasicChar.sml | 14 let val fontNr = fontNumber st fam value 15 val ch' = if enlarge then larger (fontNr, ch) else ch 16 val info = (fontNr, ch')
|
H A D | CharFunctions.sml | 3 val fontNumber: BasicTypes.style -> BasicTypes.family -> FontTypes.fontNr 4 val larger: FontTypes.fontNr * BasicTypes.charCode -> BasicTypes.charCode
|
H A D | OutDvi.sml | 11 val font : FontTypes.fontNr -> unit 12 val fontDef : FontTypes.fontNr -> unit 13 val fontDefs : FontTypes.fontNr list -> unit
|
H A D | DviCmd.sml | 3 val SetChar : FontTypes.fontNr * BasicTypes.charCode -> unit 4 val PutChar : FontTypes.fontNr * BasicTypes.charCode -> unit
|
H A D | FontTypes.sml | 4 type fontNr = int type
|
H A D | BoxTypes.sml | 17 Char of fontNr * charCode
|
H A D | SetNode.sml | 3 val outChar: BoxTypes.boxkind -> (FontTypes.fontNr * BasicTypes.charCode) -> unit
|
H A D | FontVector.sml | 4 val fontNumberVector: FontTypes.fontNr Vector.vector
|
/dports/devel/itext/itext-4.2.0/rtf/com/lowagie/text/rtf/parser/ |
H A D | RtfImportMgr.java | 126 public boolean importFont(String fontNr, String fontName) { in importFont() argument 129 …this.importFontMapping.put(fontNr, Integer.toString(this.rtfDoc.getDocumentHeader().getFontNumber(… in importFont() 140 public boolean importFont(String fontNr, String fontName, int charset) { in importFont() argument 145 …this.importFontMapping.put(fontNr, Integer.toString(this.rtfDoc.getDocumentHeader().getFontNumber(… in importFont() 156 public boolean importFont(String fontNr, String fontName, String fontFamily, int charset) { in importFont() argument 164 …this.importFontMapping.put(fontNr, Integer.toString(this.rtfDoc.getDocumentHeader().getFontNumber(… in importFont() 176 public String mapFontNr(String fontNr) { in mapFontNr() argument 177 if(this.importFontMapping.containsKey(fontNr)) { in mapFontNr() 178 return (String) this.importFontMapping.get(fontNr); in mapFontNr()
|
H A D | RtfImportMappings.java | 102 public void addFont(String fontNr, String fontName) { in addFont() argument 103 this.fontMappings.put(fontNr, fontName); in addFont()
|
H A D | RtfParser.java | 820 String fontNr = (String) it.next(); in handleImportMappings() local 821 this.importMgr.importFont(fontNr, (String) importMappings.getFontMappings().get(fontNr)); in handleImportMappings()
|
/dports/devel/itext/itext-4.2.0/rtf/com/lowagie/text/rtf/parser/destinations/ |
H A D | RtfDestinationFontTable.java | 82 private String fontNr = ""; field in RtfDestinationFontTable 410 public void setFontNumber(String fontNr) { in setFontNumber() argument 411 this.fontNr = fontNr; in setFontNumber() 444 this.fontNr = ""; in setToDefaults() 470 if(fontNr.length() == 0) return; in processFont() 488 …if(!this.importHeader.importFont(this.fontNr, this.fontName, Integer.parseInt("".equals(this.chars… in processFont() 490 …this.importHeader.importFont(this.fontNr, this.falt, Integer.parseInt("".equals(this.charset)?CHAR… in processFont() 521 fontMap.put(this.fontNr, f1); in processFont()
|
/dports/games/libretro-scummvm/scummvm-7b1e929/engines/sky/ |
H A D | text.cpp | 85 void Text::fnSetFont(uint32 fontNr) { in fnSetFont() argument 88 switch (fontNr) { in fnSetFont() 99 error("Tried to set invalid font (%d)", fontNr); in fnSetFont() 102 _curCharSet = fontNr; in fnSetFont()
|
H A D | text.h | 55 void fnSetFont(uint32 fontNr);
|
/dports/games/scummvm/scummvm-2.5.1/engines/sky/ |
H A D | text.cpp | 85 void Text::fnSetFont(uint32 fontNr) { in fnSetFont() argument 88 switch (fontNr) { in fnSetFont() 99 error("Tried to set invalid font (%d)", fontNr); in fnSetFont() 102 _curCharSet = fontNr; in fnSetFont()
|
H A D | text.h | 55 void fnSetFont(uint32 fontNr);
|
/dports/textproc/p5-PDF-Reuse/PDF-Reuse-0.39/lib/PDF/ |
H A D | Reuse.pm | 335 $fontNr = 0; 758 $fontNr++; 776 $fontNr++; 4039 $fontNr++; 5036 { $fontNr++; 5318 { $fontNr++; 5362 { $fontNr++; 5706 { $fontNr++; 5707 $Font = 'Ft' . $fontNr; 5863 $fontNr++; [all …]
|
/dports/print/scribus-devel/scribus-1.5.7/scribus/ |
H A D | pdflib_core.cpp | 196 uint fontNr = 65535; in drawGlyph() local 202 fontNr = gid / 256; in drawGlyph() 206 fontNr = gid / 224; in drawGlyph() 217 if (fontNr != 65535) in drawGlyph() 220 pdfFontName += Pdf::toPdf(fontNr); in drawGlyph() 351 uint fontNr = 65535; in drawGlyphOutline() local 356 fontNr = gid / 256; in drawGlyphOutline() 360 fontNr = gid / 224; in drawGlyphOutline() 371 if (fontNr != 65535) in drawGlyphOutline() 374 pdfFontName += Pdf::toPdf(fontNr); in drawGlyphOutline()
|