2001-08-30 08:55:13 +00:00
|
|
|
|
// -*- C++ -*-
|
|
|
|
|
#ifndef MATH_SPECIALCHARINSET_H
|
|
|
|
|
#define MATH_SPECIALCHARINSET_H
|
|
|
|
|
|
|
|
|
|
#include "math_inset.h"
|
|
|
|
|
|
|
|
|
|
#ifdef __GNUG__
|
|
|
|
|
#pragma interface
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
/** An inset for characters like {, #, and $ that need to be escaped
|
|
|
|
|
when written out, but can be inserted by a single keystroke
|
|
|
|
|
\author Andr<EFBFBD> P<EFBFBD>nitz
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
class MathSpecialCharInset : public MathInset {
|
|
|
|
|
public:
|
|
|
|
|
///
|
|
|
|
|
explicit MathSpecialCharInset(char c);
|
|
|
|
|
///
|
|
|
|
|
MathInset * clone() const;
|
|
|
|
|
///
|
2001-10-19 11:25:48 +00:00
|
|
|
|
void metrics(MathMetricsInfo const & st) const;
|
2001-08-30 08:55:13 +00:00
|
|
|
|
///
|
|
|
|
|
void draw(Painter &, int x, int y) const;
|
|
|
|
|
///
|
2001-10-19 11:25:48 +00:00
|
|
|
|
void write(MathWriteInfo & os) const;
|
2001-08-30 08:55:13 +00:00
|
|
|
|
///
|
|
|
|
|
void writeNormal(std::ostream &) const;
|
|
|
|
|
///
|
|
|
|
|
int ascent() const;
|
|
|
|
|
///
|
|
|
|
|
int descent() const;
|
|
|
|
|
///
|
|
|
|
|
int width() const;
|
|
|
|
|
|
|
|
|
|
private:
|
|
|
|
|
/// the character
|
|
|
|
|
char char_;
|
|
|
|
|
};
|
|
|
|
|
#endif
|