Home
last modified time | relevance | path

Searched refs:fontNr (Results 1 – 21 of 21) sorted by relevance

/dports/math/reduce/Reduce-svn5758-src/contrib/boxdisplay/sml/
H A DDelimiter.sml17 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 DCharInfo.sml3 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 DDviState.sml11 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 DBasicChar.sml14 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 DCharFunctions.sml3 val fontNumber: BasicTypes.style -> BasicTypes.family -> FontTypes.fontNr
4 val larger: FontTypes.fontNr * BasicTypes.charCode -> BasicTypes.charCode
H A DOutDvi.sml11 val font : FontTypes.fontNr -> unit
12 val fontDef : FontTypes.fontNr -> unit
13 val fontDefs : FontTypes.fontNr list -> unit
H A DDviCmd.sml3 val SetChar : FontTypes.fontNr * BasicTypes.charCode -> unit
4 val PutChar : FontTypes.fontNr * BasicTypes.charCode -> unit
H A DFontTypes.sml4 type fontNr = int type
H A DBoxTypes.sml17 Char of fontNr * charCode
H A DSetNode.sml3 val outChar: BoxTypes.boxkind -> (FontTypes.fontNr * BasicTypes.charCode) -> unit
H A DFontVector.sml4 val fontNumberVector: FontTypes.fontNr Vector.vector
/dports/devel/itext/itext-4.2.0/rtf/com/lowagie/text/rtf/parser/
H A DRtfImportMgr.java126 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 DRtfImportMappings.java102 public void addFont(String fontNr, String fontName) { in addFont() argument
103 this.fontMappings.put(fontNr, fontName); in addFont()
H A DRtfParser.java820 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 DRtfDestinationFontTable.java82 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 Dtext.cpp85 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 Dtext.h55 void fnSetFont(uint32 fontNr);
/dports/games/scummvm/scummvm-2.5.1/engines/sky/
H A Dtext.cpp85 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 Dtext.h55 void fnSetFont(uint32 fontNr);
/dports/textproc/p5-PDF-Reuse/PDF-Reuse-0.39/lib/PDF/
H A DReuse.pm335 $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 Dpdflib_core.cpp196 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()