The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.
dvi2bitmap
dvi2bitmap1.0
|
An event which requests a change of font. More...
#include <DviFile.h>
Public Member Functions | |
DviFileFontChange (unsigned char opcode, PkFont *f) | |
void | debug () const |
Writes a representation of this event on cerr. More... | |
![]() | |
eventTypes | type () const |
Gets the type of this event. More... | |
const unsigned char | opcode () const |
Gets the underlying opcode which produced this event. More... | |
void | release () |
Release this event. More... | |
Public Attributes | |
const PkFont * | font |
The font we are to change to. More... | |
Additional Inherited Members | |
![]() | |
enum | eventTypes { setchar, setrule, fontchange, special, page, preamble, postamble } |
![]() | |
static verbosities | verbosity (const verbosities level) |
Sets the verbosity for DviFileEvent and its subclasses. More... | |
![]() | |
DviFileEvent (unsigned char opcode, eventTypes t, DviFile *dp=0) | |
Creates a new event. More... | |
![]() | |
static verbosities | verbosity_ = normal |
An event which requests a change of font.
|
inline |
|
virtual |
Writes a representation of this event on cerr.
Reimplemented from DviFileEvent.
References font, and PkFont::name().
const PkFont* DviFileFontChange::font |
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.