2001-02-28 11:56:36 +00:00
|
|
|
// -*- C++ -*-
|
2001-02-13 13:28:32 +00:00
|
|
|
#ifndef MATH_SPACEINSET_H
|
|
|
|
#define MATH_SPACEINSET_H
|
|
|
|
|
|
|
|
#include "math_inset.h"
|
2001-02-13 19:10:18 +00:00
|
|
|
#include "math_defs.h"
|
2001-02-13 13:28:32 +00:00
|
|
|
|
2001-02-28 11:56:36 +00:00
|
|
|
#ifdef __GNUG__
|
|
|
|
#pragma interface
|
|
|
|
#endif
|
|
|
|
|
2001-02-13 13:28:32 +00:00
|
|
|
/// Smart spaces
|
2001-02-28 11:56:36 +00:00
|
|
|
class MathSpaceInset : public MathedInset {
|
2001-02-13 13:28:32 +00:00
|
|
|
public:
|
|
|
|
///
|
|
|
|
MathSpaceInset(int sp, short ot = LM_OT_SPACE, short st = LM_ST_TEXT);
|
|
|
|
///
|
|
|
|
MathedInset * Clone();
|
|
|
|
///
|
|
|
|
void draw(Painter &, int, int);
|
|
|
|
///
|
|
|
|
void Write(std::ostream &, bool fragile);
|
|
|
|
///
|
2001-02-13 16:40:19 +00:00
|
|
|
void Metrics();
|
2001-02-13 13:28:32 +00:00
|
|
|
///
|
2001-02-13 16:40:19 +00:00
|
|
|
void SetSpace(int sp);
|
2001-02-13 13:28:32 +00:00
|
|
|
///
|
2001-02-13 19:10:18 +00:00
|
|
|
int GetSpace();
|
2001-02-28 11:56:36 +00:00
|
|
|
private:
|
2001-02-13 13:28:32 +00:00
|
|
|
///
|
2001-02-28 11:56:36 +00:00
|
|
|
int space_;
|
2001-02-13 13:28:32 +00:00
|
|
|
};
|
|
|
|
#endif
|