Quelle font.gd Sprache: Shell

#############################################################################
##
#W  font.gd                  XGAP library                  Max Neunhoeffer
##
##
#Y  Copyright 1995-1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
#Y  Copyright 1997,       Frank Celler,                 Huerth,       Germany
#Y  Copyright 1998,       Max Neunhoeffer,              Aachen,       Germany
##

#############################################################################
##
#C  IsFont . . . . . . . . . . . . . . . . . . . . . . . .  category of fonts
##
DeclareCategory( "IsFont", IsObject );

#############################################################################
##
#O  FontInfo( <font> )  . . . . . . . . . . . . . . . . . font info of a font
##
##  Returns the information about the font <font>. The result is a triple
##  of integers. The first number is the maximal size
##  of a character above the baseline in pixels, the second is the maximal size
##  of a character below the baseline in pixels, and the third is the width
##  in pixels of *all* characters, because it is always assumed, that the
##  fonts are non-proportional. Use this function rather than accessing
##  the component `fontInfo' of a font object directly!
##
DeclareOperation( "FontInfo", [ IsFont ] );

#############################################################################
##
#O  FontName( <font> )  . . . . . . . . . . . . . . . . . . .  name of a font
##
DeclareOperation( "FontName", [ IsFont ] );

#############################################################################
##
#V  FontFamily  . . . . . . . . . . . . . . . . . . . . . . . family of fonts
##
BindGlobal( "FontFamily", NewFamily( "FontFamily" ) );

#############################################################################
##
#V  FONTS  . . . . . . . . . . . . . . . . . . . . .  list of available fonts
##
##  The variable  `FONTS' contains a list  of  available fonts.  If  an entry
##  is `false' this  fonts is not available  on your screen.
DeclareGlobalFunction( "CreateFonts" );
DeclareGlobalVariable( "FONTS" );

#############################################################################
##

#E  font.gd . . . . . . . . . . . . . . . . . . . . . . . . . . . . ends here

Messung
C	H	Z	G
82	98	100	93

¤ Dauer der Verarbeitung: 0.6 Sekunden ¤

Wurzel

Suchen

PVS Prover

Isabelle Prover

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.