2002-09-11 09:14:57 +00:00
|
|
|
|
2002-05-30 07:09:54 +00:00
|
|
|
#include <config.h>
|
|
|
|
|
2003-03-21 14:20:48 +00:00
|
|
|
#include "metricsinfo.h"
|
|
|
|
#include "mathed/math_support.h"
|
2002-05-30 07:09:54 +00:00
|
|
|
#include "frontends/Painter.h"
|
2003-03-21 14:20:48 +00:00
|
|
|
#include "debug.h"
|
2002-05-30 07:09:54 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
2003-03-21 14:20:48 +00:00
|
|
|
MetricsBase::MetricsBase()
|
2002-07-08 11:29:51 +00:00
|
|
|
: font(), style(LM_ST_TEXT), fontname("mathnormal"),
|
|
|
|
restrictwidth(false), textwidth(0)
|
2002-05-30 07:09:54 +00:00
|
|
|
{}
|
|
|
|
|
|
|
|
|
|
|
|
|
2002-08-02 14:29:42 +00:00
|
|
|
|
2003-03-21 14:20:48 +00:00
|
|
|
MetricsInfo::MetricsInfo()
|
2002-08-02 12:38:20 +00:00
|
|
|
: fullredraw(false)
|
2002-05-30 07:09:54 +00:00
|
|
|
{}
|
|
|
|
|
|
|
|
|
|
|
|
|
2002-08-02 14:29:42 +00:00
|
|
|
|
2003-03-21 14:20:48 +00:00
|
|
|
PainterInfo::PainterInfo(Painter & p)
|
2002-05-30 07:09:54 +00:00
|
|
|
: pain(p)
|
|
|
|
{}
|
|
|
|
|
|
|
|
|
2003-03-21 14:20:48 +00:00
|
|
|
void PainterInfo::draw(int x, int y, char c)
|
2002-05-30 07:09:54 +00:00
|
|
|
{
|
|
|
|
pain.text(x, y, c, base.font);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2003-03-21 14:20:48 +00:00
|
|
|
Styles smallerScriptStyle(Styles st)
|
2002-05-30 07:09:54 +00:00
|
|
|
{
|
2002-08-05 16:21:19 +00:00
|
|
|
switch (st) {
|
2002-05-30 07:09:54 +00:00
|
|
|
case LM_ST_DISPLAY:
|
|
|
|
case LM_ST_TEXT:
|
2002-08-05 16:21:19 +00:00
|
|
|
return LM_ST_SCRIPT;
|
2002-05-30 07:09:54 +00:00
|
|
|
case LM_ST_SCRIPT:
|
2002-08-05 16:21:19 +00:00
|
|
|
case LM_ST_SCRIPTSCRIPT:
|
|
|
|
return LM_ST_SCRIPTSCRIPT;
|
2002-05-30 07:09:54 +00:00
|
|
|
}
|
2002-08-05 16:21:19 +00:00
|
|
|
// shut up compiler
|
|
|
|
lyxerr << "should not happen\n";
|
|
|
|
return LM_ST_DISPLAY;
|
2002-05-30 07:09:54 +00:00
|
|
|
}
|
|
|
|
|
2003-03-21 14:20:48 +00:00
|
|
|
ScriptChanger::ScriptChanger(MetricsBase & mb)
|
|
|
|
: StyleChanger(mb, smallerScriptStyle(mb.style))
|
2002-08-05 16:21:19 +00:00
|
|
|
{}
|
2002-05-30 07:09:54 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
2003-03-21 14:20:48 +00:00
|
|
|
Styles smallerFracStyle(Styles st)
|
2002-05-30 07:09:54 +00:00
|
|
|
{
|
2002-08-05 16:21:19 +00:00
|
|
|
switch (st) {
|
2002-05-30 07:09:54 +00:00
|
|
|
case LM_ST_DISPLAY:
|
2002-08-05 16:21:19 +00:00
|
|
|
return LM_ST_TEXT;
|
2002-05-30 07:09:54 +00:00
|
|
|
case LM_ST_TEXT:
|
2002-08-05 16:21:19 +00:00
|
|
|
return LM_ST_SCRIPT;
|
2002-05-30 07:09:54 +00:00
|
|
|
case LM_ST_SCRIPT:
|
2002-08-05 16:21:19 +00:00
|
|
|
case LM_ST_SCRIPTSCRIPT:
|
|
|
|
return LM_ST_SCRIPTSCRIPT;
|
2002-05-30 07:09:54 +00:00
|
|
|
}
|
2002-08-05 16:21:19 +00:00
|
|
|
// shut up compiler
|
|
|
|
lyxerr << "should not happen\n";
|
|
|
|
return LM_ST_DISPLAY;
|
2002-05-30 07:09:54 +00:00
|
|
|
}
|
|
|
|
|
2003-03-21 14:20:48 +00:00
|
|
|
FracChanger::FracChanger(MetricsBase & mb)
|
|
|
|
: StyleChanger(mb, smallerFracStyle(mb.style))
|
2002-08-05 16:21:19 +00:00
|
|
|
{}
|
2002-05-30 07:09:54 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
2003-03-21 14:20:48 +00:00
|
|
|
ArrayChanger::ArrayChanger(MetricsBase & mb)
|
|
|
|
: StyleChanger(mb, mb.style == LM_ST_DISPLAY ? LM_ST_TEXT : mb.style)
|
2002-10-02 06:38:49 +00:00
|
|
|
{}
|
|
|
|
|
|
|
|
|
2003-03-21 14:20:48 +00:00
|
|
|
ShapeChanger::ShapeChanger(LyXFont & font, LyXFont::FONT_SHAPE shape)
|
|
|
|
: Changer<LyXFont, LyXFont::FONT_SHAPE>(font)
|
2002-05-30 07:09:54 +00:00
|
|
|
{
|
|
|
|
save_ = orig_.shape();
|
|
|
|
orig_.setShape(shape);
|
|
|
|
}
|
|
|
|
|
2003-03-21 14:20:48 +00:00
|
|
|
ShapeChanger::~ShapeChanger()
|
2002-05-30 07:09:54 +00:00
|
|
|
{
|
|
|
|
orig_.setShape(save_);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
2003-03-21 14:20:48 +00:00
|
|
|
StyleChanger::StyleChanger(MetricsBase & mb, Styles style)
|
|
|
|
: Changer<MetricsBase>(mb)
|
2002-05-30 07:09:54 +00:00
|
|
|
{
|
2002-08-05 16:21:19 +00:00
|
|
|
static const int diff[4][4] = { { 0, 0, -3, -5 },
|
2002-12-01 22:59:25 +00:00
|
|
|
{ 0, 0, -3, -5 },
|
|
|
|
{ 3, 3, 0, -2 },
|
|
|
|
{ 5, 5, 2, 0 } };
|
2002-05-30 07:09:54 +00:00
|
|
|
save_ = mb;
|
2002-08-05 16:21:19 +00:00
|
|
|
int t = diff[mb.style][style];
|
2002-12-01 22:59:25 +00:00
|
|
|
if (t > 0)
|
2002-08-05 16:21:19 +00:00
|
|
|
while (t--)
|
|
|
|
mb.font.incSize();
|
2002-12-01 22:59:25 +00:00
|
|
|
else
|
2002-08-05 16:21:19 +00:00
|
|
|
while (t++)
|
|
|
|
mb.font.decSize();
|
|
|
|
mb.style = style;
|
2002-05-30 07:09:54 +00:00
|
|
|
}
|
|
|
|
|
2003-03-21 14:20:48 +00:00
|
|
|
|
|
|
|
StyleChanger::~StyleChanger()
|
2002-05-30 07:09:54 +00:00
|
|
|
{
|
|
|
|
orig_ = save_;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
2003-03-21 14:20:48 +00:00
|
|
|
FontSetChanger::FontSetChanger(MetricsBase & mb, char const * name)
|
|
|
|
: Changer<MetricsBase>(mb)
|
2002-05-30 07:09:54 +00:00
|
|
|
{
|
2002-12-01 22:59:25 +00:00
|
|
|
save_ = mb;
|
2002-06-05 07:12:05 +00:00
|
|
|
mb.fontname = name;
|
|
|
|
augmentFont(mb.font, name);
|
2002-05-30 07:09:54 +00:00
|
|
|
}
|
|
|
|
|
2003-03-21 14:20:48 +00:00
|
|
|
FontSetChanger::~FontSetChanger()
|
2002-05-30 07:09:54 +00:00
|
|
|
{
|
|
|
|
orig_ = save_;
|
|
|
|
}
|
|
|
|
|
2002-07-08 11:29:51 +00:00
|
|
|
|
2003-03-21 14:20:48 +00:00
|
|
|
WidthChanger::WidthChanger(MetricsBase & mb, int w)
|
|
|
|
: Changer<MetricsBase>(mb)
|
2002-07-08 11:29:51 +00:00
|
|
|
{
|
2002-12-01 22:59:25 +00:00
|
|
|
save_ = mb;
|
2002-07-08 11:29:51 +00:00
|
|
|
mb.restrictwidth = true;
|
|
|
|
mb.textwidth = w;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2003-03-21 14:20:48 +00:00
|
|
|
WidthChanger::~WidthChanger()
|
2002-07-08 11:29:51 +00:00
|
|
|
{
|
|
|
|
orig_ = save_;
|
|
|
|
}
|