public int this [TexCharKind key]
{
get
{
return(typefaces[(int)key]);
}
set
{
Add(key, value);
}
}
public int GetTypeface(TexCharKind kind)
{
switch (kind)
{
case TexCharKind.Numbers: return(Typeface_Number);
case TexCharKind.Capitals: return(Typeface_Capitals);
case TexCharKind.Small: return(Typeface_Small);
case TexCharKind.Commands: return(Typeface_Commands);
case TexCharKind.Text: return(Typeface_Text);
case TexCharKind.Unicode: return(Typeface_Unicode);
default: return(0);
}
}
public void Add(TexCharKind key, int value)
{
typefaces[(int)key] = value;
}
