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
|
|
|
|
|
2001-08-03 17:55:10 +00:00
|
|
|
#include "math_diminset.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-08-03 17:55:10 +00:00
|
|
|
class MathSpaceInset : public MathDimInset {
|
2001-02-13 13:28:32 +00:00
|
|
|
public:
|
|
|
|
///
|
2001-07-09 10:19:50 +00:00
|
|
|
explicit MathSpaceInset(int sp);
|
2001-02-13 13:28:32 +00:00
|
|
|
///
|
2001-07-09 10:19:50 +00:00
|
|
|
MathInset * clone() const;
|
2001-02-13 13:28:32 +00:00
|
|
|
///
|
2001-08-06 17:20:26 +00:00
|
|
|
void draw(Painter &, int x, int y) const;
|
2001-02-13 13:28:32 +00:00
|
|
|
///
|
2001-07-26 06:56:43 +00:00
|
|
|
void write(std::ostream &, bool fragile) const;
|
2001-02-13 13:28:32 +00:00
|
|
|
///
|
2001-07-26 06:56:43 +00:00
|
|
|
void writeNormal(std::ostream &) const;
|
2001-04-25 15:43:57 +00:00
|
|
|
///
|
2001-08-06 17:20:26 +00:00
|
|
|
void metrics(MathStyles st) const;
|
2001-02-13 13:28:32 +00:00
|
|
|
///
|
2001-07-25 14:15:05 +00:00
|
|
|
bool isSpaceInset() const { return true; }
|
2001-02-13 13:28:32 +00:00
|
|
|
///
|
2001-07-25 14:15:05 +00:00
|
|
|
void incSpace();
|
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
|