products/sources/formale Sprachen/Isabelle/Provers image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei:   Sprache: Unknown

// -*- C++ -*-
/* This file is part of
 * ======================================================
 * 
 *           LyX, The Document Processor
 *   
 *       Copyright (C) 1997 Asger Alstrup
 *  and the LyX Team.
 *
 *======================================================*/


#ifndef _FONTLOADER_H_
#define _FONTLOADER_H_ 

#ifdef __GNUG__
#pragma interface
#endif

#include FORMS_H_LOCATION
#include "lyxfont.h"
class LString;
class FontInfo;

/** This class takes care of loading fonts. It uses FontInfo to make intelligent
guesses about matching font size, and it tries different tags itself in order
to match the font loading demands.  Later, I plan to extend this with support 
for T1Lib, probably via a new class building on this. (Asger) */

class FontLoader {
public:
 ///
 FontLoader();

 ///
 ~FontLoader();

 /// Update fonts after zoom, dpi, font names, or norm change
 void update();

 /// Load font
 XFontStruct* load(LyXFont::FONT_FAMILY family, 
     LyXFont::FONT_SERIES series, 
     LyXFont::FONT_SHAPE shape, 
     LyXFont::FONT_SIZE size)
 {
  if (fontstruct[family][series][shape][size]!=0)
   return fontstruct[family][series][shape][size];
  else
   return doLoad(family,series,shape,size);
 };
private:
 /// Array of font structs
 XFontStruct* fontstruct[4][2][4][10];

 /// Array of font infos
 FontInfo * fontinfo[4][2][4];

 /// Reset font handler
 void reset();

 /// Unload all fonts
 void unload();

 /// Get font info
 void getFontinfo(LyXFont::FONT_FAMILY family, 
    LyXFont::FONT_SERIES series, 
    LyXFont::FONT_SHAPE shape);

 /** Does the actual loading of a font. Updates fontstruct. */
 XFontStruct* doLoad(LyXFont::FONT_FAMILY family, 
       LyXFont::FONT_SERIES series, 
       LyXFont::FONT_SHAPE shape, 
       LyXFont::FONT_SIZE size);
};
#endif

[ Original von:0.1Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen. Man kann per Verzeichnistruktur darin navigieren. Der Code wird farblich markiert angezeigt.  Datei übertragen  ]