void FracCell::RecalculateWidths(int fontsize)
{
CellParser *parser = CellParser::Get();
double scale = parser->GetScale();
if (m_isBroken || m_exponent)
{
m_num->RecalculateWidthsList(fontsize);
m_denom->RecalculateWidthsList(fontsize);
}
else
{
m_num->RecalculateWidthsList(MAX(MC_MIN_SIZE, fontsize - FRAC_DEC));
m_denom->RecalculateWidthsList(MAX(MC_MIN_SIZE, fontsize - FRAC_DEC));
}
if (m_exponent && !m_isBroken)
{
wxDC& dc = parser->GetDC();
int height;
int fontsize1 = (int) ((double)(fontsize) * scale + 0.5);
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN,
wxFONTSTYLE_NORMAL, wxFONTWEIGHT_NORMAL, false,
parser->GetFontName(TS_VARIABLE)));
dc.GetTextExtent(wxT("/"), &m_expDivideWidth, &height);
m_width = m_num->GetFullWidth(scale) + m_denom->GetFullWidth(scale) + m_expDivideWidth;
}
else
{
wxDC& dc = parser->GetDC();
// We want half a space's widh of blank space to separate us from the
// next minus.
int dummy = 0;
int fontsize1 = (int) ((double)(fontsize) * scale + 0.5);
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN,
wxFONTSTYLE_NORMAL, wxFONTWEIGHT_NORMAL, false,
parser->GetFontName(TS_VARIABLE)));
dc.GetTextExtent(wxT("X"), &m_horizontalGap, &dummy);
m_horizontalGap /= 2;
m_width = MAX(m_num->GetFullWidth(scale), m_denom->GetFullWidth(scale)) + 2 * m_horizontalGap;
}
m_open1->RecalculateWidths(fontsize);
m_close1->RecalculateWidths(fontsize);
m_open2->RecalculateWidths(fontsize);
m_close2->RecalculateWidths(fontsize);
m_divide->RecalculateWidths(fontsize);
ResetData();
}
void ParenCell::RecalculateSize(CellParser& parser, int fontsize, bool all)
{
double scale = parser.GetScale();
m_innerCell->RecalculateSize(parser, fontsize, true);
m_height = m_innerCell->GetMaxHeight() + SCALE_PX(2, scale);
m_center = m_innerCell->GetMaxCenter() + SCALE_PX(1, scale);
#if defined __WXMSW__
if (!parser.CheckTeXFonts())
{
wxDC& dc = parser.GetDC();
int fontsize1 = (int) ((fontsize * scale + 0.5));
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN,
false,
false,
false,
parser.GetFontName()));
dc.GetTextExtent(wxT("("), &m_charWidth1, &m_charHeight1);
}
#endif
m_open->RecalculateSize(parser, fontsize, false);
m_close->RecalculateSize(parser, fontsize, false);
MathCell::RecalculateSize(parser, fontsize, all);
}
void FracCell::RecalculateWidths(CellParser& parser, int fontsize, bool all)
{
double scale = parser.GetScale();
if (m_isBroken || m_exponent)
{
m_num->RecalculateWidths(parser, fontsize, true);
m_denom->RecalculateWidths(parser, fontsize, true);
}
else
{
m_num->RecalculateWidths(parser, MAX(MC_MIN_SIZE, fontsize - FRAC_DEC), true);
m_denom->RecalculateWidths(parser, MAX(MC_MIN_SIZE, fontsize - FRAC_DEC), true);
}
if (m_exponent && !m_isBroken)
{
wxDC& dc = parser.GetDC();
int height;
int fontsize1 = (int) ((double)(fontsize) * scale + 0.5);
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN,
false, false, false,
parser.GetFontName(TS_VARIABLE)));
dc.GetTextExtent(wxT("/"), &m_expDivideWidth, &height);
m_width = m_num->GetFullWidth(scale) + m_denom->GetFullWidth(scale) + m_expDivideWidth;
}
else
{
m_width = MAX(m_num->GetFullWidth(scale), m_denom->GetFullWidth(scale));
}
m_open1->RecalculateWidths(parser, fontsize, false);
m_close1->RecalculateWidths(parser, fontsize, false);
m_open2->RecalculateWidths(parser, fontsize, false);
m_close2->RecalculateWidths(parser, fontsize, false);
m_divide->RecalculateWidths(parser, fontsize, false);
MathCell::RecalculateWidths(parser, fontsize, all);
}
void SlideShow::Draw(CellParser& parser, wxPoint point, int fontsize, bool all)
{
if (DrawThisCell(parser, point) && m_bitmaps[m_displayed] != NULL)
{
wxDC& dc = parser.GetDC();
wxMemoryDC bitmapDC;
double scale = parser.GetScale();
scale = MAX(scale, 1.0);
dc.DrawRectangle(wxRect(point.x, point.y - m_center, m_width, m_height));
if (scale != 1.0)
{
wxImage img = m_bitmaps[m_displayed]->ConvertToImage();
img.Rescale(m_width, m_height);
wxBitmap bmp = img;
bitmapDC.SelectObject(bmp);
}
else
bitmapDC.SelectObject(*m_bitmaps[m_displayed]);
dc.Blit(point.x + 1, point.y - m_center + 1, m_width, m_height, &bitmapDC, 0, 0);
}
MathCell::Draw(parser, point, fontsize, all);
}
void ImgCell::Draw(CellParser& parser, wxPoint point, int fontsize)
{
wxDC& dc = parser.GetDC();
if (DrawThisCell(parser, point) && m_image != NULL)
{
wxMemoryDC bitmapDC;
double scale = parser.GetScale();
m_image->ViewportSize(m_canvasSize.x,m_canvasSize.y,scale);
m_height = (m_image->m_height) + 2 * m_imageBorderWidth;
m_width = (m_image->m_width) + 2 * m_imageBorderWidth;
SetPen(parser);
if (m_drawRectangle)
dc.DrawRectangle(wxRect(point.x, point.y - m_center, m_width, m_height));
wxBitmap bitmap = m_image->GetBitmap();
bitmapDC.SelectObject(bitmap);
dc.Blit(point.x + m_imageBorderWidth, point.y - m_center + m_imageBorderWidth, m_width - 2 * m_imageBorderWidth, m_height - 2 * m_imageBorderWidth, &bitmapDC, 0, 0);
}
else
// The cell isn't drawn => No need to keep it's image cache for now.
ClearCache();
MathCell::Draw(parser, point, fontsize);
}
/***
* Reset the pen in the device context.
*/
void MathCell::UnsetPen(CellParser& parser)
{
wxDC& dc = parser.GetDC();
if (m_type == MC_TYPE_PROMPT || m_type == MC_TYPE_INPUT || m_highlight)
dc.SetPen(*(wxThePenList->FindOrCreatePen(parser.GetColor(TS_DEFAULT),
1, wxPENSTYLE_SOLID)));
}
void MathCell::SetForeground(CellParser& parser)
{
wxColour color;
wxDC& dc = parser.GetDC();
if (m_highlight)
{
color = parser.GetColor(TS_HIGHLIGHT);
}
else {
switch (m_type)
{
case MC_TYPE_PROMPT:
color = parser.GetColor(TS_OTHER_PROMPT);
break;
case MC_TYPE_MAIN_PROMPT:
color = parser.GetColor(TS_MAIN_PROMPT);
break;
case MC_TYPE_ERROR:
color = wxColour(wxT("red"));
break;
case MC_TYPE_LABEL:
color = parser.GetColor(TS_LABEL);
break;
default:
color = parser.GetColor(m_textStyle);
break;
}
}
dc.SetTextForeground(color);
}
void SqrtCell::RecalculateWidths(int fontsize)
{
CellParser *parser = CellParser::Get();
double scale = parser->GetScale();
m_innerCell->RecalculateWidthsList(fontsize);
if (parser->CheckTeXFonts())
{
wxDC& dc = parser->GetDC();
double scale = parser->GetScale();
m_innerCell->RecalculateSizeList(fontsize);
m_signFontScale = 1.0;
int fontsize1 = (int)(SIGN_FONT_SCALE*scale*fontsize*m_signFontScale + 0.5);
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN, wxFONTSTYLE_NORMAL, wxFONTWEIGHT_NORMAL, false, parser->GetTeXCMEX()));
dc.GetTextExtent(wxT("s"), &m_signWidth, &m_signSize);
m_signTop = m_signSize / 5;
m_width = m_innerCell->GetFullWidth(scale) + m_signWidth;
int size = m_innerCell->GetMaxHeight();
if (size <= (m_signSize) / 5) {
m_signType = 1;
m_signFontScale = (5.0 * size) / (1.5 * m_signSize);
}
else if (size <= (2*m_signSize) / 5) {
m_signType = 2;
m_signFontScale = (5.0 * size) / (2.2 * m_signSize);
}
else if (size <= (3*m_signSize) / 5) {
m_signType = 3;
m_signFontScale = (5.0 * size) / (3.0 * m_signSize);
}
else if (size <= (4*m_signSize) / 5 ) {
m_signType = 4;
m_signFontScale = (5.0 * size) / (3.8 * m_signSize);
}
else {
m_signType = 5;
m_signFontScale = 1.0;
}
fontsize1 = (int)(SIGN_FONT_SCALE*scale*fontsize*m_signFontScale + 0.5);
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN, wxFONTSTYLE_NORMAL, wxFONTWEIGHT_NORMAL, false, parser->GetTeXCMEX()));
dc.GetTextExtent(wxT("s"), &m_signWidth, &m_signSize);
m_signTop = m_signSize / 5;
m_width = m_innerCell->GetFullWidth(scale) + m_signWidth;
}
else
m_width = m_innerCell->GetFullWidth(scale) + SCALE_PX(10, scale) +
3 * SCALE_PX(1, scale) + 1;
m_open->RecalculateWidthsList(fontsize);
m_close->RecalculateWidthsList(fontsize);
ResetData();
}
void SqrtCell::RecalculateWidths(CellParser& parser, int fontsize, bool all)
{
double scale = parser.GetScale();
m_innerCell->RecalculateWidths(parser, fontsize, true);
if (parser.CheckTeXFonts())
{
wxDC& dc = parser.GetDC();
double scale = parser.GetScale();
m_innerCell->RecalculateSize(parser, fontsize, true);
m_signFontScale = 1.0;
int fontsize1 = (int)(SIGN_FONT_SCALE*scale*fontsize*m_signFontScale + 0.5);
dc.SetFont(wxFont(fontsize1, wxMODERN, false, false, false, parser.GetTeXCMEX()));
dc.GetTextExtent(wxT("s"), &m_signWidth, &m_signSize);
m_signTop = m_signSize / 5;
m_width = m_innerCell->GetFullWidth(scale) + m_signWidth;
int size = m_innerCell->GetMaxHeight();
if (size <= (m_signSize) / 5) {
m_signType = 1;
m_signFontScale = (5.0 * size) / (1.5 * m_signSize);
}
else if (size <= (2*m_signSize) / 5) {
m_signType = 2;
m_signFontScale = (5.0 * size) / (2.2 * m_signSize);
}
else if (size <= (3*m_signSize) / 5) {
m_signType = 3;
m_signFontScale = (5.0 * size) / (3.0 * m_signSize);
}
else if (size <= (4*m_signSize) / 5 ) {
m_signType = 4;
m_signFontScale = (5.0 * size) / (3.8 * m_signSize);
}
else {
m_signType = 5;
m_signFontScale = 1.0;
}
fontsize1 = (int)(SIGN_FONT_SCALE*scale*fontsize*m_signFontScale + 0.5);
dc.SetFont(wxFont(fontsize1, wxMODERN, false, false, false, parser.GetTeXCMEX()));
dc.GetTextExtent(wxT("s"), &m_signWidth, &m_signSize);
m_signTop = m_signSize / 5;
m_width = m_innerCell->GetFullWidth(scale) + m_signWidth;
}
else
m_width = m_innerCell->GetFullWidth(scale) + SCALE_PX(10, scale) +
3 * SCALE_PX(1, scale) + 1;
m_open->RecalculateWidths(parser, fontsize, all);
m_close->RecalculateWidths(parser, fontsize, all);
MathCell::RecalculateWidths(parser, fontsize, all);
}
void FracCell::Draw(wxPoint point, int fontsize)
{
MathCell::Draw(point, fontsize);
CellParser *parser = CellParser::Get();
if (DrawThisCell(point) && InUpdateRegion())
{
wxDC& dc = parser->GetDC();
double scale = parser->GetScale();
wxPoint num, denom;
if (m_exponent && !m_isBroken)
{
double scale = parser->GetScale();
num.x = point.x;
num.y = point.y;
denom.x = point.x + m_num->GetFullWidth(scale) + m_expDivideWidth;
denom.y = num.y;
m_num->DrawList(num, fontsize);
m_denom->DrawList(denom, fontsize);
int fontsize1 = (int) ((double)(fontsize) * scale + 0.5);
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN,
wxFONTSTYLE_NORMAL, wxFONTWEIGHT_NORMAL, false,
parser->GetFontName(TS_VARIABLE)));
dc.DrawText(wxT("/"),
point.x + m_num->GetFullWidth(scale),
point.y - m_num->GetMaxCenter() + SCALE_PX(MC_TEXT_PADDING, scale));
}
else
{
num.x = point.x + (m_width - m_num->GetFullWidth(scale)) / 2;
num.y = point.y - m_num->GetMaxHeight() + m_num->GetMaxCenter() -
SCALE_PX(2, scale);
m_num->DrawList(num, MAX(MC_MIN_SIZE, fontsize - FRAC_DEC));
denom.x = point.x + (m_width - m_denom->GetFullWidth(scale)) / 2;
denom.y = point.y + m_denom->GetMaxCenter() + SCALE_PX(2, scale);
m_denom->DrawList(denom, MAX(MC_MIN_SIZE, fontsize - FRAC_DEC));
SetPen();
if (m_fracStyle != FC_CHOOSE)
dc.DrawLine(point.x + m_horizontalGap, point.y, point.x + m_width - m_horizontalGap, point.y);
UnsetPen();
}
}
}
void FracCell::Draw(CellParser& parser, wxPoint point, int fontsize, bool all)
{
if (DrawThisCell(parser, point))
{
wxDC& dc = parser.GetDC();
double scale = parser.GetScale();
wxPoint num, denom;
if (m_exponent && !m_isBroken)
{
double scale = parser.GetScale();
num.x = point.x;
num.y = point.y;
denom.x = point.x + m_num->GetFullWidth(scale) + m_expDivideWidth;
denom.y = num.y;
m_num->Draw(parser, num, fontsize, true);
m_denom->Draw(parser, denom, fontsize, true);
int fontsize1 = (int) ((double)(fontsize) * scale + 0.5);
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN,
false, false, false,
parser.GetFontName(TS_VARIABLE)));
dc.DrawText(wxT("/"),
point.x + m_num->GetFullWidth(scale),
point.y - m_num->GetMaxCenter() + SCALE_PX(MC_TEXT_PADDING, scale));
}
else
{
num.x = point.x + (m_width - m_num->GetFullWidth(scale)) / 2;
num.y = point.y - m_num->GetMaxHeight() + m_num->GetMaxCenter() -
SCALE_PX(2, scale);
m_num->Draw(parser, num, MAX(MC_MIN_SIZE, fontsize - FRAC_DEC), true);
denom.x = point.x + (m_width - m_denom->GetFullWidth(scale)) / 2;
denom.y = point.y + m_denom->GetMaxCenter() + SCALE_PX(2, scale);
m_denom->Draw(parser, denom, MAX(MC_MIN_SIZE, fontsize - FRAC_DEC), true);
SetPen(parser);
if (m_fracStyle != FC_CHOOSE)
dc.DrawLine(point.x, point.y, point.x + m_width, point.y);
UnsetPen(parser);
}
}
MathCell::Draw(parser, point, fontsize, all);
}
void SlideShow::Draw(wxPoint point, int fontsize)
{
MathCell::Draw(point, fontsize);
// TODO: Enable this when unselecting text updates the right region.
//if (!InUpdateRegion()) return;
CellParser *parser = CellParser::Get();
wxDC& dc = parser->GetDC();
if (DrawThisCell(point) && (m_images[m_displayed] != NULL))
{
wxMemoryDC bitmapDC;
double scale = parser->GetScale();
m_images[m_displayed]->ViewportSize(m_canvasSize.x,m_canvasSize.y,scale);
m_height = (m_images[m_displayed]->m_height) + 2 * m_imageBorderWidth;
m_width = (m_images[m_displayed]->m_width) + 2 * m_imageBorderWidth;
m_center = m_height / 2;
// Slide show cells have a red border except if they are selected
if(m_drawBoundingBox)
dc.SetBrush( *(wxTheBrushList->FindOrCreateBrush(parser->GetColor(TS_SELECTION))));
else
dc.SetPen(*wxRED_PEN);
// If we need a selection border on another redraw we will be informed by OnPaint() again.
m_drawBoundingBox = false;
dc.DrawRectangle(wxRect(point.x, point.y - m_center, m_width, m_height));
wxBitmap bitmap = m_images[m_displayed]->GetBitmap();
bitmapDC.SelectObject(bitmap);
dc.Blit(point.x + m_imageBorderWidth, point.y - m_center + m_imageBorderWidth, m_width - 2 * m_imageBorderWidth, m_height - 2 * m_imageBorderWidth, &bitmapDC, 0, 0);
}
else
// The cell isn't drawn => No need to keep it's image cache for now.
ClearCache();
}
void ConjugateCell::Draw(CellParser& parser, wxPoint point, int fontsize)
{
double scale = parser.GetScale();
wxDC& dc = parser.GetDC();
if (DrawThisCell(parser, point))
{
SetPen(parser);
wxPoint in;
in.x = point.x + SCALE_PX(4, scale);
in.y = point.y;
m_innerCell->DrawList(parser, in, fontsize);
dc.DrawLine(point.x + SCALE_PX(2, scale),
point.y - m_center + SCALE_PX(2, scale),
point.x + m_width - SCALE_PX(2, scale) - 1,
point.y - m_center + SCALE_PX(2, scale)
);
// point.y - m_center + m_height - SCALE_PX(2, scale));
UnsetPen(parser);
}
MathCell::Draw(parser, point, fontsize);
}
void ImgCell::Draw(wxPoint point, int fontsize)
{
MathCell::Draw(point, fontsize);
// TODO: Enable this when unselecting text updates the right region.
//if (!InUpdateRegion()) return;
CellParser *parser = CellParser::Get();
wxDC& dc = parser->GetDC();
if (DrawThisCell(point) && (m_image != NULL))
{
wxMemoryDC bitmapDC;
if(m_drawBoundingBox)
dc.SetBrush( *(wxTheBrushList->FindOrCreateBrush(parser->GetColor(TS_SELECTION))));
else
SetPen();
if (m_drawRectangle || m_drawBoundingBox)
dc.DrawRectangle(wxRect(point.x, point.y - m_center, m_width, m_height));
wxBitmap bitmap = m_image->GetBitmap();
bitmapDC.SelectObject(bitmap);
if ((m_drawBoundingBox == false) || (m_imageBorderWidth > 0))
dc.Blit(point.x + m_imageBorderWidth, point.y - m_center + m_imageBorderWidth, m_width - 2 * m_imageBorderWidth, m_height - 2 * m_imageBorderWidth, &bitmapDC, 0, 0);
else
dc.StretchBlit(point.x + 5, point.y - m_center + 5, m_width - 2 * 5, m_height - 2 * 5, &bitmapDC, 0, 0, m_width, m_height);
}
else
// The cell isn't drawn => No need to keep it's image cache for now.
ClearCache();
// The next time we need to draw a bounding box we will be informed again.
m_drawBoundingBox = false;
}
void SqrtCell::Draw(CellParser& parser, wxPoint point, int fontsize, bool all)
{
if (DrawThisCell(parser, point))
{
wxDC& dc = parser.GetDC();
double scale = parser.GetScale();
wxPoint in(point);
if (parser.CheckTeXFonts())
{
SetPen(parser);
in.x += m_signWidth;
double scale = parser.GetScale();
int fontsize1 = (int)(SIGN_FONT_SCALE*scale*fontsize*m_signFontScale + 0.5);
dc.SetFont(wxFont(fontsize1, wxMODERN, false, false, false, parser.GetTeXCMEX()));
SetForeground(parser);
if (m_signType < 4) {
dc.DrawText(
m_signType == 1 ? wxT("p") :
m_signType == 2 ? wxT("q") :
m_signType == 3 ? wxT("r") : wxT("s"),
point.x,
point.y - m_innerCell->GetMaxCenter() - m_signTop);
}
else {
int yBottom = point.y + m_innerCell->GetMaxDrop() - 3.2*m_signTop;
int yTop = point.y - m_innerCell->GetMaxCenter() - m_signTop;
int dy = m_signSize / 10;
dc.DrawText(wxT("t"),
point.x,
yBottom);
dc.DrawText(wxT("v"),
point.x,
yTop);
while (yTop < yBottom) {
yTop += dy;
dc.DrawText(wxT("u"),
point.x,
yTop);
}
}
dc.DrawLine(point.x + m_signWidth,
point.y - m_innerCell->GetMaxCenter(),
point.x + m_signWidth + m_innerCell->GetFullWidth(scale),
point.y - m_innerCell->GetMaxCenter());
UnsetPen(parser);
}
else
{
in.x += SCALE_PX(10, scale) + SCALE_PX(1, scale) + 1;
SetPen(parser);
dc.DrawLine(point.x,
point.y,
point.x + SCALE_PX(3, scale),
point.y - SCALE_PX(1, scale));
dc.DrawLine(point.x + SCALE_PX(3, scale),
point.y - SCALE_PX(1, scale),
point.x + SCALE_PX(7, scale),
point.y + m_height - m_center - SCALE_PX(4, scale));
dc.DrawLine(point.x + SCALE_PX(3, scale) + 1,
point.y - SCALE_PX(1, scale),
point.x + SCALE_PX(7, scale) + 1,
point.y + m_height - m_center - SCALE_PX(4, scale));
dc.DrawLine(point.x + SCALE_PX(7, scale) + 1,
point.y + m_height - m_center - SCALE_PX(4, scale),
point.x + SCALE_PX(10, scale),
point.y - m_center + SCALE_PX(2, scale));
dc.DrawLine(point.x + SCALE_PX(10, scale),
point.y - m_center + SCALE_PX(2, scale),
point.x + m_width - SCALE_PX(1, scale),
point.y - m_center + SCALE_PX(2, scale));
dc.DrawLine(point.x + m_width - SCALE_PX(1, scale),
point.y - m_center + SCALE_PX(2, scale),
point.x + m_width - SCALE_PX(1, scale),
point.y - m_center + SCALE_PX(6, scale));
UnsetPen(parser);
}
m_innerCell->Draw(parser, in, fontsize, true);
}
MathCell::Draw(parser, point, fontsize, all);
}
void ParenCell::Draw(CellParser& parser, wxPoint point, int fontsize)
{
if (DrawThisCell(parser, point))
{
double scale = parser.GetScale();
wxDC& dc = parser.GetDC();
wxPoint in(point);
if (parser.CheckTeXFonts())
{
in.x = point.x + m_signWidth;
SetForeground(parser);
int fontsize1 = (int) ((m_parenFontSize * scale + 0.5));
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN,
wxFONTSTYLE_NORMAL, wxFONTWEIGHT_NORMAL, false,
m_bigParenType < 1 ?
parser.GetTeXCMRI() :
parser.GetTeXCMEX()));
if (m_bigParenType < 2)
{
dc.DrawText(m_bigParenType == 0 ? wxT("(") :
wxT(PAREN_OPEN),
point.x,
point.y - m_center + SCALE_PX(MC_TEXT_PADDING, scale) -
(m_bigParenType > 0 ? m_signTop : 0));
dc.DrawText(m_bigParenType == 0 ? wxT(")") :
wxT(PAREN_CLOSE),
point.x + m_signWidth + m_innerCell->GetFullWidth(scale),
point.y - m_center + SCALE_PX(MC_TEXT_PADDING, scale) -
(m_bigParenType > 0 ? m_signTop : 0));
}
else {
int top = point.y - m_center - m_signTop;
int bottom = point.y + m_height - m_center - m_signTop - m_signSize / 2;
dc.DrawText(wxT(PAREN_OPEN_TOP),
point.x,
top);
dc.DrawText(wxT(PAREN_CLOSE_TOP),
point.x + m_signWidth + m_innerCell->GetFullWidth(scale),
top);
dc.DrawText(wxT(PAREN_OPEN_BOTTOM),
point.x,
bottom);
dc.DrawText(wxT(PAREN_CLOSE_BOTTOM),
point.x + m_signWidth + m_innerCell->GetFullWidth(scale),
bottom);
top = top + m_signSize / 2;
if (top <= bottom)
{
while (top < bottom)
{
dc.DrawText(wxT(PAREN_OPEN_EXTEND),
point.x,
top-1);
dc.DrawText(wxT(PAREN_CLOSE_EXTEND),
point.x + m_width - m_signWidth,
top-1);
top += m_signSize / 10;
}
}
}
}
else
{
#if defined __WXMSW__
in.x += m_charWidth;
int fontsize1 = (int) ((PAREN_FONT_SIZE * scale + 0.5));
SetForeground(parser);
if (m_height < (3*m_charHeight)/2)
{
fontsize1 = (int) ((fontsize * scale + 0.5));
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN,
wxFONTSTYLE_NORMAL, wxFONTWEIGHT_NORMAL,
false,
parser.GetFontName()));
dc.DrawText(wxT("("),
point.x + m_charWidth - m_charWidth1,
point.y - m_charHeight1 / 2);
dc.DrawText(wxT(")"),
point.x + m_width - m_charWidth,
point.y - m_charHeight1 / 2);
}
else
{
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN,
wxFONTSTYLE_NORMAL, wxFONTWEIGHT_NORMAL,
false,
parser.GetSymbolFontName(),
wxFONTENCODING_CP1250));
dc.DrawText(PAREN_LEFT_TOP,
point.x,
point.y - m_center);
dc.DrawText(PAREN_LEFT_BOTTOM,
point.x,
point.y + m_height - m_center - m_charHeight);
dc.DrawText(PAREN_RIGHT_TOP,
point.x + m_width - m_charWidth,
point.y - m_center);
dc.DrawText(PAREN_RIGHT_BOTTOM,
point.x + m_width - m_charWidth,
point.y + m_height - m_center - m_charHeight);
int top, bottom;
top = point.y - m_center + m_charHeight/2;
bottom = point.y + m_height - m_center - (4*m_charHeight)/3;
if (top <= bottom)
{
while (top < bottom)
{
dc.DrawText(PAREN_LEFT_EXTEND,
point.x,
top);
dc.DrawText(PAREN_RIGHT_EXTEND,
point.x + m_width - m_charWidth,
top);
top += (2*m_charHeight)/3;
}
dc.DrawText(PAREN_LEFT_EXTEND,
point.x,
point.y + m_height - m_center - (3*m_charHeight)/2);
dc.DrawText(PAREN_RIGHT_EXTEND,
point.x + m_width - m_charWidth,
point.y + m_height - m_center - (3*m_charHeight)/2);
}
}
#else
in.x = point.x + SCALE_PX(6, scale);
SetPen(parser);
// left
dc.DrawLine(point.x + SCALE_PX(5, scale),
point.y - m_innerCell->GetMaxCenter() + SCALE_PX(1, scale),
point.x + SCALE_PX(2, scale),
point.y - m_innerCell->GetMaxCenter() + SCALE_PX(7, scale));
dc.DrawLine(point.x + SCALE_PX(2, scale),
point.y - m_innerCell->GetMaxCenter() + SCALE_PX(7, scale),
point.x + SCALE_PX(2, scale),
point.y + m_innerCell->GetMaxDrop() - SCALE_PX(7, scale));
dc.DrawLine(point.x + SCALE_PX(2, scale),
point.y + m_innerCell->GetMaxDrop() - SCALE_PX(7, scale),
point.x + SCALE_PX(5, scale),
point.y + m_innerCell->GetMaxDrop() - SCALE_PX(1, scale));
// right
dc.DrawLine(point.x + m_width - SCALE_PX(5, scale) - 1,
point.y - m_innerCell->GetMaxCenter() + SCALE_PX(1, scale),
point.x + m_width - SCALE_PX(2, scale) - 1,
point.y - m_innerCell->GetMaxCenter() + SCALE_PX(7, scale));
dc.DrawLine(point.x + m_width - SCALE_PX(2, scale) - 1,
point.y - m_innerCell->GetMaxCenter() + SCALE_PX(7, scale),
point.x + m_width - SCALE_PX(2, scale) - 1,
point.y + m_innerCell->GetMaxDrop() - SCALE_PX(7, scale));
dc.DrawLine(point.x + m_width - SCALE_PX(2, scale) - 1,
point.y + m_innerCell->GetMaxDrop() - SCALE_PX(7, scale),
point.x + m_width - SCALE_PX(5, scale) - 1,
point.y + m_innerCell->GetMaxDrop() - SCALE_PX(1, scale));
UnsetPen(parser);
#endif
}
m_innerCell->DrawList(parser, in, fontsize);
}
MathCell::Draw(parser, point, fontsize);
}
void ParenCell::RecalculateWidths(CellParser& parser, int fontsize)
{
double scale = parser.GetScale();
if (m_innerCell == NULL)
m_innerCell = new TextCell;
m_innerCell->RecalculateWidthsList(parser, fontsize);
if (parser.CheckTeXFonts())
{
wxDC& dc = parser.GetDC();
m_innerCell->RecalculateSizeList(parser, fontsize);
int size = m_innerCell->GetMaxHeight();
int fontsize1 = (int) ((fontsize * scale + 0.5));
if (size < 2*fontsize1)
m_bigParenType = 0;
else if (size < 4*fontsize1)
m_bigParenType = 1;
else
m_bigParenType = 2;
if (m_bigParenType < 2)
{
m_parenFontSize = fontsize;
fontsize1 = (int) ((m_parenFontSize * scale + 0.5));
dc.SetFont( wxFont(fontsize1, wxFONTFAMILY_MODERN,
wxFONTSTYLE_NORMAL, wxFONTWEIGHT_NORMAL, false,
m_bigParenType == 0 ?
parser.GetTeXCMRI() :
parser.GetTeXCMEX()));
dc.GetTextExtent(m_bigParenType == 0 ? wxT("(") :
m_bigParenType == 1 ? wxT(PAREN_OPEN) :
wxT(PAREN_OPEN_TOP),
&m_signWidth, &m_signSize);
/// BUG 2897415: Exporting equations to HTML locks up on Mac
/// there is something wrong with what dc.GetTextExtent returns,
/// make sure there is no infinite loop!
int i=0;
// Avoid a possible infinite loop.
if(size < 2) size = 2;
while (m_signSize < TRANSFORM_SIZE(m_bigParenType, size) && i<20)
{
int fontsize1 = (int) ((m_parenFontSize++ * scale + 0.5));
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN,
wxFONTSTYLE_NORMAL, wxFONTWEIGHT_NORMAL, false,
m_bigParenType == 0 ?
parser.GetTeXCMRI() :
parser.GetTeXCMEX()));
dc.GetTextExtent(m_bigParenType == 0 ? wxT("(") :
m_bigParenType == 1 ? wxT(PAREN_OPEN) :
wxT(PAREN_OPEN_TOP),
&m_signWidth, &m_signSize);
// Avoid an infinite loop.
if(m_signSize < 2) m_signSize = 2;
i++;
}
}
else
{
m_parenFontSize = fontsize;
fontsize1 = (int) ((m_parenFontSize * scale + 0.5));
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN,
wxFONTSTYLE_NORMAL, wxFONTWEIGHT_NORMAL, false,
m_bigParenType < 1 ?
parser.GetTeXCMRI() :
parser.GetTeXCMEX()));
dc.GetTextExtent(wxT(PAREN_OPEN), &m_signWidth, &m_signSize);
}
m_signTop = m_signSize / 5;
m_width = m_innerCell->GetFullWidth(scale) + 2*m_signWidth;
}
else
{
#if defined __WXMSW__
wxDC& dc = parser.GetDC();
int fontsize1 = (int) ((PAREN_FONT_SIZE * scale + 0.5));
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN,
parser.IsItalic(TS_DEFAULT),
parser.IsBold(TS_DEFAULT),
parser.IsUnderlined(TS_DEFAULT),
parser.GetSymbolFontName()));
dc.GetTextExtent(PAREN_LEFT_TOP, &m_charWidth, &m_charHeight);
if(m_charHeight < 2)
m_charHeight = 2;
m_width = m_innerCell->GetFullWidth(scale) + 2*m_charWidth;
#else
m_width = m_innerCell->GetFullWidth(scale) + SCALE_PX(12, parser.GetScale());
#endif
}
m_open->RecalculateWidthsList(parser, fontsize);
m_close->RecalculateWidthsList(parser, fontsize);
ResetData();
}
void GroupCell::Draw(CellParser& parser, wxPoint point, int fontsize)
{
double scale = parser.GetScale();
wxDC& dc = parser.GetDC();
if (m_width == -1 || m_height == -1) {
RecalculateWidths(parser, fontsize);
RecalculateSize(parser, fontsize);
}
if (DrawThisCell(parser, point))
{
// draw a thick line for 'page break'
// and return
if (m_groupType == GC_TYPE_PAGEBREAK) {
wxRect rect = GetRect(false);
int y = rect.GetY();
wxPen pen(parser.GetColor(TS_CURSOR), 1, wxPENSTYLE_DOT);
dc.SetPen(pen);
dc.DrawLine(0, y , 10000, y);
MathCell::Draw(parser, point, fontsize);
return;
}
//
// Paint background if we have a text cell
//
if (m_groupType == GC_TYPE_TEXT) {
wxRect rect = GetRect(false);
int y = rect.GetY();
if (m_height > 0 && m_width > 0 && y>=0) {
wxBrush br(parser.GetColor(TS_TEXT_BACKGROUND));
dc.SetBrush(br);
wxPen pen(parser.GetColor(TS_TEXT_BACKGROUND));
dc.SetPen(pen);
dc.DrawRectangle(0, y , 10000, rect.GetHeight());
}
}
//
// Draw input and output
//
SetPen(parser);
wxPoint in(point);
parser.Outdated(false);
m_input->DrawList(parser, in, fontsize);
if (m_groupType == GC_TYPE_CODE && m_input->m_next)
parser.Outdated(((EditorCell *)(m_input->m_next))->ContainsChanges());
if (m_output != NULL && !m_hide) {
MathCell *tmp = m_output;
int drop = tmp->GetMaxDrop();
in.y += m_input->GetMaxDrop() + m_output->GetMaxCenter();
m_outputRect.y = in.y - m_output->GetMaxCenter();
m_outputRect.x = in.x;
while (tmp != NULL) {
if (!tmp->m_isBroken) {
tmp->m_currentPoint.x = in.x;
tmp->m_currentPoint.y = in.y;
if (tmp->DrawThisCell(parser, in))
tmp->Draw(parser, in, MAX(tmp->IsMath() ? m_mathFontSize : m_fontSize, MC_MIN_SIZE));
if (tmp->m_nextToDraw != NULL) {
if (tmp->m_nextToDraw->BreakLineHere()) {
in.x = m_indent;
in.y += drop + tmp->m_nextToDraw->GetMaxCenter();
if (tmp->m_bigSkip)
in.y += MC_LINE_SKIP;
drop = tmp->m_nextToDraw->GetMaxDrop();
} else
in.x += (tmp->GetWidth() + MC_CELL_SKIP);
}
} else {
if (tmp->m_nextToDraw != NULL && tmp->m_nextToDraw->BreakLineHere()) {
in.x = m_indent;
in.y += drop + tmp->m_nextToDraw->GetMaxCenter();
if (tmp->m_bigSkip)
in.y += MC_LINE_SKIP;
drop = tmp->m_nextToDraw->GetMaxDrop();
}
}
tmp = tmp->m_nextToDraw;
}
}
parser.Outdated(false);
MathCell *editable = GetEditable();
if (editable != NULL && editable->IsActive()) {
dc.SetPen( *(wxThePenList->FindOrCreatePen(parser.GetColor(TS_ACTIVE_CELL_BRACKET), 2, wxPENSTYLE_SOLID))); // window linux, set a pen
dc.SetBrush( *(wxTheBrushList->FindOrCreateBrush(parser.GetColor(TS_ACTIVE_CELL_BRACKET)))); //highlight c.
}
else {
dc.SetPen( *(wxThePenList->FindOrCreatePen(parser.GetColor(TS_CELL_BRACKET), 1, wxPENSTYLE_SOLID))); // window linux, set a pen
dc.SetBrush( *(wxTheBrushList->FindOrCreateBrush(parser.GetColor(TS_CELL_BRACKET)))); //highlight c.
}
if ((!m_hide) && (!m_hiddenTree)) {
dc.SetBrush(*wxTRANSPARENT_BRUSH);
}
if (IsFoldable()) { // draw a square
wxPoint *points = new wxPoint[4];
points[0].x = point.x - SCALE_PX(10, scale);
points[0].y = point.y - m_center;
points[1].x = point.x - SCALE_PX(10, scale);
points[1].y = point.y - m_center + SCALE_PX(10, scale);
points[2].x = point.x;
points[2].y = point.y - m_center + SCALE_PX(10, scale);
points[3].x = point.x;
points[3].y = point.y - m_center;
dc.DrawPolygon(4, points);
delete [] points;
}
else { // draw a triangle and line
wxPoint *points = new wxPoint[3];
points[0].x = point.x - SCALE_PX(10, scale);
points[0].y = point.y - m_center;
points[1].x = point.x - SCALE_PX(10, scale);
points[1].y = point.y - m_center + SCALE_PX(10, scale);
points[2].x = point.x;
points[2].y = point.y - m_center;
dc.DrawPolygon(3, points);
delete [] points;
// vertical
dc.DrawLine(point.x - SCALE_PX(10, scale), point.y - m_center,
point.x - SCALE_PX(10, scale), point.y - m_center + m_height);
// bottom horizontal
dc.DrawLine(point.x - SCALE_PX(10, scale), point.y - m_center + m_height,
point.x - SCALE_PX(2, scale) , point.y - m_center + m_height);
// middle horizontal
if (m_groupType == GC_TYPE_CODE && m_output != NULL && !m_hide) {
dc.DrawLine(point.x - SCALE_PX(6, scale),
point.y - m_center + m_input->GetMaxHeight(),
point.x - SCALE_PX(10, scale),
point.y - m_center + m_input->GetMaxHeight());
}
}
UnsetPen(parser);
}
MathCell::Draw(parser, point, fontsize);
}
void SqrtCell::Draw(wxPoint point, int fontsize)
{
MathCell::Draw(point, fontsize);
CellParser *parser = CellParser::Get();
if (DrawThisCell(point) && InUpdateRegion())
{
wxDC& dc = parser->GetDC();
double scale = parser->GetScale();
wxPoint in(point);
if (parser->CheckTeXFonts())
{
SetPen();
in.x += m_signWidth;
double scale = parser->GetScale();
int fontsize1 = (int)(SIGN_FONT_SCALE*scale*fontsize*m_signFontScale + 0.5);
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN, wxFONTSTYLE_NORMAL, wxFONTWEIGHT_NORMAL, false, parser->GetTeXCMEX()));
SetForeground();
if (m_signType < 4) {
dc.DrawText(
m_signType == 1 ? wxT("p") :
m_signType == 2 ? wxT("q") :
m_signType == 3 ? wxT("r") : wxT("s"),
point.x,
point.y - m_innerCell->GetMaxCenter() - m_signTop);
}
else {
int yBottom = point.y + m_innerCell->GetMaxDrop() - 3.2*m_signTop;
int yTop = point.y - m_innerCell->GetMaxCenter() - m_signTop;
int dy = m_signSize / 10;
wxASSERT_MSG((yTop != 0) || (yBottom != 0),_("Font issue? The contents of a sqrt() has the size 0."));
wxASSERT_MSG(dy>0,_("Font issue: The sqrt() sign has the size 0! Installing http://www.math.union.edu/~dpvc/jsmath/download/jsMath-fonts.html and checking \"Use JSmath fonts\" in the configuration dialogue should be a workaround."));
if(dy <= 0)
dy = 1;
dc.DrawText(wxT("t"),
point.x,
yBottom);
dc.DrawText(wxT("v"),
point.x,
yTop);
while (yTop < yBottom) {
yTop += dy;
dc.DrawText(wxT("u"),
point.x,
yTop);
}
}
dc.DrawLine(point.x + m_signWidth,
point.y - m_innerCell->GetMaxCenter(),
point.x + m_signWidth + m_innerCell->GetFullWidth(scale),
point.y - m_innerCell->GetMaxCenter());
UnsetPen();
}
else
{
in.x += SCALE_PX(10, scale) + SCALE_PX(1, scale) + 1;
SetPen();
dc.DrawLine(point.x,
point.y,
point.x + SCALE_PX(3, scale),
point.y - SCALE_PX(1, scale));
dc.DrawLine(point.x + SCALE_PX(3, scale),
point.y - SCALE_PX(1, scale),
point.x + SCALE_PX(7, scale),
point.y + m_height - m_center - SCALE_PX(4, scale));
dc.DrawLine(point.x + SCALE_PX(3, scale) + 1,
point.y - SCALE_PX(1, scale),
point.x + SCALE_PX(7, scale) + 1,
point.y + m_height - m_center - SCALE_PX(4, scale));
dc.DrawLine(point.x + SCALE_PX(7, scale) + 1,
point.y + m_height - m_center - SCALE_PX(4, scale),
point.x + SCALE_PX(10, scale),
point.y - m_center + SCALE_PX(2, scale));
dc.DrawLine(point.x + SCALE_PX(10, scale),
point.y - m_center + SCALE_PX(2, scale),
point.x + m_width - SCALE_PX(1, scale),
point.y - m_center + SCALE_PX(2, scale));
dc.DrawLine(point.x + m_width - SCALE_PX(1, scale),
point.y - m_center + SCALE_PX(2, scale),
point.x + m_width - SCALE_PX(1, scale),
point.y - m_center + SCALE_PX(6, scale));
UnsetPen();
}
m_innerCell->DrawList(in, fontsize);
}
}
void IntCell::RecalculateWidths(int fontsize)
{
CellParser *parser = CellParser::Get();
double scale = parser->GetScale();
m_signSize = SCALE_PX(50, scale);
m_signWidth = SCALE_PX(18, scale);
m_base->RecalculateWidthsList(fontsize);
m_var->RecalculateWidthsList(fontsize);
if (m_under == NULL)
m_under = new TextCell;
m_under->RecalculateWidthsList(MAX(MC_MIN_SIZE, fontsize - 5));
if (m_over == NULL)
m_over = new TextCell;
m_over->RecalculateWidthsList(MAX(MC_MIN_SIZE, fontsize - 5));
if (parser->CheckTeXFonts()) {
wxDC& dc = parser->GetDC();
int fontsize1 = (int) ((fontsize * scale * 1.5 + 0.5));
dc.SetFont( wxFont(fontsize1, wxFONTFAMILY_MODERN,
wxFONTSTYLE_NORMAL, wxFONTWEIGHT_NORMAL, false,
parser->GetTeXCMEX()));
dc.GetTextExtent(wxT("\x5A"), &m_signWidth, &m_signSize);
#if defined __WXMSW__
m_signWidth = m_signWidth / 2;
#endif
m_signTop = m_signSize / 2;
m_signSize = (85 * m_signSize) / 100;
m_width = m_signWidth +
MAX(m_over->GetFullWidth(scale) + m_signWidth, m_under->GetFullWidth(scale)) +
m_base->GetFullWidth(scale) +
m_var->GetFullWidth(scale) +
SCALE_PX(4, scale);
}
else {
#if defined __WXMSW__
wxDC& dc = parser->GetDC();
int fontsize1 = (int) ((INTEGRAL_FONT_SIZE * scale + 0.5));
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN,
wxFONTSTYLE_NORMAL, wxFONTWEIGHT_NORMAL,
false,
parser->GetSymbolFontName()));
dc.GetTextExtent(INTEGRAL_TOP, &m_charWidth, &m_charHeight);
m_width = m_signWidth +
m_base->GetFullWidth(scale) +
MAX(m_over->GetFullWidth(scale), m_under->GetFullWidth(scale)) +
m_var->GetFullWidth(scale) +
SCALE_PX(4, scale);
#else
m_width = m_signWidth +
m_base->GetFullWidth(scale) +
MAX(m_over->GetFullWidth(scale), m_under->GetFullWidth(scale)) +
m_var->GetFullWidth(scale) +
SCALE_PX(4, scale);
#endif
}
ResetData();
}
void IntCell::Draw(wxPoint point, int fontsize)
{
MathCell::Draw(point, fontsize);
CellParser *parser = CellParser::Get();
if (DrawThisCell(point) && InUpdateRegion())
{
wxDC& dc = parser->GetDC();
double scale = parser->GetScale();
wxPoint base(point), under(point), over(point), var(point), sign(point);
if (parser->CheckTeXFonts())
{
SetForeground();
int fontsize1 = (int) ((fontsize * scale * 1.5 + 0.5));
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN,
wxFONTSTYLE_NORMAL, wxFONTWEIGHT_NORMAL, false,
parser->GetTeXCMEX()));
dc.DrawText(wxT("\x5A"),
sign.x,
sign.y - m_signTop);
}
else
{
#if defined __WXMSW__
SetForeground();
int fontsize1 = (int) ((INTEGRAL_FONT_SIZE * scale + 0.5));
int m_signWCenter = m_signWidth / 2;
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN,
wxFONTSTYLE_NORMAL, wxFONTWEIGHT_NORMAL,
false,
parser->GetSymbolFontName()));
dc.DrawText(INTEGRAL_TOP,
sign.x + m_signWCenter - m_charWidth / 2,
sign.y - (m_signSize + 1) / 2);
dc.DrawText(INTEGRAL_BOTTOM,
sign.x + m_signWCenter - m_charWidth / 2,
sign.y + (m_signSize + 1) / 2 - m_charHeight);
int top, bottom;
top = sign.y - (m_signSize + 1) / 2 + m_charHeight / 2;
bottom = sign.y + (m_signSize + 1) / 2 - (3 * m_charHeight) / 2;
if (top <= bottom)
{
wxASSERT_MSG(m_charHeight>=2,_("Font issue: The char height is too small! Installing http://www.math.union.edu/~dpvc/jsmath/download/jsMath-fonts.html and checking \"Use JSmath fonts\" in the configuration dialogue should be a workaround."));
if(m_charHeight <= 2)
m_charHeight = 2;
while (top < bottom)
{
dc.DrawText(INTEGRAL_EXTEND,
point.x + m_signWCenter - m_charWidth / 2,
top);
top += (2*m_charHeight)/3;
}
dc.DrawText(INTEGRAL_EXTEND,
point.x + m_signWCenter - m_charWidth / 2,
sign.y + (m_signSize + 1) / 2 - (3 * m_charHeight) / 2);
}
#else
SetPen();
// top decoration
int m_signWCenter = m_signWidth / 2;
dc.DrawLine(sign.x + m_signWCenter,
sign.y - (m_signSize + 1) / 2 + SCALE_PX(12, scale) - 1,
sign.x + m_signWCenter + SCALE_PX(3, scale),
sign.y - (m_signSize + 1) / 2 + SCALE_PX(3, scale));
dc.DrawLine(sign.x + m_signWCenter + SCALE_PX(3, scale),
sign.y - (m_signSize + 1) / 2 + SCALE_PX(3, scale),
sign.x + m_signWCenter + SCALE_PX(6, scale),
sign.y - (m_signSize + 1) / 2);
dc.DrawLine(sign.x + m_signWCenter + SCALE_PX(6, scale),
sign.y - (m_signSize + 1) / 2,
sign.x + m_signWCenter + SCALE_PX(9, scale),
sign.y - (m_signSize + 1) / 2 + SCALE_PX(3, scale));
// bottom decoration
dc.DrawLine(sign.x + m_signWCenter,
sign.y + (m_signSize + 1) / 2 - SCALE_PX(12, scale) + 1,
sign.x + m_signWCenter - SCALE_PX(3, scale),
sign.y + (m_signSize + 1) / 2 - SCALE_PX(3, scale));
dc.DrawLine(sign.x + m_signWCenter - SCALE_PX(3, scale),
sign.y + (m_signSize + 1) / 2 - SCALE_PX(3, scale),
sign.x + m_signWCenter - SCALE_PX(6, scale),
sign.y + (m_signSize + 1) / 2);
dc.DrawLine(sign.x + m_signWCenter - SCALE_PX(6, scale),
sign.y + (m_signSize + 1) / 2,
sign.x + m_signWCenter - SCALE_PX(9, scale),
sign.y + (m_signSize + 1) / 2 - SCALE_PX(3, scale));
// line
dc.DrawLine(sign.x + m_signWCenter,
sign.y - (m_signSize + 1) / 2 + SCALE_PX(12, scale) - 1,
sign.x + m_signWCenter,
sign.y + (m_signSize + 1) / 2 - SCALE_PX(12, scale) + 1);
UnsetPen();
#endif
}
if (m_intStyle == INT_DEF)
{
under.x += m_signWidth;
under.y = point.y + m_signSize / 2 + m_under->GetMaxCenter() + SCALE_PX(2, scale) -
m_signSize / 3;
m_under->DrawList(under, MAX(MC_MIN_SIZE, fontsize - 5));
if (parser->CheckTeXFonts())
over.x += 2*m_signWidth;
else
over.x += m_signWidth;
over.y = point.y - m_signSize / 2 - m_over->GetMaxDrop() - SCALE_PX(2, scale) +
m_signSize / 3;
m_over->DrawList(over, MAX(MC_MIN_SIZE, fontsize - 5));
if (parser->CheckTeXFonts())
{
base.x += m_signWidth +
MAX(m_over->GetFullWidth(scale) + m_signWidth, m_under->GetFullWidth(scale));
}
else
base.x += m_signWidth +
MAX(m_over->GetFullWidth(scale), m_under->GetFullWidth(scale));
}
else if (parser->CheckTeXFonts())
base.x += 2*m_signWidth;
else
base.x += m_signWidth;
m_base->DrawList(base, fontsize);
var.x = base.x + m_base->GetFullWidth(scale);
m_var->DrawList(var, fontsize);
}
}
void ParenCell::Draw(CellParser& parser, wxPoint point, int fontsize)
{
if (DrawThisCell(parser, point))
{
double scale = parser.GetScale();
wxDC& dc = parser.GetDC();
wxPoint in(point);
if (parser.CheckTeXFonts())
{
in.x = point.x + m_signWidth;
SetForeground(parser);
int fontsize1 = (int) ((m_parenFontSize * scale + 0.5));
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN,
wxFONTSTYLE_NORMAL, wxFONTWEIGHT_NORMAL, false,
m_bigParenType < 1 ?
parser.GetTeXCMRI() :
parser.GetTeXCMEX()));
if (m_bigParenType < 2)
{
dc.DrawText(m_bigParenType == 0 ? wxT("(") :
wxT(PAREN_OPEN),
point.x,
point.y - m_center + SCALE_PX(MC_TEXT_PADDING, scale) -
(m_bigParenType > 0 ? m_signTop : 0));
dc.DrawText(m_bigParenType == 0 ? wxT(")") :
wxT(PAREN_CLOSE),
point.x + m_signWidth + m_innerCell->GetFullWidth(scale),
point.y - m_center + SCALE_PX(MC_TEXT_PADDING, scale) -
(m_bigParenType > 0 ? m_signTop : 0));
}
else {
int top = point.y - m_center - m_signTop;
int bottom = point.y + m_height - m_center - m_signTop - m_signSize / 2;
dc.DrawText(wxT(PAREN_OPEN_TOP),
point.x,
top);
dc.DrawText(wxT(PAREN_CLOSE_TOP),
point.x + m_signWidth + m_innerCell->GetFullWidth(scale),
top);
dc.DrawText(wxT(PAREN_OPEN_BOTTOM),
point.x,
bottom);
dc.DrawText(wxT(PAREN_CLOSE_BOTTOM),
point.x + m_signWidth + m_innerCell->GetFullWidth(scale),
bottom);
top = top + m_signSize / 2;
wxASSERT_MSG(m_signSize>=10,_("Font issue: The Parenthesis sign is too small!"));
if(m_signSize <= 10)
m_signSize = 10;
if (top <= bottom)
{
while (top < bottom)
{
dc.DrawText(wxT(PAREN_OPEN_EXTEND),
point.x,
top-1);
dc.DrawText(wxT(PAREN_CLOSE_EXTEND),
point.x + m_width - m_signWidth,
top-1);
top += m_signSize / 10;
}
}
}
}
else
{
#if defined __WXMSW__
in.x += m_charWidth;
int fontsize1 = (int) ((PAREN_FONT_SIZE * scale + 0.5));
SetForeground(parser);
if (m_height < (3*m_charHeight)/2)
{
fontsize1 = (int) ((fontsize * scale + 0.5));
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN,
wxFONTSTYLE_NORMAL, wxFONTWEIGHT_NORMAL,
false,
parser.GetFontName()));
dc.DrawText(wxT("("),
point.x + m_charWidth - m_charWidth1,
point.y - m_charHeight1 / 2);
dc.DrawText(wxT(")"),
point.x + m_width - m_charWidth,
point.y - m_charHeight1 / 2);
}
else
{
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN,
wxFONTSTYLE_NORMAL, wxFONTWEIGHT_NORMAL,
false,
parser.GetSymbolFontName(),
wxFONTENCODING_CP1250));
dc.DrawText(PAREN_LEFT_TOP,
point.x,
point.y - m_center);
dc.DrawText(PAREN_LEFT_BOTTOM,
point.x,
point.y + m_height - m_center - m_charHeight);
dc.DrawText(PAREN_RIGHT_TOP,
point.x + m_width - m_charWidth,
point.y - m_center);
dc.DrawText(PAREN_RIGHT_BOTTOM,
point.x + m_width - m_charWidth,
point.y + m_height - m_center - m_charHeight);
int top, bottom;
top = point.y - m_center + m_charHeight/2;
bottom = point.y + m_height - m_center - (4*m_charHeight)/3;
wxASSERT_MSG(m_charHeight>=2,_("Font issue: The char height is too small! Installing http://www.math.union.edu/~dpvc/jsmath/download/jsMath-fonts.html and checking \"Use JSmath fonts\" in the configuration dialogue should be a workaround."));
if(m_charHeight <= 2)
m_charHeight = 2;
if (top <= bottom)
{
while (top < bottom)
{
dc.DrawText(PAREN_LEFT_EXTEND,
point.x,
top);
dc.DrawText(PAREN_RIGHT_EXTEND,
point.x + m_width - m_charWidth,
top);
top += (2*m_charHeight)/3;
}
dc.DrawText(PAREN_LEFT_EXTEND,
point.x,
point.y + m_height - m_center - (3*m_charHeight)/2);
dc.DrawText(PAREN_RIGHT_EXTEND,
point.x + m_width - m_charWidth,
point.y + m_height - m_center - (3*m_charHeight)/2);
}
}
#else
in.x = point.x + SCALE_PX(6, scale);
SetPen(parser);
// left
dc.DrawLine(point.x + SCALE_PX(5, scale),
point.y - m_innerCell->GetMaxCenter() + SCALE_PX(1, scale),
point.x + SCALE_PX(2, scale),
point.y - m_innerCell->GetMaxCenter() + SCALE_PX(7, scale));
dc.DrawLine(point.x + SCALE_PX(2, scale),
point.y - m_innerCell->GetMaxCenter() + SCALE_PX(7, scale),
point.x + SCALE_PX(2, scale),
point.y + m_innerCell->GetMaxDrop() - SCALE_PX(7, scale));
dc.DrawLine(point.x + SCALE_PX(2, scale),
point.y + m_innerCell->GetMaxDrop() - SCALE_PX(7, scale),
point.x + SCALE_PX(5, scale),
point.y + m_innerCell->GetMaxDrop() - SCALE_PX(1, scale));
// right
dc.DrawLine(point.x + m_width - SCALE_PX(5, scale) - 1,
point.y - m_innerCell->GetMaxCenter() + SCALE_PX(1, scale),
point.x + m_width - SCALE_PX(2, scale) - 1,
point.y - m_innerCell->GetMaxCenter() + SCALE_PX(7, scale));
dc.DrawLine(point.x + m_width - SCALE_PX(2, scale) - 1,
point.y - m_innerCell->GetMaxCenter() + SCALE_PX(7, scale),
point.x + m_width - SCALE_PX(2, scale) - 1,
point.y + m_innerCell->GetMaxDrop() - SCALE_PX(7, scale));
dc.DrawLine(point.x + m_width - SCALE_PX(2, scale) - 1,
point.y + m_innerCell->GetMaxDrop() - SCALE_PX(7, scale),
point.x + m_width - SCALE_PX(5, scale) - 1,
point.y + m_innerCell->GetMaxDrop() - SCALE_PX(1, scale));
UnsetPen(parser);
#endif
}
m_innerCell->DrawList(parser, in, fontsize);
}
MathCell::Draw(parser, point, fontsize);
}
void IntCell::Draw(CellParser& parser, wxPoint point, int fontsize, bool all)
{
if (DrawThisCell(parser, point))
{
wxDC& dc = parser.GetDC();
double scale = parser.GetScale();
wxPoint base(point), under(point), over(point), var(point), sign(point);
if (parser.CheckTeXFonts())
{
SetForeground(parser);
int fontsize1 = (int) ((fontsize * scale * 1.5 + 0.5));
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN,
false, false, false,
parser.GetTeXCMEX()));
dc.DrawText(wxT("\x5A"),
sign.x,
sign.y - m_signTop);
}
else
{
#if defined __WXMSW__
SetForeground(parser);
int fontsize1 = (int) ((INTEGRAL_FONT_SIZE * scale + 0.5));
int m_signWCenter = m_signWidth / 2;
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN,
false, false, false,
parser.GetSymbolFontName()));
dc.DrawText(wxT(INTEGRAL_TOP),
sign.x + m_signWCenter - m_charWidth / 2,
sign.y - (m_signSize + 1) / 2);
dc.DrawText(wxT(INTEGRAL_BOTTOM),
sign.x + m_signWCenter - m_charWidth / 2,
sign.y + (m_signSize + 1) / 2 - m_charHeight);
int top, bottom;
top = sign.y - (m_signSize + 1) / 2 + m_charHeight / 2;
bottom = sign.y + (m_signSize + 1) / 2 - (3 * m_charHeight) / 2;
if (top <= bottom)
{
while (top < bottom)
{
dc.DrawText(wxT(INTEGRAL_EXTEND),
point.x + m_signWCenter - m_charWidth / 2,
top);
top += (2*m_charHeight)/3;
}
dc.DrawText(wxT(INTEGRAL_EXTEND),
point.x + m_signWCenter - m_charWidth / 2,
sign.y + (m_signSize + 1) / 2 - (3 * m_charHeight) / 2);
}
#else
SetPen(parser);
// top decoration
int m_signWCenter = m_signWidth / 2;
dc.DrawLine(sign.x + m_signWCenter,
sign.y - (m_signSize + 1) / 2 + SCALE_PX(12, scale) - 1,
sign.x + m_signWCenter + SCALE_PX(3, scale),
sign.y - (m_signSize + 1) / 2 + SCALE_PX(3, scale));
dc.DrawLine(sign.x + m_signWCenter + SCALE_PX(3, scale),
sign.y - (m_signSize + 1) / 2 + SCALE_PX(3, scale),
sign.x + m_signWCenter + SCALE_PX(6, scale),
sign.y - (m_signSize + 1) / 2);
dc.DrawLine(sign.x + m_signWCenter + SCALE_PX(6, scale),
sign.y - (m_signSize + 1) / 2,
sign.x + m_signWCenter + SCALE_PX(9, scale),
sign.y - (m_signSize + 1) / 2 + SCALE_PX(3, scale));
// bottom decoration
dc.DrawLine(sign.x + m_signWCenter,
sign.y + (m_signSize + 1) / 2 - SCALE_PX(12, scale) + 1,
sign.x + m_signWCenter - SCALE_PX(3, scale),
sign.y + (m_signSize + 1) / 2 - SCALE_PX(3, scale));
dc.DrawLine(sign.x + m_signWCenter - SCALE_PX(3, scale),
sign.y + (m_signSize + 1) / 2 - SCALE_PX(3, scale),
sign.x + m_signWCenter - SCALE_PX(6, scale),
sign.y + (m_signSize + 1) / 2);
dc.DrawLine(sign.x + m_signWCenter - SCALE_PX(6, scale),
sign.y + (m_signSize + 1) / 2,
sign.x + m_signWCenter - SCALE_PX(9, scale),
sign.y + (m_signSize + 1) / 2 - SCALE_PX(3, scale));
// line
dc.DrawLine(sign.x + m_signWCenter,
sign.y - (m_signSize + 1) / 2 + SCALE_PX(12, scale) - 1,
sign.x + m_signWCenter,
sign.y + (m_signSize + 1) / 2 - SCALE_PX(12, scale) + 1);
UnsetPen(parser);
#endif
}
if (m_intStyle == INT_DEF)
{
under.x += m_signWidth;
under.y = point.y + m_signSize / 2 + m_under->GetMaxCenter() + SCALE_PX(2, scale) -
m_signSize / 3;
m_under->Draw(parser, under, MAX(MC_MIN_SIZE, fontsize - 5), true);
if (parser.CheckTeXFonts())
over.x += 2*m_signWidth;
else
over.x += m_signWidth;
over.y = point.y - m_signSize / 2 - m_over->GetMaxDrop() - SCALE_PX(2, scale) +
m_signSize / 3;
m_over->Draw(parser, over, MAX(MC_MIN_SIZE, fontsize - 5), true);
if (parser.CheckTeXFonts())
{
base.x += m_signWidth +
MAX(m_over->GetFullWidth(scale) + m_signWidth, m_under->GetFullWidth(scale));
}
else
base.x += m_signWidth +
MAX(m_over->GetFullWidth(scale), m_under->GetFullWidth(scale));
}
else if (parser.CheckTeXFonts())
base.x += 2*m_signWidth;
else
base.x += m_signWidth;
m_base->Draw(parser, base, fontsize, true);
var.x = base.x + m_base->GetFullWidth(scale);
m_var->Draw(parser, var, fontsize, true);
}
MathCell::Draw(parser, point, fontsize, all);
}
void IntCell::RecalculateWidths(CellParser& parser, int fontsize, bool all)
{
double scale = parser.GetScale();
m_signSize = SCALE_PX(50, scale);
m_signWidth = SCALE_PX(18, scale);
m_base->RecalculateWidths(parser, fontsize, true);
m_var->RecalculateWidths(parser, fontsize, true);
if (m_under == NULL)
m_under = new TextCell;
m_under->RecalculateWidths(parser, MAX(MC_MIN_SIZE, fontsize - 5), true);
if (m_over == NULL)
m_over = new TextCell;
m_over->RecalculateWidths(parser, MAX(MC_MIN_SIZE, fontsize - 5), true);
if (parser.CheckTeXFonts()) {
wxDC& dc = parser.GetDC();
int fontsize1 = (int) ((fontsize * scale * 1.5 + 0.5));
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN,
false, false, false,
parser.GetTeXCMEX()));
dc.GetTextExtent(wxT("\x5A"), &m_signWidth, &m_signSize);
#if defined __WXMSW__
m_signWidth = m_signWidth / 2;
#endif
m_signTop = m_signSize / 2;
m_signSize = (85 * m_signSize) / 100;
m_width = m_signWidth +
MAX(m_over->GetFullWidth(scale) + m_signWidth, m_under->GetFullWidth(scale)) +
m_base->GetFullWidth(scale) +
m_var->GetFullWidth(scale) +
SCALE_PX(4, scale);
}
else {
#if defined __WXMSW__
wxDC& dc = parser.GetDC();
int fontsize1 = (int) ((INTEGRAL_FONT_SIZE * scale + 0.5));
dc.SetFont(wxFont(fontsize1, wxFONTFAMILY_MODERN,
false, false, false,
parser.GetSymbolFontName()));
dc.GetTextExtent(wxT(INTEGRAL_TOP), &m_charWidth, &m_charHeight);
m_width = m_signWidth +
m_base->GetFullWidth(scale) +
MAX(m_over->GetFullWidth(scale), m_under->GetFullWidth(scale)) +
m_var->GetFullWidth(scale) +
SCALE_PX(4, scale);
#else
m_width = m_signWidth +
m_base->GetFullWidth(scale) +
MAX(m_over->GetFullWidth(scale), m_under->GetFullWidth(scale)) +
m_var->GetFullWidth(scale) +
SCALE_PX(4, scale);
#endif
}
MathCell::RecalculateWidths(parser, fontsize, all);
}