mirror of
https://github.com/jkriege2/JKQtPlotter.git
synced 2024-12-26 18:41:40 +08:00
4273 lines
194 KiB
C++
4273 lines
194 KiB
C++
/*
|
|
Copyright (c) 2008-2018 Jan W. Krieger (<jan@jkrieger.de>)
|
|
|
|
|
|
|
|
This software is free software: you can redistribute it and/or modify
|
|
it under the terms of the GNU Lesser General Public License (LGPL) as published by
|
|
the Free Software Foundation, either version 2 of the License, or
|
|
(at your option) any later version.
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU Lesser General Public License (LGPL) for more details.
|
|
|
|
You should have received a copy of the GNU Lesser General Public License (LGPL)
|
|
along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
*/
|
|
|
|
|
|
|
|
#include "jkqtmathtext/jkqtmathtext.h"
|
|
#include <QFontMetricsF>
|
|
#include <QDebug>
|
|
#include <QFontDatabase>
|
|
#include <typeinfo>
|
|
#include <QApplication>
|
|
//#define QColor2String(color) QString(jkqtp_rgbtostring((color).red(), (color).green(), (color).blue(), (color).alpha()).c_str())
|
|
|
|
|
|
QPainterPath makeHBracePath(double x, double ybrace, double width, double bw, double cubicshrink=0.5, double cubiccontrolfac=0.3) {
|
|
double xl1=x-(width)*cubicshrink+bw*cubicshrink;
|
|
double xr2=x+(width)*cubicshrink-bw*cubicshrink;
|
|
double xl2=x-bw*cubicshrink;
|
|
double xr1=x+bw*cubicshrink;
|
|
|
|
QPainterPath path;
|
|
path.moveTo(xl1-bw*cubicshrink, ybrace-bw*cubicshrink);
|
|
path.cubicTo(xl1-bw*cubicshrink, ybrace-bw*cubicshrink+bw*cubiccontrolfac, xl1-bw*cubiccontrolfac, ybrace, xl1, ybrace);
|
|
path.lineTo(xl2, ybrace);
|
|
path.cubicTo(xl2+bw*cubiccontrolfac, ybrace, (xl2+xr1)/2.0, ybrace+bw*cubicshrink-bw*cubiccontrolfac, (xl2+xr1)/2.0, ybrace+bw*cubicshrink);
|
|
path.cubicTo((xl2+xr1)/2.0, ybrace+bw*cubicshrink-bw*cubiccontrolfac, xr1-bw*cubiccontrolfac, ybrace, xr1, ybrace);
|
|
path.lineTo(xr2, ybrace);
|
|
path.cubicTo(xr2+bw*cubiccontrolfac, ybrace, xr2+bw*cubicshrink, ybrace-bw*cubicshrink+bw*cubiccontrolfac, xr2+bw*cubicshrink, ybrace-bw*cubicshrink);
|
|
return path;
|
|
}
|
|
|
|
|
|
QPainterPath makeArrow(double x, double y, double width, double arrowW, bool left=false, bool right=true) {
|
|
double x1=x;
|
|
double x2=x+width;
|
|
double x3=x2-arrowW/2.0;
|
|
double y3u=y-arrowW/2.0;
|
|
double y3d=y+arrowW/2.0;
|
|
double x3l=x+arrowW/2.0;
|
|
|
|
QPainterPath path;
|
|
path.moveTo(x1, y);
|
|
path.lineTo(x2, y);
|
|
if (right) {
|
|
path.moveTo(x3, y3u);
|
|
path.lineTo(x2, y);
|
|
path.lineTo(x3, y3d);
|
|
}
|
|
if (left) {
|
|
path.moveTo(x3l, y3u);
|
|
path.lineTo(x1, y);
|
|
path.lineTo(x3l, y3d);
|
|
}
|
|
return path;
|
|
}
|
|
|
|
|
|
QPainterPath makeDArrow(double x, double y, double width, double arrowW, bool left=false, bool right=true) {
|
|
double x1=x;
|
|
double x2=x+width;
|
|
double dx=arrowW/4.0;
|
|
double y1=y-dx;
|
|
double y2=y+dx;
|
|
double x3=x2-arrowW/2.0;
|
|
double y3u=y-arrowW/2.0;
|
|
double y3d=y+arrowW/2.0;
|
|
double x3l=x+arrowW/2.0;
|
|
|
|
QPainterPath path;
|
|
path.moveTo(x1+dx, y1);
|
|
path.lineTo(x2-dx, y1);
|
|
path.moveTo(x1+dx, y2);
|
|
path.lineTo(x2-dx, y2);
|
|
if (right) {
|
|
path.moveTo(x3, y3u);
|
|
path.lineTo(x2, y);
|
|
path.lineTo(x3, y3d);
|
|
}
|
|
if (left) {
|
|
path.moveTo(x3l, y3u);
|
|
path.lineTo(x1, y);
|
|
path.lineTo(x3l, y3d);
|
|
}
|
|
return path;
|
|
}
|
|
|
|
|
|
|
|
// --------------------------------------------------------------------------------------------------
|
|
// -- implementation of the MTnode's methods
|
|
// --------------------------------------------------------------------------------------------------
|
|
|
|
JKQTmathText::MTenvironment::MTenvironment() {
|
|
color=QColor("black");
|
|
font=MTEroman;
|
|
fontSize=10;
|
|
bold=false;
|
|
italic=false;
|
|
smallCaps=false;
|
|
underlined=false;
|
|
overline=false;
|
|
strike=false;
|
|
insideMath=false;
|
|
}
|
|
|
|
QFont JKQTmathText::MTenvironment::getFont(JKQTmathText* parent) const {
|
|
QFont f;
|
|
switch (font) {
|
|
case MTEsans:
|
|
if (insideMath) f.setFamily(parent->get_fontMathSans());
|
|
else f.setFamily(parent->get_fontSans());
|
|
break;
|
|
case MTEtypewriter: f.setFamily(parent->get_fontTypewriter()); break;
|
|
case MTEscript: f.setFamily(parent->get_fontScript()); break;
|
|
case MTEroman:
|
|
if (insideMath) f.setFamily(parent->get_fontMathRoman());
|
|
else f.setFamily(parent->get_fontRoman());
|
|
break;
|
|
case MTEcaligraphic: f.setFamily(parent->get_fontCaligraphic()); break;
|
|
case MTEblackboard: f.setFamily(parent->get_fontBlackboard()); break;
|
|
};
|
|
f.setBold(bold);
|
|
f.setItalic(italic);
|
|
f.setUnderline(underlined);
|
|
f.setOverline(overline);
|
|
f.setStrikeOut(strike);
|
|
f.setCapitalization(QFont::MixedCase);
|
|
if (smallCaps) f.setCapitalization(QFont::SmallCaps);
|
|
f.setPointSizeF(fontSize);
|
|
f.setStyleStrategy(QFont::NoFontMerging);
|
|
return f;
|
|
}
|
|
|
|
QString JKQTmathText::MTenvironment::toHtmlStart(MTenvironment defaultEv) const {
|
|
QString s;
|
|
s=s+"font-size: "+QLocale::c().toString(fontSize)+"pt; ";
|
|
if (insideMath) {
|
|
if (defaultEv.italic) {
|
|
if (!italic) s=s+"font-style: italic; ";
|
|
if (italic) s=s+"font-style: normal; ";
|
|
} else {
|
|
if (!italic) s=s+"font-style: italic; ";
|
|
}
|
|
} else {
|
|
if (!defaultEv.italic && italic) s=s+"font-style: italic; ";
|
|
}
|
|
if (bold && !defaultEv.bold) s=s+"font-weight: bold";
|
|
|
|
QStringList td;
|
|
if (underlined && !defaultEv.underlined) td<<"underline";
|
|
if (overline && !defaultEv.overline) td<<"overline";
|
|
if (strike && !defaultEv.strike) td<<"line-through";
|
|
if (td.size()>0) s=s+"text-decoration: "+td.join(", ");
|
|
return "<span style=\""+s+"\">";
|
|
}
|
|
|
|
QString JKQTmathText::MTenvironment::toHtmlAfter(JKQTmathText::MTenvironment /*defaultEv*/) const {
|
|
return "</span>";
|
|
}
|
|
|
|
JKQTmathText::MTnode::MTnode(JKQTmathText* parent) {
|
|
this->parent=parent;
|
|
drawBoxes=false;
|
|
}
|
|
|
|
void JKQTmathText::MTnode::getSize(QPainter &painter, JKQTmathText::MTenvironment currentEv, double &width, double &baselineHeight, double &overallHeight, double &strikeoutPos)
|
|
{
|
|
double w=width, b=baselineHeight, o=overallHeight, s=strikeoutPos;
|
|
getSizeInternal(painter, currentEv, w, b, o, s);
|
|
|
|
if (w<1e5) width=w;
|
|
if (b<1e5) baselineHeight=b;
|
|
if (o<1e5) overallHeight=o;
|
|
if (s<1e5) strikeoutPos=s;
|
|
}
|
|
|
|
bool JKQTmathText::MTnode::toHtml(QString &/*html*/, JKQTmathText::MTenvironment /*currentEv*/, JKQTmathText::MTenvironment /*defaultEv*/) {
|
|
return false;
|
|
}
|
|
|
|
|
|
void JKQTmathText::MTnode::doDrawBoxes(QPainter& painter, double x, double y, JKQTmathText::MTenvironment currentEv) {
|
|
if (drawBoxes) {
|
|
painter.save();
|
|
double w, oh, bh, sp;
|
|
getSize(painter, currentEv, w, bh, oh, sp);
|
|
QPen p=painter.pen();
|
|
p.setColor("lightcoral");
|
|
p.setWidthF(0.5);
|
|
painter.setPen(p);
|
|
QRectF r(x, y-bh, w, oh);
|
|
painter.drawRect(r);
|
|
p.setColor("lightblue");
|
|
painter.setPen(p);
|
|
if (w>0) painter.drawLine(QLineF(x, y, x+w, y));
|
|
p.setColor("green");
|
|
painter.setPen(p);
|
|
painter.drawEllipse(x-3.0,y-3.0,6.0,6.0);
|
|
p.setColor("lightgreen");
|
|
painter.setPen(p);
|
|
painter.drawLine(x-2.0, y, x+2.0, y);
|
|
painter.drawLine(x, y-2, x, y+2.0);
|
|
painter.restore();
|
|
}
|
|
}
|
|
|
|
|
|
JKQTmathText::MTtextNode::MTtextNode(JKQTmathText* parent, QString textIn, bool addWhitespace, bool stripInnerWhitepace):
|
|
JKQTmathText::MTnode(parent)
|
|
{
|
|
QString text=textIn;
|
|
|
|
if (stripInnerWhitepace) {
|
|
text="";
|
|
for (int i=0; i<textIn.size(); i++) {
|
|
if (!textIn[i].isSpace()) text+=textIn[i];
|
|
}
|
|
}
|
|
|
|
this->text=text;
|
|
// strip all whitespace from left
|
|
while (this->text.size()>1 && this->text[0].isSpace()) {
|
|
this->text=this->text.right(this->text.size()-1);
|
|
}
|
|
if (addWhitespace /*&& (this->text.size()>0)*/ && (!this->text[this->text.size()-1].isSpace())) this->text=this->text+" ";
|
|
//qDebug()<<"MTtextNode( text="<<text<<" addWhitespace="<<addWhitespace<<") [=> this->text="<<this->text<<"]";
|
|
}
|
|
|
|
JKQTmathText::MTtextNode::~MTtextNode() {
|
|
}
|
|
|
|
void JKQTmathText::MTtextNode::getSizeInternal(QPainter& painter, JKQTmathText::MTenvironment currentEv, double& width, double& baselineHeight, double& overallHeight, double& strikeoutPos) {
|
|
QFont f=currentEv.getFont(parent);
|
|
if (currentEv.insideMath && (text=="(" || text=="[" || text=="|" || text=="]" || text==")" || text=="<" || text==">" ||
|
|
text==QString(QChar(0x2329)) || text==QString(QChar(0x232A)) || text==QString(QChar(0x2308)) ||
|
|
text==QString(QChar(0x2309)) || text==QString(QChar(0x230A)) || text==QString(QChar(0x230B)))) {
|
|
f.setItalic(false);
|
|
f.setFamily(parent->get_fontBraces());
|
|
}
|
|
QString txt=textTransform(text, currentEv, true);
|
|
QFontMetricsF fm(f, painter.device());
|
|
QRectF br=fm.boundingRect(txt);
|
|
QRectF tbr=parent->getTBR(f, txt, painter.device()); //fm.tightBoundingRect(txt);
|
|
if (txt=="|") {
|
|
br=fm.boundingRect("X");
|
|
tbr=QRect(0,0,fm.width("X"), fm.ascent());//fm.boundingRect("X");
|
|
br.setWidth(0.7*br.width());
|
|
}
|
|
width=br.width();//width(text);
|
|
|
|
if (txt.size()>0) {
|
|
if (txt[0].isSpace() /*&& br.width()<=0*/) width=width+fm.boundingRect("I").width();
|
|
if (txt.size()>1 && txt[txt.size()-1].isSpace() /*&& (fm.boundingRect("a ").width()==fm.boundingRect("a").width())*/) width=width+fm.width("I");
|
|
}
|
|
|
|
//qDebug()<<"text: "<<text<<" "<<tbr.height()<<tbr.top()<<tbr.bottom();
|
|
overallHeight=tbr.height()*1.1; //fm.height();
|
|
baselineHeight=1.1*(tbr.height()-(tbr.height()+tbr.top()));//fm.ascent();
|
|
strikeoutPos=fm.strikeOutPos()*1.1;
|
|
}
|
|
|
|
double JKQTmathText::MTtextNode::draw(QPainter& painter, double x, double y, JKQTmathText::MTenvironment currentEv) {
|
|
doDrawBoxes(painter, x, y, currentEv);
|
|
double width=0;
|
|
double baselineHeight=0;
|
|
double overallHeight=0;
|
|
double sp=0;
|
|
getSize(painter, currentEv, width, baselineHeight, overallHeight, sp);
|
|
|
|
QString txt=textTransform(text, currentEv);
|
|
|
|
bool hasDigits=false;
|
|
bool onlyDigits=true;
|
|
for (int i=0; i<txt.size(); i++) {
|
|
if (txt[i].isDigit()) {
|
|
hasDigits=true;
|
|
}
|
|
if (!txt[i].isDigit() && !txt[i].isSpace()) {
|
|
onlyDigits=false;
|
|
}
|
|
}
|
|
|
|
|
|
QPen pold=painter.pen();
|
|
QFont fold=painter.font();
|
|
QFont f=currentEv.getFont(parent);
|
|
if (currentEv.insideMath && (text=="(" || text=="[" || text=="|" || text=="]" || text==")" || text=="<" || text==">" ||
|
|
text==QString(QChar(0x2329)) || text==QString(QChar(0x232A)) || text==QString(QChar(0x2308)) ||
|
|
text==QString(QChar(0x2309)) || text==QString(QChar(0x230A)) || text==QString(QChar(0x230B)))) {
|
|
f.setItalic(false);
|
|
f.setFamily(parent->get_fontBraces());
|
|
}
|
|
|
|
|
|
if (onlyDigits && currentEv.insideMath) {
|
|
f.setItalic(false);
|
|
}
|
|
|
|
painter.setFont(f);
|
|
|
|
QPen p=painter.pen();
|
|
p.setColor(currentEv.color);
|
|
painter.setPen(p);
|
|
double dx=0;
|
|
QFontMetricsF fm(f, painter.device());
|
|
/*if (txt.size()>1 && txt[txt.size()-1].isSpace()) {
|
|
QFontMetricsF fm(f, painter.device());
|
|
//if ((fm.width("a ")==fm.width("a"))) dx=fm.boundingRect("I").width();
|
|
}*/
|
|
|
|
if (!hasDigits || !f.italic()) {
|
|
painter.drawText(QPointF(x+dx, y), txt);//.simplified());
|
|
} else {
|
|
int i=0;
|
|
double xx=x+dx;
|
|
QFont ff=f;
|
|
QFontMetricsF fmff(ff, painter.device());
|
|
ff.setItalic(false);
|
|
while (i<txt.size()) {
|
|
if (txt[i].isDigit()) {
|
|
painter.setFont(ff);
|
|
painter.drawText(QPointF(xx, y), QString(txt[i]));
|
|
xx=xx+fmff.width(txt[i]);
|
|
} else {
|
|
painter.setFont(f);
|
|
painter.drawText(QPointF(xx, y), QString(txt[i]));
|
|
xx=xx+fm.width(txt[i]);
|
|
}
|
|
i++;
|
|
}
|
|
}
|
|
painter.setPen(pold);
|
|
painter.setFont(fold);
|
|
|
|
return x+width;
|
|
}
|
|
|
|
bool JKQTmathText::MTtextNode::toHtml(QString &html, JKQTmathText::MTenvironment currentEv, JKQTmathText::MTenvironment defaultEv) {
|
|
html=html+currentEv.toHtmlStart(defaultEv)+text+currentEv.toHtmlAfter(defaultEv);
|
|
return true;
|
|
}
|
|
|
|
QString JKQTmathText::MTtextNode::getTypeName() const
|
|
{
|
|
return QLatin1String("MTtextNode(")+text+")";
|
|
}
|
|
|
|
QString JKQTmathText::MTtextNode::textTransform(const QString &text, JKQTmathText::MTenvironment currentEv, bool /*forSize*/)
|
|
{
|
|
QString txt=text;
|
|
if (parent->get_fontEncoding()==MTFEunicode) {
|
|
if (currentEv.insideMath) {
|
|
txt="";
|
|
for (int i=0; i<text.size(); i++) {
|
|
QChar c=text[i];
|
|
switch(c.unicode()) {
|
|
case '-': txt+=QString(QString(" ")+QChar(0x2212)); break;
|
|
case '+': txt+=QString(QString(" +")); break;
|
|
case '/': txt+=QString(QString(" / ")); break;
|
|
case '<': txt+=QString(QString(" < ")); break;
|
|
case '>': txt+=QString(QString(" > ")); break;
|
|
case '=': txt+=QString(QString(" = ")); break;
|
|
case ';': txt+=QString(QString("; ")); break;
|
|
default: txt+=c; break;
|
|
}
|
|
}
|
|
txt=txt.replace(" ", " ");
|
|
}
|
|
}
|
|
if (currentEv.font==MTEblackboard && parent->get_fontEncoding()==MTFEunicode) {
|
|
txt="";
|
|
for (int i=0; i<text.size(); i++) {
|
|
QChar c=text[i];
|
|
switch(c.unicode()) {
|
|
case 'C': txt+=QChar(0x2102); break;
|
|
case 'H': txt+=QChar(0x210D); break;
|
|
case 'N': txt+=QChar(0x2115); break;
|
|
case 'P': txt+=QChar(0x2119); break;
|
|
case 'Q': txt+=QChar(0x211A); break;
|
|
case 'R': txt+=QChar(0x211D); break;
|
|
case 'Z': txt+=QChar(0x2124); break;
|
|
case 'd': txt+=QChar(0x2146); break;
|
|
case 'e': txt+=QChar(0x2147); break;
|
|
case 'i': txt+=QChar(0x2148); break;
|
|
case 'j': txt+=QChar(0x2149); break;
|
|
default: txt+=c; break;
|
|
}
|
|
|
|
}
|
|
}
|
|
if (currentEv.font==MTEcaligraphic && parent->get_fontEncoding()==MTFEunicode) {
|
|
txt="";
|
|
for (int i=0; i<text.size(); i++) {
|
|
QChar c=text[i];
|
|
switch(c.unicode()) {
|
|
case 'I': txt+=QChar(0x2110); break;
|
|
case 'g': txt+=QChar(0x210A); break;
|
|
case 'H': txt+=QChar(0x210B); break;
|
|
case 'L': txt+=QChar(0x2112); break;
|
|
case 'l': txt+=QChar(0x2113); break;
|
|
case 'p': txt+=QChar(0x2118); break;
|
|
case 'R': txt+=QChar(0x211B); break;
|
|
case 'B': txt+=QChar(0x212C); break;
|
|
case 'e': txt+=QChar(0x212F); break;
|
|
case 'E': txt+=QChar(0x2130); break;
|
|
case 'F': txt+=QChar(0x2131); break;
|
|
case 'M': txt+=QChar(0x2133); break;
|
|
case 'o': txt+=QChar(0x2134); break;
|
|
|
|
|
|
|
|
default: txt+=c; break;
|
|
}
|
|
|
|
}
|
|
}
|
|
return txt;
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
JKQTmathText::MTinstruction1Node::MTinstruction1Node(JKQTmathText* parent, QString name, MTnode* child, const QStringList& parameters):
|
|
JKQTmathText::MTnode(parent)
|
|
{
|
|
this->name=name;
|
|
this->child=child;
|
|
this->parameters=parameters;
|
|
}
|
|
|
|
JKQTmathText::MTinstruction1Node::~MTinstruction1Node() {
|
|
if (child!=nullptr) delete child;
|
|
}
|
|
|
|
QString JKQTmathText::MTinstruction1Node::getTypeName() const
|
|
{
|
|
return QLatin1String("MTinstruction1Node(")+name+")";
|
|
}
|
|
|
|
void JKQTmathText::MTinstruction1Node::getSizeInternal(QPainter& painter, JKQTmathText::MTenvironment currentEv, double& width, double& baselineHeight, double& overallHeight, double& strikeoutPos) {
|
|
JKQTmathText::MTenvironment ev=currentEv;
|
|
if (name=="bf" || name=="textbf" || name=="mathbf") ev.bold=true;
|
|
else if (name=="em") ev.italic=!ev.italic;
|
|
else if (name=="it" || name=="textit" || name=="mathit") ev.italic=true;
|
|
else if (name=="textcolor" || name=="mathcolor" || name=="color") ev.color=QColor(parameters.value(0, ev.color.name()));
|
|
else if (name=="equation") { ev.italic=true; ev.insideMath=true; }
|
|
else if (name=="sc" || name=="textsc" || name=="mathsc") ev.smallCaps=true;
|
|
else if (name=="ul" || name=="underline" || name=="underlined") ev.underlined=true;
|
|
else if (name=="ol" || name=="overline" || name=="overlined") ev.overline=true;
|
|
else if (name=="strike") ev.strike=true;
|
|
else if (name=="rm" || name=="textrm") { ev.font=JKQTmathText::MTEroman; }
|
|
else if (name=="mathrm" || name=="text" || name=="mbox" || name=="operatorname") { ev.font=JKQTmathText::MTEroman; ev.italic=false; }
|
|
else if (name=="mat") { ev.font=JKQTmathText::MTEroman; ev.italic=false; ev.bold=true; }
|
|
else if (name=="cal" || name=="textcal" || name=="mathcal") { ev.font=JKQTmathText::MTEcaligraphic; }
|
|
else if (name=="bb" || name=="textbb" || name=="mathbb") { ev.font=JKQTmathText::MTEblackboard; }
|
|
else if (name=="tt" || name=="texttt" || name=="mathtt") { ev.font=JKQTmathText::MTEtypewriter; }
|
|
else if (name=="sf" || name=="textsf" || name=="mathsf") { ev.font=JKQTmathText::MTEsans; }
|
|
else if (name=="script" || name=="textscript" || name=="mathscript") { ev.font=JKQTmathText::MTEscript; }
|
|
else if (name=="displaystyle") { ev.fontSize=ev.fontSize/0.8; }
|
|
else if (name=="scriptstyle") { ev.fontSize=ev.fontSize*0.8; }
|
|
else if (name=="scriptscriptstyle") { ev.fontSize=ev.fontSize*0.8*0.8; }
|
|
|
|
child->getSize(painter, ev, width, baselineHeight, overallHeight, strikeoutPos);
|
|
if (name=="colorbox" || name=="fbox" || name=="boxed") {
|
|
QFontMetricsF fm(ev.getFont(parent));
|
|
double xw=fm.width("x");
|
|
width+=xw;
|
|
overallHeight+=xw;
|
|
baselineHeight+=xw/2.0;
|
|
}
|
|
}
|
|
|
|
double JKQTmathText::MTinstruction1Node::draw(QPainter& painter, double x, double y, JKQTmathText::MTenvironment currentEv) {
|
|
doDrawBoxes(painter, x, y, currentEv);
|
|
JKQTmathText::MTenvironment ev=currentEv;
|
|
if (name=="bf" || name=="textbf" || name=="mathbf") ev.bold=true;
|
|
else if (name=="em") ev.italic=!ev.italic;
|
|
else if (name=="it" || name=="textit" || name=="mathit") ev.italic=true;
|
|
else if (name=="textcolor" || name=="mathcolor" || name=="color") ev.color=QColor(parameters.value(0, ev.color.name()));
|
|
else if (name=="equation") { ev.italic=true; ev.insideMath=true; }
|
|
else if (name=="sc" || name=="textsc" || name=="mathsc") ev.smallCaps=true;
|
|
else if (name=="ul" || name=="underline" || name=="underlined") ev.underlined=true;
|
|
else if (name=="ol" || name=="overline" || name=="overlined") ev.overline=true;
|
|
else if (name=="strike") ev.strike=true;
|
|
else if (name=="rm" || name=="textrm") { ev.font=JKQTmathText::MTEroman; }
|
|
else if (name=="mathrm" || name=="text" || name=="mbox" || name=="operatorname") { ev.font=JKQTmathText::MTEroman; ev.italic=false; }
|
|
else if (name=="mat") { ev.font=JKQTmathText::MTEroman; ev.italic=false; ev.bold=true; }
|
|
else if (name=="cal" || name=="textcal" || name=="mathcal") { ev.font=JKQTmathText::MTEcaligraphic; }
|
|
else if (name=="bb" || name=="textbb" || name=="mathbb") { ev.font=JKQTmathText::MTEblackboard; }
|
|
else if (name=="tt" || name=="texttt" || name=="mathtt") { ev.font=JKQTmathText::MTEtypewriter; }
|
|
else if (name=="sf" || name=="textsf" || name=="mathsf") { ev.font=JKQTmathText::MTEsans; }
|
|
else if (name=="script" || name=="textscript" || name=="mathscript") { ev.font=JKQTmathText::MTEscript; }
|
|
else if (name=="displaystyle") { ev.fontSize=ev.fontSize/0.8; }
|
|
else if (name=="scriptstyle") { ev.fontSize=ev.fontSize*0.8; }
|
|
else if (name=="scriptscriptstyle") { ev.fontSize=ev.fontSize*0.8*0.8; }
|
|
|
|
QPen oldPen=painter.pen();
|
|
double shiftX=0;
|
|
if (name=="colorbox" || name=="fbox" || name=="boxed") {
|
|
QColor fcol=currentEv.color;
|
|
if (name=="colorbox") fcol=QColor(parameters.value(0, ev.color.name()));
|
|
//qDebug()<<"COLOR="<<fcol;
|
|
double width, baselineHeight, overallHeight, strikeoutPos;
|
|
child->getSize(painter, currentEv, width, baselineHeight, overallHeight, strikeoutPos);
|
|
QPen p=painter.pen();
|
|
QFontMetricsF fm(currentEv.getFont(parent));
|
|
double xw=fm.width("x");
|
|
p.setColor(fcol);
|
|
painter.setPen(p);
|
|
painter.drawRect(x,y-baselineHeight-xw/2,width+xw,overallHeight+xw);
|
|
shiftX=xw/2.0;
|
|
}
|
|
|
|
double xnew= child->draw(painter, x+shiftX, y, ev);
|
|
painter.setPen(oldPen);
|
|
return xnew;
|
|
}
|
|
|
|
bool JKQTmathText::MTinstruction1Node::toHtml(QString &html, JKQTmathText::MTenvironment currentEv, JKQTmathText::MTenvironment defaultEv) {
|
|
JKQTmathText::MTenvironment ev=currentEv;
|
|
if (name=="bf" || name=="textbf" || name=="mathbf") ev.bold=true;
|
|
else if (name=="em") ev.italic=!ev.italic;
|
|
else if (name=="it" || name=="textit" || name=="mathit") ev.italic=true;
|
|
else if (name=="textcolor" || name=="mathcolor" || name=="color") ev.color=QColor(parameters.value(0, ev.color.name()));
|
|
else if (name=="equation") { ev.italic=true; ev.insideMath=true; }
|
|
else if (name=="sc" || name=="textsc" || name=="mathsc") ev.smallCaps=true;
|
|
else if (name=="ul" || name=="underline" || name=="underlined") ev.underlined=true;
|
|
else if (name=="ol" || name=="overline" || name=="overlined") ev.overline=true;
|
|
else if (name=="strike") ev.strike=true;
|
|
else if (name=="rm" || name=="textrm") { ev.font=JKQTmathText::MTEroman; }
|
|
else if (name=="mathrm" || name=="text" || name=="mbox" || name=="operatorname") { ev.font=JKQTmathText::MTEroman; ev.italic=false; }
|
|
else if (name=="mat") { ev.font=JKQTmathText::MTEroman; ev.italic=false; ev.bold=true; }
|
|
else if (name=="cal" || name=="textcal" || name=="mathcal") { ev.font=JKQTmathText::MTEcaligraphic; }
|
|
else if (name=="bb" || name=="textbb" || name=="mathbb") { ev.font=JKQTmathText::MTEblackboard; }
|
|
else if (name=="tt" || name=="texttt" || name=="mathtt") { ev.font=JKQTmathText::MTEtypewriter; }
|
|
else if (name=="sf" || name=="textsf" || name=="mathsf") { ev.font=JKQTmathText::MTEsans; }
|
|
else if (name=="script" || name=="textscript" || name=="mathscript") { ev.font=JKQTmathText::MTEscript; }
|
|
else if (name=="displaystyle") { ev.fontSize=ev.fontSize/0.8; }
|
|
else if (name=="scriptstyle") { ev.fontSize=ev.fontSize*0.8; }
|
|
else if (name=="scriptscriptstyle") { ev.fontSize=ev.fontSize*0.8*0.8; }
|
|
|
|
return child->toHtml(html, ev, defaultEv);
|
|
}
|
|
|
|
void JKQTmathText::MTinstruction1Node::set_drawBoxes(bool draw)
|
|
{
|
|
drawBoxes=draw;
|
|
child->set_drawBoxes(draw);
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
JKQTmathText::MTsubscriptNode::MTsubscriptNode(JKQTmathText* parent, MTnode* child):
|
|
JKQTmathText::MTnode(parent)
|
|
{
|
|
this->child=child;
|
|
}
|
|
|
|
JKQTmathText::MTsubscriptNode::~MTsubscriptNode() {
|
|
if (child!=nullptr) delete child;
|
|
}
|
|
|
|
void JKQTmathText::MTsubscriptNode::getSizeInternal(QPainter& painter, JKQTmathText::MTenvironment currentEv, double& width, double& baselineHeight, double& overallHeight, double& strikeoutPos) {
|
|
JKQTmathText::MTenvironment ev=currentEv;
|
|
ev.fontSize=ev.fontSize*parent->get_subsuper_size_factor();
|
|
|
|
QFontMetricsF fm(ev.getFont(parent), painter.device());
|
|
double shift=parent->get_sub_shift_factor()*parent->getTBR(ev.getFont(parent), "M", painter.device()).height();
|
|
|
|
child->getSize(painter, ev, width, baselineHeight, overallHeight, strikeoutPos);
|
|
|
|
QFontMetricsF fmouter(currentEv.getFont(parent), painter.device());
|
|
QRectF tbr=parent->getTBR(currentEv.getFont(parent), "M", painter.device());
|
|
overallHeight=tbr.height()+shift+(overallHeight-baselineHeight);
|
|
baselineHeight=tbr.height();
|
|
strikeoutPos=fmouter.strikeOutPos();
|
|
if (currentEv.italic) width=width-double(fm.width(' '))*parent->get_italic_correction_factor();
|
|
}
|
|
|
|
double JKQTmathText::MTsubscriptNode::draw(QPainter& painter, double x, double y, JKQTmathText::MTenvironment currentEv) {
|
|
doDrawBoxes(painter, x, y, currentEv);
|
|
JKQTmathText::MTenvironment ev=currentEv;
|
|
ev.fontSize=ev.fontSize*parent->get_subsuper_size_factor();
|
|
|
|
QFontMetricsF fm(ev.getFont(parent), painter.device());
|
|
|
|
double shift=parent->get_sub_shift_factor()*parent->getTBR(ev.getFont(parent), "M", painter.device()).height();
|
|
double xx=x;
|
|
if (currentEv.italic) xx=xx-double(fm.width(' '))*parent->get_italic_correction_factor();
|
|
return child->draw(painter, xx, y+shift, ev);//+0.5*fm.boundingRect("A").width();
|
|
}
|
|
|
|
bool JKQTmathText::MTsubscriptNode::isSubOrSuper()
|
|
{
|
|
return true;
|
|
}
|
|
|
|
QString JKQTmathText::MTsubscriptNode::getTypeName() const
|
|
{
|
|
return "MTsubscriptNode";
|
|
}
|
|
|
|
|
|
bool JKQTmathText::MTsubscriptNode::toHtml(QString &html, JKQTmathText::MTenvironment currentEv, JKQTmathText::MTenvironment defaultEv) {
|
|
html=html+"<sub>";
|
|
bool ok=child->toHtml(html, currentEv, defaultEv);
|
|
html=html+"</sub>";
|
|
return ok;
|
|
}
|
|
|
|
void JKQTmathText::MTsubscriptNode::set_drawBoxes(bool draw)
|
|
{
|
|
this->drawBoxes=draw;
|
|
child->set_drawBoxes(draw);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
JKQTmathText::MTsqrtNode::MTsqrtNode(JKQTmathText* parent, MTnode* child, int degree):
|
|
JKQTmathText::MTnode(parent)
|
|
{
|
|
this->child=child;
|
|
this->degree=degree;
|
|
}
|
|
|
|
JKQTmathText::MTsqrtNode::~MTsqrtNode() {
|
|
if (child!=nullptr) delete child;
|
|
}
|
|
|
|
void JKQTmathText::MTsqrtNode::getSizeInternal(QPainter& painter, JKQTmathText::MTenvironment currentEv, double& width, double& baselineHeight, double& overallHeight, double& strikeoutPos) {
|
|
QFontMetricsF fm(currentEv.getFont(parent), painter.device());
|
|
|
|
child->getSize(painter, currentEv, width, baselineHeight, overallHeight, strikeoutPos);
|
|
|
|
overallHeight=overallHeight*1.2;//+fm.ascent()*0.1;
|
|
baselineHeight=baselineHeight*1.2;//+fm.ascent()*0.1;
|
|
width=width+fm.boundingRect("A").width()*2; // 1.53
|
|
}
|
|
|
|
double JKQTmathText::MTsqrtNode::draw(QPainter& painter, double x, double y, JKQTmathText::MTenvironment currentEv) {
|
|
doDrawBoxes(painter, x, y, currentEv);
|
|
double width=0, baselineHeight=0, overallHeight=0, sp=0;
|
|
child->getSize(painter, currentEv, width, baselineHeight, overallHeight, sp);
|
|
QFont f=currentEv.getFont(parent);
|
|
QFont fsmall=f;
|
|
QFontMetricsF fm(f, painter.device());
|
|
double w=fm.boundingRect("A").width();
|
|
double a=baselineHeight*1.15;
|
|
double d=overallHeight-baselineHeight;
|
|
//painter.save();
|
|
QPen p=painter.pen();
|
|
p.setColor(currentEv.color);
|
|
p.setWidthF(qMax(JKQTMATHTEXT_ABS_MIN_LINEWIDTH,ceil(currentEv.fontSize/16.0)));
|
|
//painter.setPen(p);
|
|
QPainterPath path;
|
|
if (w>0) {
|
|
path.moveTo(x+0.1*w, y-0.4*a);
|
|
path.lineTo(x+0.33*w, y-0.4*a);
|
|
path.lineTo( x+0.66*w, y+0.5*d);
|
|
path.lineTo(x+w, y-a);
|
|
}
|
|
if (degree!=2) {
|
|
fsmall.setPointSizeF(fsmall.pointSizeF()/2.0);
|
|
fsmall.setItalic(false);
|
|
painter.setFont(fsmall);
|
|
painter.drawText(QPointF(x+0.33*w, y-0.55*a), QLocale::c().toString(degree));
|
|
}
|
|
//painter.restore();
|
|
double xnew=child->draw(painter, x+1.2*w, y, currentEv);
|
|
painter.save();
|
|
painter.setPen(p);
|
|
if (w>0) {
|
|
path.lineTo( xnew+0.2*w, y-a);
|
|
path.lineTo(xnew+0.2*w, y-0.8*a);
|
|
painter.drawPath(path);
|
|
}
|
|
painter.restore();
|
|
return xnew+0.33*w;
|
|
}
|
|
|
|
bool JKQTmathText::MTsqrtNode::toHtml(QString &html, JKQTmathText::MTenvironment currentEv, JKQTmathText::MTenvironment defaultEv) {
|
|
html=html+"√<span style=\"text-decoration:overline\">";
|
|
bool ok=child->toHtml(html, currentEv, defaultEv);
|
|
html=html+" </span>";
|
|
return ok;
|
|
}
|
|
|
|
void JKQTmathText::MTsqrtNode::set_drawBoxes(bool draw)
|
|
{
|
|
this->drawBoxes=draw;
|
|
child->set_drawBoxes(draw);
|
|
|
|
}
|
|
|
|
QString JKQTmathText::MTsqrtNode::getTypeName() const
|
|
{
|
|
return "MTsqrtNode";
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
JKQTmathText::MTfracNode::MTfracNode(JKQTmathText* parent, MTnode* child_top, MTnode* child_bottom, MTfracMode mode):
|
|
JKQTmathText::MTnode(parent)
|
|
{
|
|
this->child1=child_top;
|
|
this->child2=child_bottom;
|
|
this->mode=mode;
|
|
}
|
|
|
|
JKQTmathText::MTfracNode::~MTfracNode() {
|
|
if (child1!=nullptr) delete child1;
|
|
if (child2!=nullptr) delete child2;
|
|
}
|
|
|
|
QString JKQTmathText::MTfracNode::getTypeName() const
|
|
{
|
|
return "MTfracNode";
|
|
}
|
|
|
|
void JKQTmathText::MTfracNode::getSizeInternal(QPainter& painter, JKQTmathText::MTenvironment currentEv, double& width, double& baselineHeight, double& overallHeight, double& strikeoutPos) {
|
|
QFontMetricsF fm(currentEv.getFont(parent), painter.device());
|
|
JKQTmathText::MTenvironment ev1=currentEv;
|
|
JKQTmathText::MTenvironment ev2=currentEv;
|
|
|
|
double xh=fm.xHeight(); //tightBoundingRect("x").height();
|
|
double sp=xh;
|
|
double Ah=parent->getTBR(currentEv.getFont(parent), "M", painter.device()).height();//fm.ascent();
|
|
double xw=fm.boundingRect("x").width();
|
|
|
|
if (mode==MTFMunderbrace || mode==MTFMoverbrace) {
|
|
ev2.fontSize=ev2.fontSize*parent->get_underbrace_factor();
|
|
} else if (mode==MTFMunderset || mode==MTFMoverset) {
|
|
ev2.fontSize=ev2.fontSize*parent->get_underset_factor();
|
|
} else if (mode==MTFMfrac) {
|
|
ev1.fontSize=ev1.fontSize*parent->get_frac_factor();
|
|
ev2.fontSize=ev2.fontSize*parent->get_frac_factor();
|
|
} else if (mode==MTFMtfrac) {
|
|
ev1.fontSize=ev1.fontSize*parent->get_frac_factor()*0.7;
|
|
ev2.fontSize=ev2.fontSize*parent->get_frac_factor()*0.7;
|
|
}
|
|
|
|
|
|
double width1=0, baselineHeight1=0, overallHeight1=0, strikeoutPos1=0;
|
|
double width2=0, baselineHeight2=0, overallHeight2=0, strikeoutPos2=0;
|
|
child1->getSize(painter, ev1, width1, baselineHeight1, overallHeight1, strikeoutPos1);
|
|
child2->getSize(painter, ev2, width2, baselineHeight2, overallHeight2, strikeoutPos2);
|
|
|
|
overallHeight=0;
|
|
baselineHeight=0;
|
|
width=0;
|
|
if (mode==MTFMfrac || mode==MTFMdfrac || mode==MTFMtfrac) {
|
|
//std::cout<<"\nxh="<<xh;
|
|
//std::cout<<"\n baselineHeight1="<<baselineHeight1<<", overallHeight1="<<overallHeight1;
|
|
//std::cout<<"\n baselineHeight2="<<baselineHeight2<<", overallHeight2="<<overallHeight2<<std::endl;
|
|
//overallHeight=overallHeight1+overallHeight2+sp*(2.0*parent->get_frac_shift_factor());
|
|
//baselineHeight=overallHeight1+xh*(2.0*parent->get_frac_shift_factor());
|
|
overallHeight=2.0*qMax(overallHeight1, overallHeight2)+sp*(2.0*parent->get_frac_shift_factor());
|
|
baselineHeight=qMax(overallHeight1, overallHeight2)+xh*(2.0*parent->get_frac_shift_factor());
|
|
//std::cout<<"=> baselineHeight="<<baselineHeight<<", overallHeight="<<overallHeight<<std::endl;
|
|
width=qMax(width1, width2)+ xw;
|
|
strikeoutPos=sp;
|
|
} else if (mode==MTFMstackrel) {
|
|
//overallHeight=overallHeight1+overallHeight2+sp*(2.0*parent->get_frac_shift_factor());
|
|
//baselineHeight=overallHeight1+xh*(2.0*parent->get_frac_shift_factor());
|
|
overallHeight=2.0*qMax(overallHeight1, overallHeight2)+sp*(2.0*parent->get_frac_shift_factor());
|
|
baselineHeight=qMax(overallHeight1, overallHeight2)+xh*(2.0*parent->get_frac_shift_factor());
|
|
width=qMax(width1, width2)+ xw;
|
|
strikeoutPos=sp;
|
|
} else if (mode==MTFMunderbrace) {
|
|
overallHeight=overallHeight1+overallHeight2+Ah/2.0;
|
|
baselineHeight=baselineHeight1;
|
|
width=qMax(width1, width2)+xw;
|
|
strikeoutPos=sp;
|
|
} else if (mode==MTFMoverbrace) {
|
|
overallHeight=overallHeight1+overallHeight2+Ah/2.0;
|
|
baselineHeight=baselineHeight1+overallHeight2+Ah/2.0;
|
|
width=qMax(width1, width2)+xw;
|
|
strikeoutPos=sp;
|
|
} else if (mode==MTFMunderset) {
|
|
overallHeight=overallHeight1+overallHeight2+xh/6.0;
|
|
baselineHeight=baselineHeight1;
|
|
width=qMax(width1, width2)+xw;
|
|
strikeoutPos=sp;
|
|
} else if (mode==MTFMoverset) {
|
|
overallHeight=overallHeight1+overallHeight2+xh/6.0;
|
|
baselineHeight=baselineHeight1+overallHeight2+xh/6.0;
|
|
width=qMax(width1, width2)+xw;
|
|
strikeoutPos=sp;
|
|
}
|
|
}
|
|
|
|
double JKQTmathText::MTfracNode::draw(QPainter& painter, double x, double y, JKQTmathText::MTenvironment currentEv) {
|
|
doDrawBoxes(painter, x, y, currentEv);
|
|
QFont f=currentEv.getFont(parent);
|
|
QFontMetricsF fm(f, painter.device());
|
|
JKQTmathText::MTenvironment ev1=currentEv;
|
|
JKQTmathText::MTenvironment ev2=currentEv;
|
|
|
|
|
|
double xh=parent->getTBR(f, "x", painter.device()).height(); //fm.xHeight();
|
|
double xw=fm.boundingRect("x").width();
|
|
double lw=qMax(0.0,ceil(currentEv.fontSize/16.0));//fm.lineWidth();
|
|
double Ah=parent->getTBR(f, "M", painter.device()).height();//fm.ascent();
|
|
double bw=Ah/2.0;
|
|
|
|
if (mode==MTFMunderbrace || mode==MTFMoverbrace) {
|
|
ev2.fontSize=ev2.fontSize*parent->get_underbrace_factor();
|
|
} else if (mode==MTFMunderset || mode==MTFMoverset) {
|
|
ev2.fontSize=ev2.fontSize*parent->get_underset_factor();
|
|
} else if (mode==MTFMfrac) {
|
|
ev1.fontSize=ev1.fontSize*parent->get_frac_factor();
|
|
ev2.fontSize=ev2.fontSize*parent->get_frac_factor();
|
|
} else if (mode==MTFMtfrac) {
|
|
ev1.fontSize=ev1.fontSize*parent->get_frac_factor()*0.7;
|
|
ev2.fontSize=ev2.fontSize*parent->get_frac_factor()*0.7;
|
|
}
|
|
|
|
double width1=0, baselineHeight1=0, overallHeight1=0;//, strikeoutPos1=0;
|
|
double width2=0, baselineHeight2=0, overallHeight2=0, strikeoutPos=0;
|
|
child1->getSize(painter, ev1, width1, baselineHeight1, overallHeight1, strikeoutPos);
|
|
child2->getSize(painter, ev2, width2, baselineHeight2, overallHeight2, strikeoutPos);
|
|
double ascent1=baselineHeight1;
|
|
double descent1=overallHeight1-baselineHeight1;
|
|
double ascent2=baselineHeight2;
|
|
double descent2=overallHeight2-baselineHeight2;
|
|
|
|
double yline=y-xh*0.5;
|
|
|
|
|
|
//double overallHeight=overallHeight1+overallHeight2+xh;
|
|
//double baselineHeight=3.0*xh/2.0+overallHeight1;
|
|
double width=qMax(width1, width2);
|
|
|
|
QPen p=painter.pen();
|
|
p.setColor(ev1.color);
|
|
p.setStyle(Qt::SolidLine);
|
|
p.setWidthF(qMax(JKQTMATHTEXT_ABS_MIN_LINEWIDTH, lw));
|
|
painter.save();
|
|
painter.setPen(p);
|
|
if (mode==MTFMfrac || mode==MTFMdfrac || mode==MTFMtfrac) {
|
|
QLineF l(x+xw/4.0, yline, x+width+xw/2.0, yline);
|
|
if (l.length()>0) painter.drawLine(l);
|
|
child1->draw(painter, x+xw/2.0+(width-width1)/2.0, yline-xh*(parent->get_frac_shift_factor())-descent1, ev1);
|
|
child2->draw(painter, x+xw/2.0+(width-width2)/2.0, yline+xh*(parent->get_frac_shift_factor())+ascent2, ev2);
|
|
} else if (mode==MTFMstackrel) {
|
|
child1->draw(painter, x+xw/2.0+(width-width1)/2.0, yline-xh*(parent->get_frac_shift_factor())-descent1, ev1);
|
|
child2->draw(painter, x+xw/2.0+(width-width2)/2.0, yline+xh*(parent->get_frac_shift_factor())+ascent2, ev2);
|
|
} else if (mode==MTFMunderset) {
|
|
child1->draw(painter, x+xw/2.0+(width-width1)/2.0, y, ev1);
|
|
child2->draw(painter, x+xw/2.0+(width-width2)/2.0, y+descent1+xh/6.0+ascent2, ev2);
|
|
} else if (mode==MTFMunderbrace) {
|
|
double ybrace=y+descent1+bw/2.0;
|
|
QPainterPath path=makeHBracePath(x+xw/2.0+(width1)/2.0, ybrace, width, bw);
|
|
painter.drawPath(path);
|
|
|
|
child1->draw(painter, x+xw/2.0+(width-width1)/2.0, y, ev1);
|
|
child2->draw(painter, x+xw/2.0+(width-width2)/2.0, y+descent1+bw+ascent2, ev2);
|
|
} else if (mode==MTFMoverset) {
|
|
child1->draw(painter, x+xw/2.0+(width-width1)/2.0, y, ev1);
|
|
child2->draw(painter, x+xw/2.0+(width-width2)/2.0, y-ascent1-xh/6.0-descent2, ev2);
|
|
} else if (mode==MTFMoverbrace) {
|
|
double ybrace=y-ascent1-bw/2.0;
|
|
|
|
painter.save();
|
|
painter.translate(x+xw/2.0+(width1)/2.0, ybrace);
|
|
painter.rotate(180);
|
|
QPainterPath path=makeHBracePath(0,0, width, bw);
|
|
painter.drawPath(path);
|
|
painter.restore();
|
|
|
|
child1->draw(painter, x+xw/2.0+(width-width1)/2.0, y, ev1);
|
|
child2->draw(painter, x+xw/2.0+(width-width2)/2.0, y-ascent1-bw-descent2, ev2);
|
|
}
|
|
painter.restore();
|
|
|
|
if (mode==MTFMstackrel) return x+width+ xw;
|
|
return x+width+xw;
|
|
|
|
}
|
|
|
|
bool JKQTmathText::MTfracNode::toHtml(QString &/*html*/, JKQTmathText::MTenvironment /*currentEv*/, JKQTmathText::MTenvironment /*defaultEv*/) {
|
|
bool ok=false;
|
|
|
|
|
|
|
|
return ok;
|
|
}
|
|
|
|
void JKQTmathText::MTfracNode::set_drawBoxes(bool draw)
|
|
{
|
|
this->drawBoxes=draw;
|
|
child1->set_drawBoxes(draw);
|
|
child2->set_drawBoxes(draw);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
JKQTmathText::MTmatrixNode::MTmatrixNode(JKQTmathText* parent, QVector<QVector<MTnode*> > children):
|
|
JKQTmathText::MTnode(parent)
|
|
{
|
|
this->lines=children.size();
|
|
this->columns=0;
|
|
for (int i=0; i<children.size(); i++) {
|
|
if (children[i].size()>this->columns) this->columns=children[i].size();
|
|
}
|
|
this->children=children;
|
|
}
|
|
|
|
JKQTmathText::MTmatrixNode::~MTmatrixNode() {
|
|
for (int i=0; i<children.size(); i++) {
|
|
for (int j=0; j<children[i].size(); j++) {
|
|
delete children[i].at(j);
|
|
}
|
|
}
|
|
children.clear();
|
|
}
|
|
|
|
QString JKQTmathText::MTmatrixNode::getTypeName() const
|
|
{
|
|
return "MTmatrixNode";
|
|
}
|
|
|
|
void JKQTmathText::MTmatrixNode::getSizeInternal(QPainter& painter, JKQTmathText::MTenvironment currentEv, double& width, double& baselineHeight, double& overallHeight, double& strikeoutPos) {
|
|
QFontMetricsF fm(currentEv.getFont(parent), painter.device());
|
|
JKQTmathText::MTenvironment ev1=currentEv;
|
|
|
|
double xh=fm.strikeOutPos();//fm.xHeight();
|
|
//double Ah=fm.ascent();
|
|
double xw=fm.boundingRect("x").width();
|
|
|
|
//ev1.fontSize=ev1.fontSize*parent->get_frac_factor();
|
|
|
|
|
|
QVector<double> colwidth, rowheight;
|
|
//QVector<QVector<double> > widths, heights, baselines;
|
|
|
|
double width1=0, baselineHeight1=0, overallHeight1=0, strikeoutPos1=0;
|
|
//widths.resize(lines);
|
|
colwidth.resize(columns); for (int i=0; i<columns; i++) colwidth[i]=0;
|
|
rowheight.resize(lines);
|
|
//heights=baselines=widths;
|
|
for (int i=0; i<lines; i++) {
|
|
rowheight[i]=0;
|
|
//widths[i].resize(columns);
|
|
//baselines[i]=heights[i]=widths[i];
|
|
for (int j=0; j<children[i].size(); j++) {
|
|
children[i].at(j)->getSize(painter, ev1, width1, baselineHeight1, overallHeight1, strikeoutPos1);
|
|
/*widths[i].operator[](j)=width1;
|
|
baselines[i].operator[](j)=baselineHeight;
|
|
heights[i].operator[](j)=overallHeight1;*/
|
|
if (overallHeight1>rowheight[i]) rowheight[i]=overallHeight1;
|
|
if (width1>colwidth[j]) colwidth[j]=width1;
|
|
}
|
|
}
|
|
|
|
|
|
overallHeight=(lines-1)*xw/2.0;
|
|
width=columns*xw;
|
|
for (int i=0; i<columns; i++) width=width+colwidth[i];
|
|
for (int i=0; i<lines; i++) overallHeight=overallHeight+rowheight[i];
|
|
baselineHeight=overallHeight/2.0+xh;
|
|
strikeoutPos=xh;
|
|
}
|
|
|
|
double JKQTmathText::MTmatrixNode::draw(QPainter& painter, double x, double y, JKQTmathText::MTenvironment currentEv) {
|
|
doDrawBoxes(painter, x, y, currentEv);
|
|
|
|
QFontMetricsF fm(currentEv.getFont(parent), painter.device());
|
|
JKQTmathText::MTenvironment ev1=currentEv;
|
|
|
|
double xh=fm.strikeOutPos();//fm.xHeight();
|
|
//double Ah=fm.ascent();
|
|
double xw=fm.boundingRect("x").width();
|
|
|
|
//ev1.fontSize=ev1.fontSize;*parent->get_frac_factor();
|
|
|
|
|
|
QVector<double> colwidth, rowheight, rowascent;
|
|
//QVector<QVector<double> > widths, heights, baselines;
|
|
|
|
double width1=0, baselineHeight1=0, overallHeight1=0, strikeoutPos=0;
|
|
//widths.resize(lines);
|
|
colwidth.resize(columns); for (int i=0; i<columns; i++) colwidth[i]=0;
|
|
rowheight.resize(lines);
|
|
rowascent.resize(lines);
|
|
//heights=baselines=widths;
|
|
for (int i=0; i<lines; i++) {
|
|
rowheight[i]=0;
|
|
rowascent[i]=0;
|
|
//widths[i].resize(columns);
|
|
//baselines[i]=heights[i]=widths[i];
|
|
for (int j=0; j<children[i].size(); j++) {
|
|
if (children[i].at(j)!=nullptr) children[i].at(j)->getSize(painter, ev1, width1, baselineHeight1, overallHeight1, strikeoutPos);
|
|
/*widths[i].operator[](j)=width1;
|
|
baselines[i].operator[](j)=baselineHeight;
|
|
heights[i].operator[](j)=overallHeight1;*/
|
|
if (overallHeight1>rowheight[i]) rowheight[i]=overallHeight1;
|
|
if (baselineHeight1>rowascent[i]) rowascent[i]=baselineHeight1;
|
|
if (width1>colwidth[j]) colwidth[j]=width1;
|
|
}
|
|
}
|
|
|
|
double overallHeight=(lines-1)*xw/2.0;
|
|
double width=(columns)*xw;
|
|
for (int i=0; i<columns; i++) width=width+colwidth[i];
|
|
for (int i=0; i<lines; i++) overallHeight=overallHeight+rowheight[i];
|
|
double baselineHeight=overallHeight/2.0+xh;
|
|
|
|
double xx=x;
|
|
double yy=y-baselineHeight;
|
|
if (lines>0) yy=yy+rowascent[0];
|
|
for (int i=0; i<lines; i++) {
|
|
xx=x;
|
|
for (int j=0; j<children[i].size(); j++) {
|
|
children[i].at(j)->draw(painter, xx, yy, ev1);
|
|
xx=xx+colwidth[j]+xw;
|
|
}
|
|
|
|
if (i<lines-1) yy=yy+(rowheight[i]-rowascent[i])+xw/2.0+rowascent[i+1];
|
|
}
|
|
|
|
|
|
return x+width;
|
|
}
|
|
|
|
bool JKQTmathText::MTmatrixNode::toHtml(QString &/*html*/, JKQTmathText::MTenvironment /*currentEv*/, JKQTmathText::MTenvironment /*defaultEv*/)
|
|
{
|
|
return false;
|
|
}
|
|
|
|
void JKQTmathText::MTmatrixNode::set_drawBoxes(bool draw)
|
|
{
|
|
this->drawBoxes=draw;
|
|
for (int i=0; i<lines; i++) {
|
|
for (int j=0; j<children[i].size(); j++) {
|
|
children[i].at(j)->set_drawBoxes(draw);
|
|
}
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
JKQTmathText::MTdecoratedNode::MTdecoratedNode(JKQTmathText* parent, MTdecoration decoration, MTnode* child):
|
|
JKQTmathText::MTnode(parent)
|
|
{
|
|
this->child=child;
|
|
this->decoration=decoration;
|
|
}
|
|
|
|
JKQTmathText::MTdecoratedNode::~MTdecoratedNode() {
|
|
if (child!=nullptr) delete child;
|
|
}
|
|
|
|
void JKQTmathText::MTdecoratedNode::getSizeInternal(QPainter& painter, JKQTmathText::MTenvironment currentEv, double& width, double& baselineHeight, double& overallHeight, double& strikeoutPos) {
|
|
QFontMetricsF fm(currentEv.getFont(parent), painter.device());
|
|
double wc=fm.boundingRect("A").width();
|
|
double dheightfactor=1.0+parent->get_decoration_height_factor()*2.0;
|
|
|
|
child->getSize(painter, currentEv, width, baselineHeight, overallHeight, strikeoutPos);
|
|
|
|
overallHeight=overallHeight*dheightfactor;
|
|
baselineHeight=baselineHeight*dheightfactor;
|
|
width=width+0.3*wc;
|
|
}
|
|
|
|
double JKQTmathText::MTdecoratedNode::draw(QPainter& painter, double x, double y, JKQTmathText::MTenvironment currentEv) {
|
|
doDrawBoxes(painter, x, y, currentEv);
|
|
MTenvironment ev=currentEv;
|
|
double width=0, baselineHeight=0, overallHeight=0, strikeoutPos=0;
|
|
child->getSize(painter, ev, width, baselineHeight, overallHeight, strikeoutPos);
|
|
QFontMetricsF fm(ev.getFont(parent), painter.device());
|
|
double w=width;
|
|
double wc=fm.boundingRect("A").width();
|
|
//double ll=wc*0.8;
|
|
double a=baselineHeight;
|
|
//double d=overallHeight-baselineHeight;
|
|
double dheightfactor=parent->get_decoration_height_factor();
|
|
double dpos=y-a*(1.0+dheightfactor);
|
|
double dposb=y+qMax((overallHeight-baselineHeight)*(1.0+dheightfactor), fm.xHeight()*dheightfactor);
|
|
double deltax=0;//(wc-ll)/2.0;
|
|
double dheight=dheightfactor*a;
|
|
|
|
|
|
if (ev.italic) deltax+=0.1*fm.boundingRect("A").width();
|
|
QPen pold=painter.pen();
|
|
QPen p=pold;
|
|
p.setColor(ev.color);
|
|
p.setWidthF(qMax(JKQTMATHTEXT_ABS_MIN_LINEWIDTH, fm.lineWidth()));//ceil(currentEv.fontSize/16.0));
|
|
if (decoration==MTDbar) ev.overline=true;
|
|
double xnew=child->draw(painter, x, y, ev);
|
|
if (decoration==MTDvec) {
|
|
painter.setPen(p);
|
|
QPolygonF poly;
|
|
poly<<QPointF(x+deltax, dpos)<<QPointF(xnew+deltax-0.2*wc, dpos)<<QPointF(xnew-0.4*wc+deltax, dpos-dheight/2.0);
|
|
painter.drawPolyline(poly);
|
|
painter.setPen(pold);
|
|
} else if (decoration==MTDoverline) {
|
|
painter.setPen(p);
|
|
QLineF l(x+deltax, dpos, xnew+deltax-0.2*wc, dpos);
|
|
if (l.length()>0) painter.drawLine(l);
|
|
painter.setPen(pold);
|
|
} else if (decoration==MTDdoubleoverline) {
|
|
painter.setPen(p);
|
|
QLineF l(x+deltax, dpos, xnew+deltax-0.2*wc, dpos);
|
|
if (l.length()>0) painter.drawLine(l);
|
|
l=QLineF(x+deltax, dpos-2.0*p.widthF(), xnew+deltax-0.2*wc, dpos-2.0*p.widthF());
|
|
if (l.length()>0) painter.drawLine(l);
|
|
painter.setPen(pold);
|
|
} else if (decoration==MTDunderline) {
|
|
painter.setPen(p);
|
|
QLineF l(x+deltax, dposb, xnew+deltax-0.2*wc, dposb);
|
|
if (l.length()>0) painter.drawLine(l);
|
|
painter.setPen(pold);
|
|
} else if (decoration==MTDdoubleunderline) {
|
|
painter.setPen(p);
|
|
QLineF l(x+deltax, dposb, xnew+deltax-0.2*wc, dposb);
|
|
if (l.length()>0) painter.drawLine(l);
|
|
l=QLineF(x+deltax, dposb+2.0*p.widthF(), xnew+deltax-0.2*wc, dposb+2.0*p.widthF());
|
|
if (l.length()>0) painter.drawLine(l);
|
|
painter.setPen(pold);
|
|
} else if (decoration==MTDarrow) {
|
|
painter.setPen(p);
|
|
QLineF l(x+deltax, dpos+dheight/2.0, xnew+deltax-0.2*wc, dpos+dheight/2.0);
|
|
if (l.length()>0) painter.drawLine(l);
|
|
QPolygonF poly;
|
|
poly<<QPointF(xnew+deltax-0.4*wc, dpos)<<QPointF(xnew+deltax-0.2*wc, dpos+dheight/2.0)<<QPointF(xnew+deltax-0.4*wc, dpos+dheight);
|
|
painter.drawPolyline(poly);
|
|
painter.setPen(pold);
|
|
/*} else if (decoration==MTDbar) {
|
|
painter.setPen(p);
|
|
painter.drawLine(QLineF(x+0.2*wc+deltax, dpos, xnew+0.2*wc+deltax, dpos);
|
|
painter.setPen(pold);*/
|
|
} else if (decoration==MTDhat) {
|
|
painter.setPen(p);
|
|
QPolygonF poly;
|
|
poly<<QPointF(x+w/2.0-0.35*wc+deltax, dpos+dheight/2.0)<<QPointF(x+w/2.0+deltax, dpos)<<QPointF(x+w/2.0+0.35*wc+deltax, dpos+dheight/2.0);
|
|
painter.drawPolyline(poly);
|
|
painter.setPen(pold);
|
|
|
|
} else if (decoration==MTDtilde) {
|
|
painter.setPen(p);
|
|
QPainterPath path;
|
|
double x0=x+deltax;
|
|
double x1=xnew+deltax-0.2*wc;
|
|
path.moveTo(x0, dpos);
|
|
path.cubicTo((x0+x1)/2.0, dpos+dheight, (x0+x1)/2.0, dpos-dheight , x1, dpos);
|
|
painter.drawPath(path);
|
|
painter.setPen(pold);
|
|
|
|
} else if (decoration==MTDdot) {
|
|
p.setWidthF(0.01);
|
|
painter.setPen(p);
|
|
QBrush b=painter.brush();
|
|
QBrush bold=b;
|
|
b.setColor(ev.color);
|
|
b.setStyle(Qt::SolidPattern);
|
|
painter.setBrush(b);
|
|
painter.drawEllipse(QPointF(x+w/2.0+deltax, dpos), wc/10.0, wc/10.0);
|
|
painter.setBrush(bold);
|
|
painter.setPen(pold);
|
|
} else if (decoration==MTDddot) {
|
|
p.setWidthF(0.01);
|
|
painter.setPen(p);
|
|
QBrush b=painter.brush();
|
|
QBrush bold=b;
|
|
b.setColor(ev.color);
|
|
b.setStyle(Qt::SolidPattern);
|
|
painter.setBrush(b);
|
|
painter.drawEllipse(QPointF(x+w/2.0-0.2*wc+deltax, dpos), wc/10.0, wc/10.0);
|
|
painter.drawEllipse(QPointF(x+w/2.0+0.2*wc+deltax, dpos), wc/10.0, wc/10.0);
|
|
painter.setBrush(bold);
|
|
painter.setPen(pold);
|
|
painter.setBrush(bold);
|
|
}
|
|
return xnew+0.3*wc;
|
|
}
|
|
|
|
bool JKQTmathText::MTdecoratedNode::toHtml(QString &/*html*/, JKQTmathText::MTenvironment /*currentEv*/, JKQTmathText::MTenvironment /*defaultEv*/) {
|
|
//QString f;
|
|
//JKQTmathText::MTenvironment ev=currentEv;
|
|
|
|
//bool ok=child->toHtml(html, ev, defaultEv);
|
|
|
|
return false;
|
|
}
|
|
|
|
void JKQTmathText::MTdecoratedNode::set_drawBoxes(bool draw)
|
|
{
|
|
this->drawBoxes=draw;
|
|
child->set_drawBoxes(draw);
|
|
|
|
}
|
|
|
|
QString JKQTmathText::MTdecoratedNode::getTypeName() const
|
|
{
|
|
return "MTdecoratedNode";
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
JKQTmathText::MTsuperscriptNode::MTsuperscriptNode(JKQTmathText* parent, MTnode* child):
|
|
JKQTmathText::MTnode(parent)
|
|
{
|
|
this->child=child;
|
|
}
|
|
|
|
JKQTmathText::MTsuperscriptNode::~MTsuperscriptNode() {
|
|
if (child!=nullptr) delete child;
|
|
}
|
|
|
|
void JKQTmathText::MTsuperscriptNode::getSizeInternal(QPainter& painter, JKQTmathText::MTenvironment currentEv, double& width, double& baselineHeight, double& overallHeight, double& strikeoutPos) {
|
|
JKQTmathText::MTenvironment ev=currentEv;
|
|
ev.fontSize=ev.fontSize*parent->get_subsuper_size_factor();
|
|
QFontMetricsF fm(currentEv.getFont(parent), painter.device());
|
|
child->getSize(painter, ev, width, baselineHeight, overallHeight, strikeoutPos);
|
|
double shift=0;//parent->get_super_shift_factor()*fm.ascent();
|
|
overallHeight=overallHeight+shift;
|
|
strikeoutPos=fm.strikeOutPos();
|
|
if (currentEv.italic) width=width+double(fm.width(' '))*parent->get_italic_correction_factor();
|
|
}
|
|
|
|
double JKQTmathText::MTsuperscriptNode::draw(QPainter& painter, double x, double y, JKQTmathText::MTenvironment currentEv) {
|
|
doDrawBoxes(painter, x, y, currentEv);
|
|
JKQTmathText::MTenvironment ev=currentEv;
|
|
ev.fontSize=ev.fontSize*parent->get_subsuper_size_factor();
|
|
|
|
double cwidth, cbaselineHeight, coverallheight, cStrikeoutPos;
|
|
child->getSize(painter, ev, cwidth, cbaselineHeight, coverallheight, cStrikeoutPos);
|
|
|
|
QFontMetricsF fm(currentEv.getFont(parent), painter.device());
|
|
|
|
double shift=0;//parent->get_super_shift_factor()*fm.ascent();
|
|
//double shift=ev.;
|
|
double xx=x;
|
|
if (currentEv.italic) xx=xx+double(fm.width(' '))*parent->get_italic_correction_factor();
|
|
|
|
return child->draw(painter, xx, y-shift, ev);//+0.5*fm.boundingRect("A").width();
|
|
}
|
|
|
|
bool JKQTmathText::MTsuperscriptNode::isSubOrSuper()
|
|
{
|
|
return true;
|
|
}
|
|
|
|
QString JKQTmathText::MTsuperscriptNode::getTypeName() const
|
|
{
|
|
return "MTsuperscriptNode";
|
|
}
|
|
|
|
|
|
bool JKQTmathText::MTsuperscriptNode::toHtml(QString &html, JKQTmathText::MTenvironment currentEv, JKQTmathText::MTenvironment defaultEv)
|
|
{
|
|
html=html+"<sup>";
|
|
bool ok=child->toHtml(html, currentEv, defaultEv);
|
|
html=html+"</sup>";
|
|
return ok;
|
|
}
|
|
|
|
void JKQTmathText::MTsuperscriptNode::set_drawBoxes(bool draw)
|
|
{
|
|
this->drawBoxes=draw;
|
|
child->set_drawBoxes(draw);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
JKQTmathText::MTbraceNode::MTbraceNode(JKQTmathText* parent, QString openbrace, QString closebrace, MTnode* child, bool showRightBrace):
|
|
JKQTmathText::MTnode(parent)
|
|
{
|
|
this->child=child;
|
|
this->openbrace=openbrace;
|
|
this->closebrace=closebrace;
|
|
this->showRightBrace=showRightBrace;
|
|
}
|
|
|
|
JKQTmathText::MTbraceNode::~MTbraceNode() {
|
|
if (child!=nullptr) delete child;
|
|
}
|
|
|
|
void JKQTmathText::MTbraceNode::getSizeInternal(QPainter& painter, JKQTmathText::MTenvironment currentEv, double& width, double& baselineHeight, double& overallHeight, double& strikeoutPos) {
|
|
|
|
JKQTmathText::MTenvironment ev=currentEv;
|
|
child->getSize(painter, currentEv, width, baselineHeight, overallHeight, strikeoutPos);
|
|
|
|
double bracewidth=0, braceheight=0;
|
|
getBraceWidth(painter, ev, baselineHeight, overallHeight, bracewidth, braceheight);
|
|
|
|
bracewidth=bracewidth/parent->get_brace_shrink_factor();
|
|
|
|
baselineHeight=/*qMin(baselineHeight, braceheight)*/ baselineHeight*parent->get_brace_factor();
|
|
overallHeight=qMax(overallHeight, braceheight)*parent->get_brace_factor(); //fm.height();
|
|
|
|
width=width+bracewidth*2.0;
|
|
|
|
|
|
}
|
|
|
|
double JKQTmathText::MTbraceNode::draw(QPainter& painter, double x, double y, JKQTmathText::MTenvironment currentEv) {
|
|
//std::cout<<"drawing brace-node: '"<<openbrace.toStdString()<<"' ... '"<<closebrace.toStdString()<<"'\n";
|
|
doDrawBoxes(painter, x, y, currentEv);
|
|
JKQTmathText::MTenvironment ev=currentEv;
|
|
|
|
double width=0;
|
|
double baselineHeight=0;
|
|
double overallHeight=0, strikeoutPos=0;
|
|
|
|
child->getSize(painter, currentEv, width, baselineHeight, overallHeight, strikeoutPos);
|
|
|
|
double bracewidth=0, braceheight=0;
|
|
getBraceWidth(painter, ev, baselineHeight, overallHeight, bracewidth, braceheight);
|
|
|
|
double cwidth=0;
|
|
double cbaselineHeight=0;
|
|
double coverallHeight=0, cstrikeoutPos=0;
|
|
|
|
getSize(painter, currentEv, cwidth, cbaselineHeight, coverallHeight, cstrikeoutPos);
|
|
|
|
double lw=qMax(0.25,ceil(currentEv.fontSize/12.0));//fm.lineWidth();
|
|
|
|
double xnew=x+lw;
|
|
|
|
QPen pold=painter.pen();
|
|
QPen p=pold;
|
|
p.setWidthF(lw);
|
|
p.setColor(currentEv.color);
|
|
painter.setPen(p);
|
|
double brace_fraction=0.85;
|
|
if (openbrace=="(") {
|
|
QPainterPath path;
|
|
double y1=y+(coverallHeight-cbaselineHeight);
|
|
double y2=y-cbaselineHeight;
|
|
path.moveTo(xnew+brace_fraction*bracewidth, y1);
|
|
path.cubicTo(xnew, (y1+y2)/2.0+fabs(y1-y2)/6.0, xnew, (y1+y2)/2.0-fabs(y1-y2)/6.0 , xnew+brace_fraction*bracewidth, y2);
|
|
painter.drawPath(path);
|
|
} else if (openbrace=="[") {
|
|
QPainterPath path;
|
|
double y1=y+(coverallHeight-cbaselineHeight);
|
|
double y2=y-cbaselineHeight;
|
|
path.moveTo(xnew+brace_fraction*bracewidth, y1);
|
|
path.lineTo(xnew+lw/2.0, y1);
|
|
path.lineTo(xnew+lw/2.0, y2);
|
|
path.lineTo(xnew+brace_fraction*bracewidth, y2);
|
|
painter.drawPath(path);
|
|
} else if (openbrace=="{") {
|
|
QPainterPath path=makeHBracePath(0,0,coverallHeight, bracewidth*brace_fraction);
|
|
painter.save();
|
|
painter.translate(xnew+bracewidth*(1.0-brace_fraction), y-cbaselineHeight+coverallHeight/2.0);
|
|
painter.rotate(90);
|
|
painter.drawPath(path);
|
|
painter.restore();
|
|
} else if (openbrace=="_") {
|
|
QPainterPath path;
|
|
double y1=y+(coverallHeight-cbaselineHeight);
|
|
double y2=y-cbaselineHeight;
|
|
path.moveTo(xnew+brace_fraction*bracewidth, y1);
|
|
path.lineTo(xnew, y1);
|
|
path.lineTo(xnew, y2);
|
|
painter.drawPath(path);
|
|
} else if (openbrace=="~") {
|
|
QPainterPath path;
|
|
double y1=y+(coverallHeight-cbaselineHeight);
|
|
double y2=y-cbaselineHeight;
|
|
path.moveTo(xnew, y1);
|
|
path.lineTo(xnew, y2);
|
|
path.lineTo(xnew+brace_fraction*bracewidth, y2);
|
|
painter.drawPath(path);
|
|
} else if (openbrace=="|") {
|
|
QPainterPath path;
|
|
double y1=y+(coverallHeight-cbaselineHeight);
|
|
double y2=y-cbaselineHeight;
|
|
QLineF l(xnew+brace_fraction*bracewidth, y1, xnew+brace_fraction*bracewidth, y2);
|
|
if (l.length()>0) painter.drawLine(l);
|
|
painter.drawPath(path);
|
|
} else if (openbrace=="#" || openbrace=="||") {
|
|
QPainterPath path;
|
|
double y1=y+(coverallHeight-cbaselineHeight);
|
|
double y2=y-cbaselineHeight;
|
|
QLineF l(xnew+brace_fraction*bracewidth, y1, xnew+brace_fraction*bracewidth, y2);
|
|
if (l.length()>0) painter.drawLine(l);
|
|
l=QLineF(xnew+brace_fraction*bracewidth-1.5*lw, y1, xnew+brace_fraction*bracewidth-1.5*lw, y2);
|
|
if (l.length()>0) painter.drawLine(l);
|
|
} else if (openbrace=="<") {
|
|
QPainterPath path;
|
|
double y1=y+(coverallHeight-cbaselineHeight);
|
|
double y2=y-cbaselineHeight;
|
|
path.moveTo(xnew+brace_fraction*bracewidth, y1);
|
|
path.lineTo(xnew, (y2+y1)/2.0);
|
|
path.lineTo(xnew+brace_fraction*bracewidth, y2);
|
|
painter.drawPath(path);
|
|
}
|
|
|
|
painter.setPen(pold);
|
|
|
|
xnew= child->draw(painter, xnew+bracewidth/parent->get_brace_shrink_factor()-lw, y, currentEv)+lw;
|
|
|
|
if (showRightBrace) {
|
|
painter.setPen(p);
|
|
if (closebrace==")") {
|
|
QPainterPath path;
|
|
double y1=y+(coverallHeight-cbaselineHeight);
|
|
double y2=y-cbaselineHeight;
|
|
path.moveTo(xnew+(1.0-brace_fraction)*bracewidth, y1);
|
|
path.cubicTo(xnew+bracewidth, (y1+y2)/2.0+fabs(y1-y2)/6.0, xnew+bracewidth, (y1+y2)/2.0-fabs(y1-y2)/6.0 , xnew+(1.0-brace_fraction)*bracewidth, y2);
|
|
painter.drawPath(path);
|
|
} else if (closebrace=="]") {
|
|
QPainterPath path;
|
|
double y1=y+(coverallHeight-cbaselineHeight);
|
|
double y2=y-cbaselineHeight;
|
|
path.moveTo(xnew+(1.0-brace_fraction)*bracewidth, y1);
|
|
path.lineTo(xnew+bracewidth-lw/2.0, y1);
|
|
path.lineTo(xnew+bracewidth-lw/2.0, y2);
|
|
path.lineTo(xnew+(1.0-brace_fraction)*bracewidth, y2);
|
|
painter.drawPath(path);
|
|
} else if (closebrace=="}") {
|
|
QPainterPath path=makeHBracePath(0,0,coverallHeight, bracewidth*brace_fraction);
|
|
painter.save();
|
|
painter.translate(xnew+bracewidth*brace_fraction, y-cbaselineHeight+coverallHeight/2.0);
|
|
painter.rotate(270);
|
|
painter.drawPath(path);
|
|
painter.restore();
|
|
} else if (closebrace=="_") {
|
|
QPainterPath path;
|
|
double y1=y+(coverallHeight-cbaselineHeight);
|
|
double y2=y-cbaselineHeight;
|
|
path.moveTo(xnew+(1.0-brace_fraction)*bracewidth, y1);
|
|
path.lineTo(xnew+bracewidth, y1);
|
|
path.lineTo(xnew+bracewidth, y2);
|
|
painter.drawPath(path);
|
|
} else if (closebrace=="~") {
|
|
QPainterPath path;
|
|
double y1=y+(coverallHeight-cbaselineHeight);
|
|
double y2=y-cbaselineHeight;
|
|
path.moveTo(xnew+bracewidth, y1);
|
|
path.lineTo(xnew+bracewidth, y2);
|
|
path.lineTo(xnew+(1.0-brace_fraction)*bracewidth, y2);
|
|
painter.drawPath(path);
|
|
} else if (closebrace=="|") {
|
|
QPainterPath path;
|
|
double y1=y+(coverallHeight-cbaselineHeight);
|
|
double y2=y-cbaselineHeight;
|
|
QLineF l(xnew+(1.0-brace_fraction)*bracewidth, y1, xnew+(1.0-brace_fraction)*bracewidth, y2);
|
|
if (l.length()>0) painter.drawLine(l);
|
|
painter.drawPath(path);
|
|
} else if (closebrace=="#" || closebrace=="||") {
|
|
QPainterPath path;
|
|
double y1=y+(coverallHeight-cbaselineHeight);
|
|
double y2=y-cbaselineHeight;
|
|
QLineF l(xnew+(1.0-brace_fraction)*bracewidth, y1, xnew+(1.0-brace_fraction)*bracewidth, y2);
|
|
if (l.length()>0) painter.drawLine(l);
|
|
l=QLineF(xnew+(1.0-brace_fraction)*bracewidth+1.5*lw, y1, xnew+(1.0-brace_fraction)*bracewidth+1.5*lw, y2);
|
|
if (l.length()>0) painter.drawLine(l);
|
|
} else if (closebrace==">") {
|
|
QPainterPath path;
|
|
double y1=y+(coverallHeight-cbaselineHeight);
|
|
double y2=y-cbaselineHeight;
|
|
path.moveTo(xnew+(1.0-brace_fraction)*bracewidth, y1);
|
|
path.lineTo(xnew+bracewidth, (y2+y1)/2.0);
|
|
path.lineTo(xnew+(1.0-brace_fraction)*bracewidth, y2);
|
|
painter.drawPath(path);
|
|
}
|
|
painter.setPen(pold);
|
|
}
|
|
|
|
//qDebug()<<" ==> "<<bc<<fm.boundingRect(bc).width();
|
|
return xnew+bracewidth/parent->get_brace_shrink_factor()-lw;
|
|
}
|
|
|
|
bool JKQTmathText::MTbraceNode::toHtml(QString &html, JKQTmathText::MTenvironment currentEv, JKQTmathText::MTenvironment defaultEv) {
|
|
QString ob=openbrace;
|
|
QString cb=closebrace;
|
|
if (ob=="<") ob="⟨";
|
|
else if (ob=="_") ob="⌊";
|
|
else if (ob=="~") ob="⌈";
|
|
else if (ob=="||" || ob=="#") ob="||";
|
|
if (cb=="<") cb="⟩";
|
|
else if (cb=="_") cb="⌋";
|
|
else if (cb=="~") cb="⌉";
|
|
else if (cb=="||" || cb=="#") cb="||";
|
|
|
|
|
|
html=html+ob;
|
|
|
|
bool ok=child->toHtml(html, currentEv, defaultEv);
|
|
|
|
html=html+cb;
|
|
|
|
return ok;
|
|
}
|
|
|
|
void JKQTmathText::MTbraceNode::set_drawBoxes(bool draw)
|
|
{
|
|
this->drawBoxes=draw;
|
|
child->set_drawBoxes(draw);
|
|
|
|
}
|
|
|
|
QString JKQTmathText::MTbraceNode::getTypeName() const
|
|
{
|
|
return QLatin1String("MTbraceNode(")+openbrace+" "+closebrace+")";
|
|
}
|
|
|
|
void JKQTmathText::MTbraceNode::getBraceWidth(QPainter &/*painter*/, JKQTmathText::MTenvironment ev, double /*baselineHeight*/, double overallHeight, double &bracewidth, double &braceheight)
|
|
{
|
|
/*QFont evf=ev.getFont(parent);
|
|
if (ev.insideMath) evf.setItalic(false);
|
|
ev.italic=false;
|
|
while (ev.fontSize<10*parent->get_fontSize()) {
|
|
const QFontMetricsF fme(evf, painter.device());
|
|
if (fme.ascent()>overallHeight) break;
|
|
ev.fontSize+=0.5;
|
|
evf.setPointSizeF(ev.fontSize);
|
|
}
|
|
ev.fontSize=ev.fontSize*parent->get_brace_factor();
|
|
evf.setPointSizeF(ev.fontSize);
|
|
QFontMetricsF fm(evf, painter.device());
|
|
QString bc="_X";
|
|
bracewidth=fm.width("I")*parent->get_brace_shrink_factor();
|
|
braceheight=parent->getTBR(evf, bc, painter.device()).height();*/
|
|
double lw=qMax(0.25,ceil(ev.fontSize/12.0));
|
|
braceheight=overallHeight*parent->get_brace_factor();
|
|
bracewidth=0.6*pow(braceheight, 0.6);
|
|
if (openbrace=="{" || closebrace=="}") bracewidth=qMax(bracewidth, lw*3.5);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
JKQTmathText::MTlistNode::MTlistNode(JKQTmathText* parent):
|
|
JKQTmathText::MTnode(parent)
|
|
{
|
|
nodes.clear();
|
|
// these operations cause sub/sup script to be typeset over/under the operator, not right besides!
|
|
subsupOperations<<"sum"<<"prod"<<"coprod"
|
|
<<"bigcap"<<"bigcup"<<"bigvee"<<"bighat"
|
|
<<"int"<<"iint"<<"iiint"<<"oint"<<"oiint"<<"oiiint"
|
|
<<"max"<<"min"<<"argmax"<<"argmin"<<"sup"<<"inf"
|
|
<<"liminf"<<"limsup"<<"lim"<<"max"<<"min";
|
|
}
|
|
|
|
JKQTmathText::MTlistNode::~MTlistNode() {
|
|
for (int i=0; i<nodes.size(); i++) {
|
|
delete nodes[i];
|
|
}
|
|
nodes.clear();
|
|
}
|
|
|
|
QString JKQTmathText::MTlistNode::getTypeName() const
|
|
{
|
|
return "MTlistNode";
|
|
}
|
|
|
|
void JKQTmathText::MTlistNode::getSizeInternal(QPainter& painter, JKQTmathText::MTenvironment currentEv, double& width, double& baselineHeight, double& overallHeight, double& strikeoutPos) {
|
|
width=0;
|
|
overallHeight=0;
|
|
baselineHeight=0;
|
|
strikeoutPos=0;
|
|
QFontMetricsF fm(currentEv.getFont(parent));
|
|
QRectF tbr=parent->getTBR(currentEv.getFont(parent), "M", painter.device());
|
|
|
|
|
|
double xnew=0;
|
|
bool wasBrace=false;
|
|
for (int i=0; i<nodes.size(); i++) {
|
|
{
|
|
double w1, oh, bh, sp;
|
|
nodes[i]->getSize(painter, currentEv, w1, bh, oh, sp);
|
|
//qDebug()<<"i="<<i<<" width="<<width<<" baselineHeight="<<baselineHeight<<" overallHeight="<<overallHeight<<" strikeoutPos="<<strikeoutPos<<"\n"<<"### nodes["<<i<<"] = "<<nodes[i]->getTypeName()<< " w="<<w1<<" bh="<<bh<<" oh="<<oh<<" sp="<<sp;
|
|
}
|
|
bool doDraw=true;
|
|
MTsymbolNode* smb=dynamic_cast<MTsymbolNode*>(nodes[i]);
|
|
// if we find a subscript/superscript node we check whether the next node is super/subscript
|
|
// if so, we typeset them at the same x-psotion, so sub/superscripts appear correctly
|
|
if (dynamic_cast<MTsuperscriptNode*>(nodes[i])) {
|
|
if (i+1<nodes.size()) { // is there one mor node behind?
|
|
if (dynamic_cast<MTsubscriptNode*>(nodes[i+1])) { // is this subscript?
|
|
double w1, w2, oh, bh, sp;
|
|
nodes[i]->getSize(painter, currentEv, w1, bh, oh, sp);
|
|
double shift=parent->get_super_shift_factor()*fm.xHeight()+(oh-bh);//(overallHeight-baselineHeight)+(oh-bh);
|
|
if (wasBrace) {
|
|
shift=baselineHeight-parent->get_super_shift_factor()*tbr.height()+(oh-bh);
|
|
}
|
|
|
|
|
|
//qDebug()<<"super_sub: super: "<<nodes[i]->getTypeName()<<" w1="<<w1<<" bh"<<bh<<" oh="<<oh<<" sp="<<sp;
|
|
if (shift+bh>baselineHeight) {
|
|
double lheight=overallHeight-baselineHeight;
|
|
baselineHeight=shift+bh;
|
|
overallHeight=baselineHeight+lheight;
|
|
}
|
|
i++;
|
|
nodes[i]->getSize(painter, currentEv, w2, bh, oh, sp);
|
|
//qDebug()<<"super_sub: sub: "<<nodes[i]->getTypeName()<<" w2="<<w2<<" bh"<<bh<<" oh="<<oh<<" sp="<<sp;
|
|
if (shift+oh-bh>overallHeight-baselineHeight) {
|
|
overallHeight=baselineHeight+shift+(oh-bh);
|
|
}
|
|
doDraw=false;
|
|
xnew+=qMax(w1+fm.width(" "), w2);
|
|
|
|
//qDebug()<<"### super+sub";
|
|
//qDebug()<<"### subsupop: super+sub overallHeight="<<overallHeight<<" baselineHeight="<<baselineHeight;
|
|
}
|
|
}
|
|
} else if (dynamic_cast<MTsubscriptNode*>(nodes[i])) {
|
|
if (i+1<nodes.size()) { // is there one mor node behind?
|
|
if (dynamic_cast<MTsuperscriptNode*>(nodes[i+1])) { // is this subscript?
|
|
double w1, w2, oh, bh, sp;
|
|
double shift=parent->get_super_shift_factor()*fm.xHeight()+(oh-bh);//(overallHeight-baselineHeight)+(oh-bh);
|
|
if (wasBrace) {
|
|
shift=baselineHeight-parent->get_super_shift_factor()*parent->getTBR(currentEv.getFont(parent), "M", painter.device()).height()+(oh-bh);
|
|
}
|
|
|
|
nodes[i]->getSize(painter, currentEv, w1, bh, oh, sp);
|
|
//qDebug()<<"sub_super: sub: "<<nodes[i]->getTypeName()<<" w1="<<w1<<" bh"<<bh<<" oh="<<oh<<" sp="<<sp;
|
|
if (shift+oh-bh>overallHeight-baselineHeight) {
|
|
overallHeight=baselineHeight+shift+(oh-bh);
|
|
}
|
|
i++;
|
|
nodes[i]->getSize(painter, currentEv, w2, bh, oh, sp);
|
|
//qDebug()<<"sub_super: super: "<<nodes[i]->getTypeName()<<" w2="<<w2<<" bh"<<bh<<" oh="<<oh<<" sp="<<sp;
|
|
if (shift+bh>baselineHeight) {
|
|
double lheight=overallHeight-baselineHeight;
|
|
baselineHeight=shift+bh;
|
|
overallHeight=baselineHeight+lheight;
|
|
}
|
|
doDraw=false;
|
|
xnew+=qMax(w1, w2+fm.width(" "));
|
|
//qDebug()<<"### sub+super";
|
|
//qDebug()<<"### subsupop: sub+super1 overallHeight="<<overallHeight<<" baselineHeight="<<baselineHeight;
|
|
}
|
|
}
|
|
} else if (smb) {
|
|
QString s=smb->get_symbolName();
|
|
if (subsupOperations.contains(s)) {
|
|
MTsubscriptNode* subn=nullptr;
|
|
if (i+1<nodes.size()) subn=dynamic_cast<MTsubscriptNode*>(nodes[i+1]);
|
|
MTsuperscriptNode* supn=nullptr;
|
|
if (i+2<nodes.size()) supn=dynamic_cast<MTsuperscriptNode*>(nodes[i+2]);
|
|
//std::cout<<"symbol ='"<<s.toStdString()<<"' subn="<<subn<<" supn="<<supn<<"\n";
|
|
if (subn && supn) { // is this subscript and superscript?
|
|
MTenvironment ev=currentEv;
|
|
ev.fontSize=ev.fontSize*parent->get_operatorsubsuper_size_factor();
|
|
double w1=0, w2=0, w3=0;
|
|
double oh1=0, oh2=0, oh3=0;
|
|
double bh1=0, bh2=0, bh3=0;
|
|
double sp1=0, sp2=0, sp3=0;
|
|
nodes[i]->getSize(painter, currentEv, w1, bh1, oh1, sp1);
|
|
//qDebug()<<"sub_super: node: "<<nodes[i]->getTypeName()<<" w1="<<w1<<" bh"<<bh1<<" oh="<<oh1<<" sp="<<sp1;
|
|
subn->get_child()->getSize(painter, ev, w2, bh2, oh2, sp2);
|
|
//qDebug()<<"sub_super: node: "<<subn->getTypeName()<<" w2="<<w2<<" bh2"<<bh2<<" oh2="<<oh2<<" sp2="<<sp2;
|
|
supn->get_child()->getSize(painter, ev, w3, bh3, oh3, sp3);
|
|
//qDebug()<<"sub_super: node: "<<supn->getTypeName()<<" w3="<<w3<<" bh3"<<bh3<<" oh3="<<oh3<<" sp3="<<sp3;
|
|
//double d1=oh1-bh1;
|
|
//double d2=oh2-bh2;
|
|
//double d3=oh3-bh3;
|
|
double w=qMax(qMax(w1, w2), w3)+fm.width(" ");
|
|
|
|
double oh=oh1+oh2+oh3;
|
|
double bh=bh1+oh3;
|
|
if (oh>overallHeight) overallHeight=oh;
|
|
if (bh>baselineHeight) { baselineHeight=bh; strikeoutPos=sp1; }
|
|
if (oh-bh>overallHeight-baselineHeight) {
|
|
overallHeight=baselineHeight+oh-bh;
|
|
}
|
|
|
|
i++;
|
|
i++;
|
|
doDraw=false;
|
|
xnew+=w;
|
|
//qDebug()<<"### subsupop: sub+super2 overallHeight="<<overallHeight<<" baselineHeight="<<baselineHeight;
|
|
/*} else if (subn && supn) { // is this subscript and superscript?
|
|
MTenvironment ev=currentEv;
|
|
ev.fontSize=ev.fontSize*parent->get_operatorsubsuper_size_factor();
|
|
double w1=0, w2=0, w3=0;
|
|
double oh1=0, oh2=0, oh3=0;
|
|
double bh1=0, bh2=0, bh3=0;
|
|
double sp1=0, sp2=0, sp3=0;
|
|
nodes[i]->getSize(painter, currentEv, w1, bh1, oh1, sp1);
|
|
supn->get_child()->getSize(painter, ev, w3, bh3, oh3, sp3);
|
|
//double d1=oh1-bh1;
|
|
//double d2=oh2-bh2;
|
|
//double d3=oh3-bh3;
|
|
double w=qMax(w1, w3)+fm.width(" ");
|
|
|
|
double oh=oh1+oh3;
|
|
double bh=bh1+oh3;
|
|
if (oh>overallHeight) overallHeight=oh;
|
|
if (bh>baselineHeight) { baselineHeight=bh; strikeoutPos=sp1; }
|
|
if (oh-bh>overallHeight-baselineHeight) {
|
|
overallHeight=baselineHeight+oh-bh;
|
|
}
|
|
|
|
i++;
|
|
i++;
|
|
doDraw=false;
|
|
xnew+=w;
|
|
//qDebug()<<"### subsupop: sub+super";*/
|
|
} else if (subn) { // is this subscript?
|
|
MTenvironment ev=currentEv;
|
|
ev.fontSize=ev.fontSize*parent->get_operatorsubsuper_size_factor();
|
|
double w1=0, w2=0;
|
|
double oh1=0, oh2=0;
|
|
double bh1=0, bh2=0;
|
|
double sp1=0, sp2=0;//, sp3=0;
|
|
nodes[i]->getSize(painter, currentEv, w1, bh1, oh1, sp1);
|
|
subn->get_child()->getSize(painter, ev, w2, bh2, oh2, sp2);
|
|
//double d1=oh1-bh1;
|
|
//double d2=oh2-bh2;
|
|
|
|
double oh=oh1+oh2;
|
|
double sh=oh1-bh1+oh2*1.1;
|
|
if (oh>overallHeight) overallHeight=oh;
|
|
if (bh1>baselineHeight) baselineHeight=bh1;
|
|
if (sh>overallHeight-baselineHeight) {
|
|
overallHeight=baselineHeight+sh;
|
|
}
|
|
double w=qMax(w1, w2)+fm.width(" ");
|
|
i++;
|
|
doDraw=false;
|
|
xnew+=w;
|
|
//qDebug()<<"### subsupop: sub overallHeight="<<overallHeight<<" baselineHeight="<<baselineHeight;
|
|
}
|
|
}
|
|
}
|
|
|
|
if (i<nodes.size() && doDraw) {
|
|
double w, oh, bh, sp;
|
|
nodes[i]->getSize(painter, currentEv, w, bh, oh, sp);
|
|
double shift=0;
|
|
|
|
if (dynamic_cast<MTsuperscriptNode*>(nodes[i])) {
|
|
//QFontMetricsF fm(currentEv.getFont(parent));
|
|
//QRectF tbr=fm.tightBoundingRect("M");
|
|
shift=parent->get_super_shift_factor()*tbr.height()+(oh-bh);//((overallHeight-baselineHeight)+(oh-bh));
|
|
if (wasBrace) {
|
|
shift=baselineHeight-parent->get_super_shift_factor()*tbr.height()+(oh-bh);
|
|
}
|
|
//qDebug()<<"+++ super: bh="<<bh<<" oh="<<oh<<" shift="<<shift<<" wasBrace="<<wasBrace<<" baselineHeight="<<baselineHeight<<" overallHeight="<<overallHeight<<" fm.ascent="<<fm.ascent();
|
|
|
|
w+=fm.width(" ");
|
|
if (shift+bh>baselineHeight) {
|
|
double lheight=overallHeight-baselineHeight;
|
|
baselineHeight=shift+bh;
|
|
overallHeight=baselineHeight+lheight;
|
|
}
|
|
//qDebug()<<"### super";
|
|
//qDebug()<<"### subsupop: super overallHeight="<<overallHeight<<" baselineHeight="<<baselineHeight;
|
|
} else if (dynamic_cast<MTsubscriptNode*>(nodes[i])) {
|
|
//QFontMetricsF fm(currentEv.getFont(parent));
|
|
shift=0;//parent->get_super_shift_factor()*fm.ascent();//((overallHeight-baselineHeight)+(oh-bh));
|
|
w+=fm.width(" ");
|
|
if (shift+oh-bh>overallHeight-baselineHeight) {
|
|
overallHeight=baselineHeight+shift+(oh-bh);
|
|
}
|
|
//qDebug()<<"### sub";
|
|
//qDebug()<<"### subsupop: sub overallHeight="<<overallHeight<<" baselineHeight="<<baselineHeight;
|
|
} else {
|
|
//qDebug()<<"### else: bh="<<bh<<" baselineHeight="<<baselineHeight<<" oh="<<oh<<" overallHeight="<<overallHeight;
|
|
if (bh>baselineHeight) {
|
|
overallHeight=overallHeight+bh-baselineHeight;
|
|
baselineHeight=bh;
|
|
strikeoutPos=sp;
|
|
}
|
|
if (baselineHeight+oh-bh>overallHeight) {
|
|
overallHeight=baselineHeight+oh-bh;
|
|
strikeoutPos=sp;
|
|
}
|
|
//qDebug()<<"### subsupop: else overallHeight="<<overallHeight<<" baselineHeight="<<baselineHeight;
|
|
}
|
|
xnew+=w;
|
|
//qDebug()<<i<<xnew;
|
|
//if (baselineHeight+oh+shift>overallHeight) overallHeight=baselineHeight+oh+shift;
|
|
/*if (oh+shift-bh>overallHeight-baselineHeight) {
|
|
overallHeight=baselineHeight+oh+shift-bh;
|
|
}*/
|
|
}
|
|
wasBrace=dynamic_cast<MTbraceNode*>(nodes[i]);
|
|
}
|
|
width=xnew;
|
|
}
|
|
|
|
double JKQTmathText::MTlistNode::draw(QPainter& painter, double x, double y, JKQTmathText::MTenvironment currentEv) {
|
|
doDrawBoxes(painter, x, y, currentEv);
|
|
double ynew=y;
|
|
double xnew=x;
|
|
double cwidth=0, cbaselineHeight=0, coverallHeight=0, cstrieoutPos=0;
|
|
//qDebug()<<"listNode: "<<currentEv.fontSize;
|
|
QFontMetricsF fm(currentEv.getFont(parent));
|
|
QRectF tbr=parent->getTBR(currentEv.getFont(parent), "M", painter.device());
|
|
bool wasBrace=false;
|
|
for (int i=0; i<nodes.size(); i++) {
|
|
bool doDraw=true;
|
|
MTsymbolNode* smb=dynamic_cast<MTsymbolNode*>(nodes[i]);
|
|
// if we find a subscript/superscript node we check whether the next node is super/subscript
|
|
// if so, we typeset them at the same x-psotion, so sub/superscripts appear correctly
|
|
if (dynamic_cast<MTsuperscriptNode*>(nodes[i])) {
|
|
double ccwidth=0, ccbaselineHeight=0, ccoverallHeight=0, ccstrieoutPos=0;
|
|
nodes[i]->getSize(painter, currentEv, ccwidth, ccbaselineHeight, ccoverallHeight, ccstrieoutPos);
|
|
|
|
if (i+1<nodes.size()) { // is there one mor node behind?
|
|
if (dynamic_cast<MTsubscriptNode*>(nodes[i+1])) { // is this subscript?
|
|
|
|
double shift=-parent->get_super_shift_factor()*tbr.height();
|
|
if (wasBrace) {
|
|
shift=-cbaselineHeight+parent->get_super_shift_factor()*tbr.height();
|
|
}
|
|
//painter.setPen(QPen("red"));
|
|
//painter.drawEllipse(xnew-4,ynew+shift-(ccoverallHeight-ccbaselineHeight)-4,8,8);
|
|
double xnew1=nodes[i]->draw(painter, xnew, ynew+shift-(ccoverallHeight-ccbaselineHeight), currentEv);
|
|
i++;
|
|
//painter.setPen(QPen("magenta"));
|
|
//painter.drawEllipse(xnew-4,ynew-4,8,8);
|
|
double xnew2=nodes[i]->draw(painter, xnew, ynew, currentEv);
|
|
//i++;
|
|
xnew=qMax(xnew1, xnew2);
|
|
doDraw=false;
|
|
}
|
|
}
|
|
} else if (dynamic_cast<MTsubscriptNode*>(nodes[i])) {
|
|
if (i+1<nodes.size()) { // is there one mor node behind?
|
|
if (dynamic_cast<MTsuperscriptNode*>(nodes[i+1])) { // is this subscript?
|
|
//painter.setPen(QPen("magenta"));
|
|
//painter.drawEllipse(xnew-4,ynew-4,8,8);
|
|
double xnew1=nodes[i]->draw(painter, xnew, ynew, currentEv);
|
|
i++;
|
|
double ccwidth=0, ccbaselineHeight=0, ccoverallHeight=0, ccstrieoutPos=0;
|
|
nodes[i]->getSize(painter, currentEv, ccwidth, ccbaselineHeight, ccoverallHeight, ccstrieoutPos);
|
|
//QRectF tbr=fm.tightBoundingRect("M");
|
|
double shift=-parent->get_super_shift_factor()*tbr.height();
|
|
if (wasBrace) {
|
|
shift=-cbaselineHeight+parent->get_super_shift_factor()*tbr.height();
|
|
}
|
|
//painter.setPen(QPen("red"));
|
|
//painter.drawEllipse(xnew-4,ynew+shift-(ccoverallHeight-ccbaselineHeight)-4,8,8);
|
|
double xnew2=nodes[i]->draw(painter, xnew, ynew+shift-(ccoverallHeight-ccbaselineHeight), currentEv);
|
|
//i++;
|
|
xnew=qMax(xnew1, xnew2);
|
|
doDraw=false;
|
|
}
|
|
}
|
|
} else {
|
|
if (smb) {
|
|
QString s=smb->get_symbolName();
|
|
if (subsupOperations.contains(s)) {
|
|
MTsubscriptNode* subn=nullptr;
|
|
if (i+1<nodes.size()) subn=dynamic_cast<MTsubscriptNode*>(nodes[i+1]);
|
|
MTsuperscriptNode* supn=nullptr;
|
|
if (i+2<nodes.size()) supn=dynamic_cast<MTsuperscriptNode*>(nodes[i+2]);
|
|
//std::cout<<"symbol ='"<<s.toStdString()<<"' subn="<<subn<<" supn="<<supn<<"\n";
|
|
if (subn && supn) { // is this subscript and superscript?
|
|
MTenvironment ev=currentEv;
|
|
ev.fontSize=ev.fontSize*parent->get_operatorsubsuper_size_factor();
|
|
double w1=0, w2=0, w3=0;
|
|
double oh1=0, oh2=0, oh3=0;
|
|
double bh1=0, bh2=0, bh3=0, sp;
|
|
nodes[i]->getSize(painter, currentEv, w1, bh1, oh1, sp);
|
|
subn->get_child()->getSize(painter, ev, w2, bh2, oh2, sp);
|
|
supn->get_child()->getSize(painter, ev, w3, bh3, oh3, sp);
|
|
double d1=oh1-bh1;
|
|
//double d2=oh2-bh2;
|
|
double d3=oh3-bh3;
|
|
|
|
double w=qMax(qMax(w1, w2), w3);
|
|
//double xnew1=
|
|
double xn1=nodes[i]->draw(painter, xnew+(w-w1)/2.0, ynew, currentEv);
|
|
i++;
|
|
//double xnew2=
|
|
double xn2=subn->get_child()->draw(painter, xnew+(w-w2)/2.0, ynew+bh2+d1, ev);
|
|
i++;
|
|
//double xnew3=
|
|
double xn3=supn->get_child()->draw(painter, xnew+(w-w3)/2.0, ynew-bh1-d3-fm.xHeight()/4.0, ev);
|
|
doDraw=false;
|
|
xnew=qMax(qMax(xn1, xn2), xn3)+fm.width(" ");
|
|
} else if (subn) { // is this subscript and not superscript?
|
|
MTenvironment ev=currentEv;
|
|
ev.fontSize=ev.fontSize*parent->get_operatorsubsuper_size_factor();
|
|
double w1=0, w2=0;
|
|
double oh1=0, oh2=0;
|
|
double bh1=0, bh2=0, sp=0;
|
|
nodes[i]->getSize(painter, currentEv, w1, bh1, oh1, sp);
|
|
subn->get_child()->getSize(painter, ev, w2, bh2, oh2, sp);
|
|
double d1=oh1-bh1;
|
|
//double d2=oh2-bh2;
|
|
|
|
double w=qMax(w1, w2);
|
|
//double xnew1=
|
|
double xn2=nodes[i]->draw(painter, xnew+(w-w1)/2.0, ynew, currentEv);
|
|
i++;
|
|
//double xnew2=
|
|
double xn1=subn->get_child()->draw(painter, xnew+(w-w2)/2.0, ynew+bh2+d1, ev)+fm.width(" ");
|
|
doDraw=false;
|
|
//xnew+=w;
|
|
xnew=qMax(xn1, xn2);
|
|
} else if (supn) { // is this subscript and superscript?
|
|
MTenvironment ev=currentEv;
|
|
ev.fontSize=ev.fontSize*parent->get_operatorsubsuper_size_factor();
|
|
double w1=0, w3=0;
|
|
double oh1=0, oh3=0;
|
|
double bh1=0, bh3=0, sp;
|
|
nodes[i]->getSize(painter, currentEv, w1, bh1, oh1, sp);
|
|
supn->get_child()->getSize(painter, ev, w3, bh3, oh3, sp);
|
|
//double d1=oh1-bh1;
|
|
//double d2=oh2-bh2;
|
|
double d3=oh3-bh3;
|
|
|
|
double w=qMax(w1, w3);
|
|
//double xnew1=
|
|
double xn1=nodes[i]->draw(painter, xnew+(w-w1)/2.0, ynew, currentEv);
|
|
i++;
|
|
//double xnew3=
|
|
double xn3=supn->get_child()->draw(painter, xnew+(w-w3)/2.0, ynew-bh1-d3-fm.xHeight()/4.0, ev);
|
|
doDraw=false;
|
|
xnew=qMax(xn1, xn3)+fm.width(" ");
|
|
}
|
|
}
|
|
}
|
|
|
|
nodes[i]->getSize(painter, currentEv, cwidth, cbaselineHeight, coverallHeight, cstrieoutPos);
|
|
}
|
|
|
|
if (i<nodes.size() && doDraw) {
|
|
if (dynamic_cast<MTsuperscriptNode*>(nodes[i])) { // is this superscript?
|
|
double ccwidth=0, ccbaselineHeight=0, ccoverallHeight=0, ccstrieoutPos=0;
|
|
nodes[i]->getSize(painter, currentEv, ccwidth, ccbaselineHeight, ccoverallHeight, ccstrieoutPos);
|
|
//QRectF tbr=fm.tightBoundingRect("M");
|
|
double shift=-parent->get_super_shift_factor()*tbr.height();
|
|
if (wasBrace) {
|
|
shift=-cbaselineHeight+parent->get_super_shift_factor()*tbr.height();
|
|
}
|
|
//painter.setPen(QPen("red"));
|
|
//painter.drawEllipse(xnew-4,ynew+shift-(ccoverallHeight-ccbaselineHeight)-4,8,8);
|
|
xnew=nodes[i]->draw(painter, xnew, ynew+shift-(ccoverallHeight-ccbaselineHeight), currentEv);
|
|
} else {
|
|
xnew=nodes[i]->draw(painter, xnew, ynew, currentEv);
|
|
}
|
|
}
|
|
wasBrace=dynamic_cast<MTbraceNode*>(nodes[i]);
|
|
}
|
|
return xnew;
|
|
}
|
|
|
|
bool JKQTmathText::MTlistNode::toHtml(QString &html, JKQTmathText::MTenvironment currentEv, JKQTmathText::MTenvironment defaultEv) {
|
|
bool ok=true;
|
|
for (int i=0; i<nodes.size(); i++) {
|
|
QString h="";
|
|
ok = ok && nodes[i]->toHtml(h, currentEv, defaultEv);
|
|
html=html+h;
|
|
}
|
|
return ok;
|
|
}
|
|
|
|
void JKQTmathText::MTlistNode::set_drawBoxes(bool draw)
|
|
{
|
|
this->drawBoxes=draw;
|
|
for (int i=0; i<nodes.size(); i++) {
|
|
nodes[i]->set_drawBoxes(draw);
|
|
}
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
JKQTmathText::MTsymbolNode::MTsymbolNode(JKQTmathText* parent, QString name, bool addWhitespace):
|
|
JKQTmathText::MTnode(parent)
|
|
{
|
|
double mathFontFactor=1.8;
|
|
symbol = "";
|
|
symbolName=name;
|
|
fontFactor=1.0;
|
|
bold=0;
|
|
italic=-1;
|
|
yfactor=0;
|
|
QString n=name;
|
|
drawBar=false;
|
|
font=MTSFdefault;
|
|
heightIsAscent=false;
|
|
exactAscent=false;
|
|
extendWidthInMathmode=false;
|
|
|
|
//qDebug()<<"MTsymbolNode("<<n<<") addWhitespace="<<addWhitespace;
|
|
|
|
static QStringList extendWInMM;
|
|
if (extendWInMM.isEmpty()) {
|
|
extendWInMM <<"ll"<<"gg"<<"leq"<<"geq"<<"leftrightarrow"<<"leftarrow"<<"rightarrow"<<"to"<<"uparrow"<<"downarrow"<<"updownarrow"<<"Leftrightarrow"
|
|
<<"iff"<<"Leftarrow"<<"Rightarrow"<<"Uparrow"<<"Downarrow"<<"Updownarrow"<<"pm"<<"mp"<<"nexists"<<"ni"<<"notni"<<"circ"<<"sim"<<"emptyset"<<"odot"<<"ominus"
|
|
<<"subsetnot"<<"bot"<<"leftharpoonup"<<"rightharpoonup"<<"upharpoonleft"<<"downharpoonleft"<<"leftrightharpoon"<<"rightleftharpoon"<<"coprod"<<"leftharpoondown"
|
|
<<"rightharpoondown"<<"upharpoonright"<<"downharpoonright"<<"nwarrow"<<"nearrow"<<"searrow"<<"swarrow"<<"mapsto"<<"div"<<"multimap"<<"maporiginal"<<"mapimage"
|
|
<<"times"<<"propto"<<"bullet"<<"neq"<<"ne"<<"equiv"<<"approx"<<"otimes"<<"oplus"<<"oslash"<<"cap"<<"land"<<"cup"<<"lor"<<"supset"<<"supseteq"<<"supsetnot"
|
|
<<"subset"<<"subseteq"<<"in"<<"notin"<<"cdot"<<"wedge"<<"vee"<<"cong"<<"bot";
|
|
}
|
|
|
|
if (extendWInMM.contains(n)) {
|
|
extendWidthInMathmode=true;
|
|
}
|
|
|
|
if (n=="sin") { symbol="sin"; }
|
|
//else if (n==" ") { symbol=" "; }
|
|
else if (n=="") { symbol=" "; }
|
|
else if (n=="cos") { symbol="cos"; }
|
|
else if (n=="tan") { symbol="tan"; }
|
|
else if (n=="sinh") { symbol="sinh"; }
|
|
else if (n=="cosh") { symbol="cosh"; }
|
|
else if (n=="tanh") { symbol="tanh"; }
|
|
else if (n=="atan") { symbol="atan"; }
|
|
else if (n=="acos") { symbol="acos"; }
|
|
else if (n=="asin") { symbol="asin"; }
|
|
else if (n=="arcsin") { symbol="arcsin"; }
|
|
else if (n=="arccos") { symbol="arccos"; }
|
|
else if (n=="arctan") { symbol="arctan"; }
|
|
else if (n=="degree") { symbol=QLatin1String("\xB0"); }
|
|
else if (n=="ii") { symbol="i"; }
|
|
else if (n=="dd") { symbol="d"; }
|
|
else if (n=="exp") { symbol="exp"; }
|
|
else if (n=="log") { symbol="log"; }
|
|
else if (n=="ln") { symbol="ln"; }
|
|
else if (n=="ld") { symbol="ld"; }
|
|
else if (n=="lb") { symbol="lb"; }
|
|
else if (n=="erf") { symbol="erf"; heightIsAscent=true; }
|
|
else if (n=="min") { symbol="min"; heightIsAscent=true; }
|
|
else if (n=="max") { symbol="max"; heightIsAscent=true; }
|
|
else if (n=="argmin") { symbol="argmin"; }
|
|
else if (n=="argmax") { symbol="argmax"; }
|
|
else if (n=="inf") { symbol="inf"; heightIsAscent=true; }
|
|
else if (n=="sup") { symbol="sup"; heightIsAscent=true; }
|
|
else if (n=="liminf") { symbol="liminf"; heightIsAscent=true; }
|
|
else if (n=="limsup") { symbol="limsup"; heightIsAscent=true; }
|
|
else if (n=="lim") { symbol="lim"; heightIsAscent=true; }
|
|
else if (n=="max") { symbol="max"; }
|
|
else if (n=="min") { symbol="min"; }
|
|
else if (n=="sec") { symbol="sec"; }
|
|
else if (n=="gcd") { symbol="gcd"; }
|
|
else if (n=="hom") { symbol="hom"; }
|
|
else if (n=="ker") { symbol="ker"; }
|
|
else if (n=="dim") { symbol="dim"; }
|
|
else if (n=="cot") { symbol="cot"; }
|
|
else if (n=="arg") { symbol="arg"; }
|
|
else if (n=="det") { symbol="det"; }
|
|
else if (n=="deg") { symbol="deg"; }
|
|
else if (n=="Pr") { symbol="Pr"; }
|
|
else if (n=="coth") { symbol="coth"; }
|
|
else {
|
|
if (parent->get_fontEncoding()==MTFEwinSymbol) {
|
|
// first we start with greek characters
|
|
font=MTSFgreek;
|
|
italic=-1;
|
|
if (n=="alpha") symbol="a";
|
|
else if (n=="beta") symbol="b";
|
|
else if (n=="gamma") symbol="g";
|
|
else if (n=="delta") symbol="d";
|
|
else if (n=="epsilon") symbol="e";
|
|
else if (n=="varepsilon") symbol="e";
|
|
else if (n=="zeta") symbol="z";
|
|
else if (n=="eta") symbol="h";
|
|
else if (n=="theta") symbol="q";
|
|
else if (n=="vartheta") symbol="J";
|
|
else if (n=="iota") symbol="i";
|
|
else if (n=="kappa") symbol="k";
|
|
else if (n=="lambda") symbol="l";
|
|
else if (n=="mu") symbol="m";
|
|
else if (n=="nu") symbol="n";
|
|
else if (n=="xi") symbol="x";
|
|
else if (n=="pi") symbol="p";
|
|
else if (n=="varpi") symbol="v";
|
|
else if (n=="rho") symbol="r";
|
|
else if (n=="sigma") symbol="s";
|
|
else if (n=="varsigma") symbol="V";
|
|
else if (n=="tau") symbol="t";
|
|
else if (n=="upsilon") symbol="u";
|
|
else if (n=="phi") symbol="f";
|
|
else if (n=="varphi") symbol="j";
|
|
else if (n=="chi") symbol="c";
|
|
else if (n=="psi") symbol="y";
|
|
else if (n=="omega") symbol="w";
|
|
else if (n=="Gamma") symbol="G";
|
|
else if (n=="Delta") symbol="D";
|
|
else if (n=="Theta") symbol="Q";
|
|
else if (n=="Lambda") symbol="L";
|
|
else if (n=="Omega") symbol="W";
|
|
else if (n=="Xi") symbol="X";
|
|
else if (n=="Pi") symbol="P";
|
|
else if (n=="Sigma") symbol="S";
|
|
else if (n=="sum") { symbol="S"; fontFactor=mathFontFactor; heightIsAscent=true; exactAscent=true; }
|
|
else if (n=="prod") { symbol="P"; fontFactor=mathFontFactor; heightIsAscent=true; exactAscent=true; }
|
|
else if (n=="Upsilon") symbol="";
|
|
else if (n=="Phi") symbol="F";
|
|
else if (n=="Psi") symbol="Y";
|
|
else {
|
|
// now we set the symbols from the Symbol font
|
|
font=MTSFsymbol;
|
|
if (n=="leftrightarrow") symbol=QChar(0xAB);
|
|
else if (n=="leftarrow") symbol=QChar(0xAC);
|
|
else if (n=="rightarrow"||n=="to") symbol=QChar(0xAE);
|
|
else if (n=="uparrow") symbol=QChar(0xAD);
|
|
else if (n=="downarrow") symbol=QChar(0xAF);
|
|
else if (n=="Leftrightarrow" || n=="iff") symbol=QChar(0xDB);
|
|
else if (n=="Leftarrow") symbol=QChar(0xDC);
|
|
else if (n=="Rightarrow") symbol=QChar(0xDE);
|
|
else if (n=="Uparrow") symbol=QChar(0xDD);
|
|
else if (n=="Downarrow") symbol=QChar(0xFF);
|
|
else if (n=="pm") symbol=QChar(0xB1);
|
|
else if (n=="leq") symbol=QChar(0xA3);
|
|
else if (n=="geq") symbol=QChar(0xB3);
|
|
else if (n=="times") symbol=QChar(0xB4);
|
|
else if (n=="propto") symbol=QChar(0xB5);
|
|
else if (n=="partial") symbol=QChar(0xB6);
|
|
else if (n=="bullet") symbol=QChar(0xB7);
|
|
else if (n=="neq"||n=="ne") symbol=QChar(0xB9);
|
|
else if (n=="equiv") symbol=QChar(0xBA);
|
|
else if (n=="approx") symbol=QChar(0xBB);
|
|
else if (n=="ellipsis") symbol=QChar(0xBC);
|
|
else if (n=="Im") symbol=QChar(0xC1);
|
|
else if (n=="Re") symbol=QChar(0xC2);
|
|
else if (n=="otimes") symbol=QChar(0xC4);
|
|
else if (n=="oplus") symbol=QChar(0xC5);
|
|
else if (n=="oslash") symbol=QChar(0xC6);
|
|
else if (n=="cap"||n=="land") symbol=QChar(0xC7);
|
|
else if (n=="cup"||n=="lor") symbol=QChar(0xC8);
|
|
else if (n=="supset") symbol=QChar(0xC9);
|
|
else if (n=="supseteq") symbol=QChar(0xCA);
|
|
else if (n=="supsetnot") symbol=QChar(0xCB);
|
|
else if (n=="subset") symbol=QChar(0xCC);
|
|
else if (n=="subseteq") symbol=QChar(0xCD);
|
|
else if (n=="in") symbol=QChar(0xCE);
|
|
else if (n=="notin") symbol=QChar(0xCF);
|
|
else if (n=="angle") symbol=QChar(0xD0);
|
|
else if (n=="nabla") symbol=QChar(0xD1);
|
|
else if (n=="copyright") symbol=QChar(0xD3);
|
|
else if (n=="registered") symbol=QChar(0xD2);
|
|
else if (n=="trademark") symbol=QChar(0xD4);
|
|
else if (n=="cdot") symbol=QChar(0xD7);
|
|
else if (n=="neg") symbol=QChar(0xD8);
|
|
else if (n=="wedge") symbol=QChar(0xD9);
|
|
else if (n=="vee") symbol=QChar(0xDA);
|
|
else if (n=="diamond") symbol=QChar(0xE0);
|
|
else if (n=="langle") symbol=QChar(0xE1);
|
|
else if (n=="rangle") symbol=QChar(0xF1);
|
|
else if (n=="int") { symbol=QChar(0xF2); fontFactor=mathFontFactor; yfactor=+0.1; }
|
|
else if (n=="forall") { symbol=QChar(0x22); }
|
|
else if (n=="exists") { symbol=QChar(0x24); }
|
|
else if (n=="cong") { symbol=QChar(0x40); }
|
|
else if (n=="bot") { symbol=QChar(0x5E); }
|
|
|
|
|
|
else if (n=="ll") { symbol="<<"; }
|
|
else if (n=="gg") { symbol=">>"; }
|
|
else if (n=="bbC") { symbol="C"; bold=+1; italic=-1; }
|
|
else if (n=="bbH") { symbol="H"; bold=+1; italic=-1; }
|
|
else if (n=="bbN") { symbol="N"; bold=+1; italic=-1; }
|
|
else if (n=="bbP") { symbol="P"; bold=+1; italic=-1; }
|
|
else if (n=="bbQ") { symbol="Q"; bold=+1; italic=-1; }
|
|
else if (n=="bbR") { symbol="R"; bold=+1; italic=-1; }
|
|
else if (n=="bbZ") { symbol="Z"; bold=+1; italic=-1; }
|
|
else if (n=="Alef" || n=="alef") symbol=QChar(0xC0);
|
|
else if (n=="tilde") symbol="~";
|
|
else if (n=="iint") { symbol=QString(2,QChar(0xF2)); fontFactor=mathFontFactor; yfactor=+0.1; }
|
|
else if (n=="iiint") { symbol=QString(3,QChar(0xF2)); fontFactor=mathFontFactor; yfactor=+0.1; }
|
|
else if (n=="emptyset") symbol=QChar(0xC6);
|
|
else if (n=="varnothing") symbol=QChar(0xC6);
|
|
else if (n=="lceil") symbol=QChar(0xE9);
|
|
else if (n=="rceil") symbol=QChar(0xF9);
|
|
else if (n=="lfloor") symbol=QChar(0xEB);
|
|
else if (n=="rfloor") symbol=QChar(0xFB);
|
|
else if (n=="subsetnot") symbol=QChar(0xCB);
|
|
else if (n=="DC") symbol="=";
|
|
else if (n=="bot") { symbol=QChar(0x5E); }
|
|
else if (n=="cdots") { symbol=QString(3,QChar(0xD7)); }
|
|
else if (n=="dots" || n=="ldots") { symbol=QChar(0xDC); }
|
|
|
|
else if (n=="cent") { symbol="c"; }
|
|
else if (n=="bigcap") { symbol=QChar(0xC7); fontFactor=2; }
|
|
else if (n=="bigcup") { symbol=QChar(0xC8); fontFactor=2; }
|
|
else if (n=="bigvee") { symbol=QChar(0xDA); fontFactor=2; }
|
|
else if (n=="bighat") { symbol=QChar(0xD9); fontFactor=2; }
|
|
|
|
else { // here are text mode symbols, i.e. bold and italic won't be touched
|
|
bold=-1;
|
|
italic=-1;
|
|
font=MTSFdefault;
|
|
if (n=="_") { symbol="_"; bold=0; italic=0; }
|
|
else if (n=="}") { symbol="}"; }
|
|
else if (n=="{") { symbol="{"; }
|
|
else if (n=="hbar") { symbol="h"; bold=0; italic=0; drawBar=true; }
|
|
else if (n=="euro") { symbol=""; bold=0; italic=0; }
|
|
else if (n=="cent") { symbol=QChar(0xA2); bold=0; italic=0; }
|
|
else if (n=="pound") { symbol=QChar(0xA3); bold=0; italic=0; }
|
|
else if (n=="yen") { symbol=QChar(0xA5); bold=0; italic=0; }
|
|
else if (n=="div") { symbol=QChar(0xF7); bold=0; italic=0; }
|
|
else if (n=="backslash") { symbol="\\"; bold=0; italic=0; }
|
|
//else if (n=="|") { symbol="||"; bold=0; italic=0; }
|
|
else if (n=="$") { symbol="$"; bold=0; italic=0; }
|
|
else if (n=="%") { symbol="%"; bold=0; italic=0; }
|
|
else if (n=="&") { symbol="&"; bold=0; italic=0; }
|
|
else if (n=="#") { symbol="#"; bold=0; italic=0; }
|
|
else if (n=="ast") { symbol="*"; bold=0; italic=0; }
|
|
else if (n=="glq") { symbol="'"; bold=0; italic=0; }
|
|
else if (n=="grq") { symbol="'"; bold=0; italic=0; }
|
|
else if (n=="glqq") { symbol="\""; bold=0; italic=0; }
|
|
else if (n=="grqq") { symbol="\""; bold=0; italic=0; }
|
|
else if (n=="flq") { symbol="<"; bold=0; italic=0; }
|
|
else if (n=="frq") { symbol=">"; bold=0; italic=0; }
|
|
else if (n=="flqq") { symbol=""; bold=0; italic=0; }
|
|
else if (n=="frqq") { symbol=""; bold=0; italic=0; }
|
|
}
|
|
//else if (n=="") { symbol=QChar(); font=MTSFdefault; }
|
|
//else if (n=="") symbol=QChar(0x);
|
|
}
|
|
} else if (parent->get_fontEncoding()==MTFEunicode) { // use UNICODE encoding for special characters
|
|
// first we start with greek characters
|
|
font=MTSFdefault; //MTSFgreek;
|
|
//std::cout<<"encoding unicode\n";
|
|
if (n=="alpha") symbol=QChar(0x3B1);
|
|
else if (n=="beta") symbol=QChar(0x3B2);
|
|
else if (n=="gamma") symbol=QChar(0x3B3);
|
|
else if (n=="delta") symbol=QChar(0x3B4);
|
|
else if (n=="epsilon") symbol=QChar(0x3B5);
|
|
else if (n=="varepsilon") symbol=QChar(0x3B5);
|
|
else if (n=="zeta") symbol=QChar(0x3B6);
|
|
else if (n=="eta") symbol=QChar(0x3B7);
|
|
else if (n=="theta") symbol=QChar(0x3B8);
|
|
else if (n=="vartheta") symbol=QChar(0x3D1);
|
|
else if (n=="iota") symbol=QChar(0x3B9);
|
|
else if (n=="kappa") symbol=QChar(0x3BA);
|
|
else if (n=="lambda") symbol=QChar(0x3BB);
|
|
else if (n=="mu") symbol=QChar(0x3BC);
|
|
else if (n=="nu") symbol=QChar(0x3BD);
|
|
else if (n=="xi") symbol=QChar(0x3BE);
|
|
else if (n=="pi") symbol=QChar(0x3C0);
|
|
else if (n=="varpi") symbol=QChar(0x3D6);
|
|
else if (n=="rho") symbol=QChar(0x3C1);
|
|
else if (n=="varrho") symbol=QChar(0x3F1);
|
|
else if (n=="sigma") symbol=QChar(0x3C3);
|
|
else if (n=="varsigma") symbol=QChar(0x3C2);
|
|
else if (n=="tau") symbol=QChar(0x3C4);
|
|
else if (n=="upsilon") symbol=QChar(0x3C5);
|
|
else if (n=="phi") symbol=QChar(0x3D5);
|
|
else if (n=="varphi") symbol=QChar(0x3C6);
|
|
else if (n=="chi") symbol=QChar(0x3C7);
|
|
else if (n=="psi") symbol=QChar(0x3C8);
|
|
else if (n=="omega") symbol=QChar(0x3C9);
|
|
else if (n=="Omega") symbol=QChar(0x3A9);
|
|
else if (n=="Gamma") symbol=QChar(0x393);
|
|
else if (n=="Delta") symbol=QChar(0x394);
|
|
else if (n=="Theta") symbol=QChar(0x398);
|
|
else if (n=="Lambda") symbol=QChar(0x39B);
|
|
else if (n=="Xi") symbol=QChar(0x39E);
|
|
else if (n=="Pi") symbol=QChar(0x3A0);
|
|
else if (n=="Sigma") symbol=QChar(0x3A3);
|
|
else if (n=="Upsilon") symbol=QChar(0x3A5);
|
|
else if (n=="Phi") symbol=QChar(0x3A6);
|
|
else if (n=="Psi") symbol=QChar(0x3A8);
|
|
else {
|
|
// now we set the symbols from the Symbol font
|
|
font=MTSFsymbol;
|
|
if (n=="leftrightarrow") symbol=QChar(0x2194);
|
|
else if (n=="leftarrow") symbol=QChar(0x2190);
|
|
else if (n=="rightarrow"||n=="to") symbol=QChar(0x2192);
|
|
else if (n=="uparrow") symbol=QChar(0x2191);
|
|
else if (n=="downarrow") symbol=QChar(0x2193);
|
|
else if (n=="updownarrow") symbol=QChar(0x2195);
|
|
else if (n=="Leftrightarrow" || n=="iff") symbol=QChar(0x21D4);
|
|
else if (n=="Leftarrow") symbol=QChar(0x21D0);
|
|
else if (n=="Rightarrow") symbol=QChar(0x21D2);
|
|
else if (n=="Uparrow") symbol=QChar(0x21D1);
|
|
else if (n=="Downarrow") symbol=QChar(0x21D3);
|
|
else if (n=="Updownarrow") symbol=QChar(0x21D5);
|
|
else if (n=="sum") { symbol=QChar(0x2211); heightIsAscent=true; exactAscent=true; }
|
|
else if (n=="prod") { symbol=QChar(0x220F); heightIsAscent=true; exactAscent=true; }
|
|
else if (n=="pm") symbol=QChar(0x00B1);
|
|
else if (n=="mp") symbol=QChar(0x2213);
|
|
else if (n=="leq") symbol=QChar(0x2264);
|
|
else if (n=="geq") symbol=QChar(0x2265);
|
|
|
|
else if (n=="ll") symbol=QChar(0x226A);
|
|
else if (n=="gg") symbol=QChar(0x226B);
|
|
else if (n=="hbar") symbol=QChar(0x210F);
|
|
else if (n=="euro") symbol=QChar(0x20AC);
|
|
else if (n=="bbC") {symbol=QChar(0x2102); italic=-1; }
|
|
else if (n=="bbH") {symbol=QChar(0x210D); italic=-1; }
|
|
else if (n=="bbN") {symbol=QChar(0x2115); italic=-1; }
|
|
else if (n=="bbP") {symbol=QChar(0x2119); italic=-1; }
|
|
else if (n=="bbQ") {symbol=QChar(0x211A); italic=-1; }
|
|
else if (n=="bbR") {symbol=QChar(0x211D); italic=-1; }
|
|
else if (n=="bbZ") {symbol=QChar(0x2124); italic=-1; }
|
|
else if (n=="Angstrom") symbol=QChar(0x212B);
|
|
else if (n=="Alef" || n=="alef") symbol=QChar(0x2135);
|
|
else if (n=="Bet" || n=="bet") symbol=QChar(0x2136);
|
|
else if (n=="Gimel" || n=="gimel") symbol=QChar(0x2137);
|
|
else if (n=="Dalet" || n=="dalet") symbol=QChar(0x2138);
|
|
else if (n=="nexists") { symbol=QChar(0x2204); }
|
|
else if (n=="ni") symbol=QChar(0x220B);
|
|
else if (n=="notni") symbol=QChar(0x220C);
|
|
else if (n=="circ") symbol=QChar(0x2218);
|
|
else if (n=="tilde") symbol=QChar(0x223C);
|
|
else if (n=="iint") { symbol=QChar(0x222C); fontFactor=mathFontFactor; /*yfactor=+0.1;*/ heightIsAscent=true; exactAscent=true; }
|
|
else if (n=="iiint") { symbol=QChar(0x222D); fontFactor=mathFontFactor; /*yfactor=+0.1;*/ heightIsAscent=true; exactAscent=true; }
|
|
else if (n=="oint") { symbol=QChar(0x222E); fontFactor=mathFontFactor; /*yfactor=+0.1;*/ heightIsAscent=true; exactAscent=true; }
|
|
else if (n=="oiint") { symbol=QChar(0x222F); fontFactor=mathFontFactor; /*yfactor=+0.1;*/ heightIsAscent=true; exactAscent=true; }
|
|
else if (n=="oiiint") { symbol=QChar(0x2230); fontFactor=mathFontFactor; /*yfactor=+0.1;*/ heightIsAscent=true; exactAscent=true; }
|
|
else if (n=="emptyset") symbol=QChar(0x2300);
|
|
else if (n=="varnothing") symbol=QChar(0x2300);
|
|
else if (n=="odot") symbol=QChar(0x2299);
|
|
else if (n=="ominus") symbol=QChar(0x2296);
|
|
else if (n=="lceil") symbol=QChar(0x2308);
|
|
else if (n=="rceil") symbol=QChar(0x2309);
|
|
else if (n=="lfloor") symbol=QChar(0x230A);
|
|
else if (n=="rfloor") symbol=QChar(0x230B);
|
|
else if (n=="subsetnot") symbol=QChar(0x2284);
|
|
else if (n=="DC") symbol=QChar(0x2393);
|
|
else if (n=="bot") { symbol=QChar(0x22A4); }
|
|
else if (n=="cdots") { symbol=QString(QChar(0x00B7))+QString(QChar(0x00B7))+QString(QChar(0x00B7)); }//QChar(0x22EF); }
|
|
else if (n=="vdots") { symbol=QChar(0x22EE); }
|
|
else if (n=="iddots") { symbol=QChar(0x22F0); }
|
|
else if (n=="ddots") { symbol=QChar(0x22F1); }
|
|
else if (n=="dots" || n=="ldots") { symbol="..."; }//QChar(0x2026); }
|
|
else if (n=="perthousand") { symbol=QChar(0x2030); }
|
|
else if (n=="leftharpoonup") { symbol=QChar(0x21BC); }
|
|
else if (n=="rightharpoonup") { symbol=QChar(0x21C0); }
|
|
else if (n=="upharpoonleft") { symbol=QChar(0x21BF); }
|
|
else if (n=="downharpoonleft") { symbol=QChar(0x21C3); }
|
|
else if (n=="leftrightharpoon") { symbol=QChar(0x21CB); }
|
|
else if (n=="rightleftharpoon") { symbol=QChar(0x21CC); }
|
|
else if (n=="coprod") { symbol=QChar(0x2210); heightIsAscent=true; exactAscent=true; }
|
|
else if (n=="leftharpoondown") { symbol=QChar(0x21BD); }
|
|
else if (n=="rightharpoondown") { symbol=QChar(0x21C1); }
|
|
else if (n=="upharpoonright") { symbol=QChar(0x21BE); }
|
|
else if (n=="downharpoonright") { symbol=QChar(0x21C2); }
|
|
else if (n=="nwarrow") { symbol=QChar(0x2196); }
|
|
else if (n=="nearrow") { symbol=QChar(0x2197); }
|
|
else if (n=="searrow") { symbol=QChar(0x2198); }
|
|
else if (n=="swarrow") { symbol=QChar(0x2199); }
|
|
else if (n=="mapsto") { symbol=QChar(0x21A6); }
|
|
else if (n=="cent") { symbol=QChar(0x00A2); }
|
|
else if (n=="pound") { symbol=QChar(0x00A3); }
|
|
else if (n=="yen") { symbol=QChar(0x00A5); }
|
|
else if (n=="div") { symbol=QChar(0x00F7); }
|
|
else if (n=="multimap") { symbol=QChar(0x22B8); }
|
|
else if (n=="maporiginal") { symbol=QChar(0x22B6); }
|
|
else if (n=="mapimage") { symbol=QChar(0x22B7); }
|
|
else if (n=="bigcap") { symbol=QChar(0x22C2); heightIsAscent=true; exactAscent=true; heightIsAscent=true; exactAscent=true; }
|
|
else if (n=="bigcup") { symbol=QChar(0x22C3); heightIsAscent=true; exactAscent=true; heightIsAscent=true; exactAscent=true; }
|
|
else if (n=="bigvee") { symbol=QChar(0x22C1); heightIsAscent=true; exactAscent=true; heightIsAscent=true; exactAscent=true; }
|
|
else if (n=="bighat") { symbol=QChar(0x22C0); heightIsAscent=true; exactAscent=true; heightIsAscent=true; exactAscent=true; }
|
|
else if (n=="benzene") symbol=QChar(0x232C);
|
|
|
|
else if (n=="times") symbol=QChar(0x2A2F);
|
|
else if (n=="propto") symbol=QChar(0x221D);
|
|
else if (n=="partial") symbol=QChar(0x2202);
|
|
else if (n=="bullet") symbol=QChar(0x2219);
|
|
else if (n=="neq"||n=="ne") symbol=QChar(0x2260);
|
|
else if (n=="equiv") symbol=QChar(0x2261);
|
|
else if (n=="approx") symbol=QChar(0x2245);
|
|
else if (n=="ellipsis") symbol=QChar(0x2026);
|
|
else if (n=="Im") symbol=QChar(0x2111);
|
|
else if (n=="Re") symbol=QChar(0x211C);
|
|
else if (n=="otimes") symbol=QChar(0x2297);
|
|
else if (n=="oplus") symbol=QChar(0x2295);
|
|
else if (n=="oslash") symbol=QChar(0x2298);
|
|
else if (n=="cap"||n=="land") symbol=QChar(0x2229);
|
|
else if (n=="cup"||n=="lor") symbol=QChar(0x222A);
|
|
else if (n=="supset") symbol=QChar(0x2283);
|
|
else if (n=="supseteq") symbol=QChar(0x2286);
|
|
else if (n=="supsetnot") symbol=QChar(0x2285);
|
|
else if (n=="subset") symbol=QChar(0x2282);
|
|
else if (n=="subseteq") symbol=QChar(0x2286);
|
|
else if (n=="in") symbol=QChar(0x2208);
|
|
else if (n=="notin") symbol=QChar(0x2209);
|
|
else if (n=="angle") symbol=QChar(0x2221);
|
|
else if (n=="nabla") symbol=QChar(0x2207);
|
|
else if (n=="copyright") symbol=QChar(0x00A9);
|
|
else if (n=="registered") symbol=QChar(0x00AE);
|
|
else if (n=="trademark") symbol=QChar(0x2122);
|
|
else if (n=="cdot") symbol=QChar(0x00B7);
|
|
else if (n=="neg") symbol=QChar(0x00AC);
|
|
else if (n=="wedge") symbol=QChar(0x2227);
|
|
else if (n=="vee") symbol=QChar(0x2228);
|
|
else if (n=="diamond") symbol=QChar(0xE0);
|
|
else if (n=="langle") symbol=QChar(0x2329);
|
|
else if (n=="rangle") symbol=QChar(0x232A);
|
|
else if (n=="int") { symbol=QChar(0x222B); fontFactor=mathFontFactor; /*yfactor=+0.1;*/ heightIsAscent=true; exactAscent=true; }
|
|
else if (n=="infty") { symbol=QChar(0x221E); }
|
|
else if (n=="forall") { symbol=QChar(0x2200); }
|
|
else if (n=="exists") { symbol=QChar(0x2203); }
|
|
else if (n=="cong") { symbol=QChar(0x2245); }
|
|
else if (n=="bot") { symbol=QChar(0x22A5); }
|
|
|
|
else { // here are text mode symbols, i.e. bold and italic won't be touched
|
|
bold=-1;
|
|
italic=-1;
|
|
font=MTSFdefault;
|
|
if (n=="_") { symbol="_"; }
|
|
else if (n=="}") { symbol="}"; }
|
|
else if (n=="{") { symbol="{"; }
|
|
else if (n=="backslash") { symbol="\\"; bold=0; italic=0; }
|
|
//else if (n=="|") { symbol=QChar(0x2016); }
|
|
else if (n=="$") { symbol="$"; }
|
|
else if (n=="%") { symbol="%"; }
|
|
else if (n=="&") { symbol="&"; }
|
|
else if (n=="#") { symbol="#"; }
|
|
else if (n=="ast") { symbol="*"; }
|
|
else if (n=="glq") { symbol=QChar(0x2018); bold=0; italic=0; }
|
|
else if (n=="grq") { symbol=QChar(0x2019); bold=0; italic=0; }
|
|
else if (n=="glqq") { symbol=QChar(0x201C); bold=0; italic=0; }
|
|
else if (n=="grqq") { symbol=QChar(0x201D); bold=0; italic=0; }
|
|
else if (n=="flq") { symbol=QChar(0x2039); bold=0; italic=0; }
|
|
else if (n=="frq") { symbol=QChar(0x203A); bold=0; italic=0; }
|
|
else if (n=="flqq") { symbol=""; bold=0; italic=0; }
|
|
else if (n=="frqq") { symbol=""; bold=0; italic=0; }
|
|
}
|
|
//else if (n=="") { symbol=QChar(); font=MTSFdefault; }
|
|
//else if (n=="") symbol=QChar(0x);
|
|
}
|
|
} else if (parent->get_fontEncoding()==MTFElatex) { // use UNICODE encoding for special characters
|
|
// first we start with greek characters
|
|
font=MTSFdefault; //MTSFgreek;
|
|
//std::cout<<"encoding unicode\n";
|
|
if (n=="_") { symbol="_"; }
|
|
else if (n=="}") { symbol="}"; }
|
|
else if (n=="{") { symbol="{"; }
|
|
else if (n=="backslash") { symbol="\\"; bold=0; italic=0; }
|
|
//else if (n=="|") { symbol=QChar(0x2016); }
|
|
else if (n=="$") { symbol="$"; }
|
|
else if (n=="%") { symbol="%"; }
|
|
else if (n=="&") { symbol="&"; }
|
|
else if (n=="#") { symbol="#"; }
|
|
else if (n=="ast") { symbol="*"; }
|
|
else if (n=="glq") { symbol=QChar(0x27); }
|
|
else if (n=="grq") { symbol=QChar(0x60); }
|
|
else if (n=="glqq") { symbol=QChar(0x5C); }
|
|
else if (n=="grqq") { symbol="\""; }
|
|
//else if (n=="flq") { symbol=QChar(0x2039); }
|
|
//else if (n=="frq") { symbol=QChar(0x203A); }
|
|
//else if (n=="flqq") { symbol=""; }
|
|
//else if (n=="frqq") { symbol=""; }
|
|
else {
|
|
font=MTSFgreek;
|
|
if (n=="alpha") symbol=QChar(0xAE);
|
|
else if (n=="beta") symbol=QChar(0xAF);
|
|
else if (n=="gamma") symbol=QChar(0xB0);
|
|
else if (n=="delta") symbol=QChar(0xB1);
|
|
else if (n=="epsilon") symbol=QChar(0x22);
|
|
else if (n=="varepsilon") symbol=QChar(0xB2);
|
|
else if (n=="zeta") symbol=QChar(0xB3);
|
|
else if (n=="eta") symbol=QChar(0xB4);
|
|
else if (n=="theta") symbol=QChar(0xB5);
|
|
else if (n=="vartheta") symbol=QChar(0x23);
|
|
else if (n=="iota") symbol=QChar(0xB6);
|
|
else if (n=="kappa") symbol=QChar(0xB7);
|
|
else if (n=="lambda") symbol=QChar(0xB8);
|
|
else if (n=="mu") symbol=QChar(0xB9);
|
|
else if (n=="nu") symbol=QChar(0xBA);
|
|
else if (n=="xi") symbol=QChar(0xBB);
|
|
else if (n=="pi") symbol=QChar(0xBC);
|
|
else if (n=="varpi") symbol=QChar(0x24);
|
|
else if (n=="rho") symbol=QChar(0xBD);
|
|
else if (n=="varrho") symbol=QChar(0x25);
|
|
else if (n=="sigma") symbol=QChar(0xBE);
|
|
else if (n=="varsigma") symbol=QChar(0x26);
|
|
else if (n=="tau") symbol=QChar(0xBF);
|
|
else if (n=="upsilon") symbol=QChar(0xC0);
|
|
else if (n=="phi") symbol=QChar(0xC1);
|
|
else if (n=="varphi") symbol=QChar(0x27);
|
|
else if (n=="chi") symbol=QChar(0xC2);
|
|
else if (n=="psi") symbol=QChar(0xC3);
|
|
else if (n=="omega") symbol=QChar(0x21);
|
|
//else if (n=="Omega") symbol=QChar(0x3A9);
|
|
else if (n=="Gamma") symbol=QChar(0xA1);
|
|
else if (n=="Delta") symbol=QChar(0xA2);
|
|
else if (n=="Theta") symbol=QChar(0xA3);
|
|
else if (n=="Lambda") symbol=QChar(0xA4);
|
|
else if (n=="Xi") symbol=QChar(0xA5);
|
|
else if (n=="Pi") symbol=QChar(0xA6);
|
|
else if (n=="Sigma") symbol=QChar(0xA7);
|
|
else if (n=="Upsilon") symbol=QChar(0xA8);
|
|
else if (n=="Phi") symbol=QChar(0xA9);
|
|
else if (n=="Psi") symbol=QChar(0xAA);
|
|
else if (n=="leftharpoonup") { symbol=QChar(0x28); }
|
|
else if (n=="rightharpoonup") { symbol=QChar(0x2A); }
|
|
else if (n=="leftharpoondown") { symbol=QChar(0x29); }
|
|
else if (n=="rightharpoondown") { symbol=QChar(0x2B); }
|
|
else if (n=="neg") symbol=QChar(0xAC);
|
|
else if (n=="star") symbol=QChar(0x3F);
|
|
else {
|
|
// now we set the symbols from the Symbol font
|
|
font=MTSFsymbol;
|
|
if (n=="leftrightarrow") symbol=QChar(0x24);
|
|
else if (n=="leftarrow") symbol=QChar(0xc3);
|
|
else if (n=="rightarrow"||n=="to") symbol=QChar(0x21);
|
|
else if (n=="uparrow") symbol=QChar(0x22);
|
|
else if (n=="downarrow") symbol=QChar(0x23);
|
|
else if (n=="updownarrow") symbol=QChar(0x6c);
|
|
else if (n=="Leftrightarrow" || n=="iff") symbol=QChar(0x2c);
|
|
else if (n=="Leftarrow") symbol=QChar(0x28);
|
|
else if (n=="Rightarrow") symbol=QChar(0x29);
|
|
else if (n=="Uparrow") symbol=QChar(0x2a);
|
|
else if (n=="Downarrow") symbol=QChar(0x2b);
|
|
else if (n=="Updownarrow") symbol=QChar(0x6d);
|
|
|
|
else if (n=="pm") symbol=QChar(0xa7);
|
|
else if (n=="mp") symbol=QChar(0xa8);
|
|
else if (n=="leq") symbol=QChar(0xb7);
|
|
else if (n=="geq") symbol=QChar(0xb8);
|
|
|
|
else if (n=="ll") symbol=QChar(0xbf);
|
|
else if (n=="gg") symbol=QChar(0xc0);
|
|
//else if (n=="euro") symbol=QChar(0x20AC);
|
|
else if (n=="Alef" || n=="alef") symbol=QChar(0x40);
|
|
//else if (n=="Bet") symbol=QChar(0x2136);
|
|
//else if (n=="Gimel") symbol=QChar(0x2137);
|
|
//else if (n=="Dalet") symbol=QChar(0x2138);
|
|
else if (n=="ni") symbol=QChar(0x33);
|
|
else if (n=="circ") symbol=QChar(0xb1);
|
|
|
|
else if (n=="tilde") symbol=QChar(0xbb);
|
|
else if (n=="emptyset") symbol=QChar(0x3b);
|
|
else if (n=="odot") symbol=QChar(0xaf);
|
|
else if (n=="ominus") symbol=QChar(0xaa);
|
|
else if (n=="odiv") symbol=QChar(0xae);
|
|
else if (n=="oplus") symbol=QChar(0xa9);
|
|
else if (n=="lceil") symbol=QChar(0x64);
|
|
else if (n=="rceil") symbol=QChar(0x65);
|
|
else if (n=="lfloor") symbol=QChar(0x62);
|
|
else if (n=="rfloor") symbol=QChar(0x63);
|
|
|
|
else if (n=="bot") { symbol=QChar(0x3f); }
|
|
else if (n=="cdots") { symbol=QString(3,QChar(0xA2)); }
|
|
else if (n=="dots") { symbol="..."; }
|
|
|
|
else if (n=="nwarrow") { symbol=QChar(0x2d); }
|
|
else if (n=="nearrow") { symbol=QChar(0x25); }
|
|
else if (n=="searrow") { symbol=QChar(0x26); }
|
|
else if (n=="swarrow") { symbol=QChar(0x2e); }
|
|
|
|
else if (n=="div") { symbol=QChar(0xa5); }
|
|
|
|
else if (n=="times") symbol=QChar(0xa3);
|
|
else if (n=="propto") symbol=QChar(0x2f);
|
|
else if (n=="bullet") symbol=QChar(0x2b);
|
|
else if (n=="equiv") symbol=QChar(0xb4);
|
|
else if (n=="approx") symbol=QChar(0xbc);
|
|
else if (n=="ellipsis") symbol="...";
|
|
else if (n=="Im") symbol=QChar(0x3D);
|
|
else if (n=="Re") symbol=QChar(0x3C);
|
|
//else if (n=="otimes") symbol=QChar(0x2297);
|
|
else if (n=="oplus") symbol=QChar(0xa9);
|
|
else if (n=="oslash") symbol=QChar(0xae);
|
|
else if (n=="cap"||n=="land") symbol=QChar(0x5c);
|
|
else if (n=="cup"||n=="lor") symbol=QChar(0x5b);
|
|
else if (n=="supset") symbol=QChar(0xbe);
|
|
else if (n=="supseteq") symbol=QChar(0xb6);
|
|
else if (n=="subset") symbol=QChar(0xbd);
|
|
else if (n=="subseteq") symbol=QChar(0xb5);
|
|
|
|
else if (n=="in") symbol=QChar(0x32);
|
|
else if (n=="nabla") symbol=QChar(0x35);
|
|
else if (n=="cdot") symbol=QChar(0xa2);
|
|
else if (n=="wedge") symbol=QChar(0x5e);
|
|
else if (n=="vee") symbol=QChar(0x5f);
|
|
else if (n=="diamond") symbol=QChar(0xE0);
|
|
else if (n=="langle") symbol=QChar(0x68);
|
|
else if (n=="rangle") symbol=QChar(0x69);
|
|
else if (n=="int") { symbol=QChar(0x73); fontFactor=mathFontFactor; yfactor=+0.1; }
|
|
else if (n=="infty") { symbol=QChar(0x31); }
|
|
else if (n=="forall") { symbol=QChar(0x38); }
|
|
else if (n=="exists") { symbol=QChar(0x39); }
|
|
else if (n=="cong") { symbol=QChar(0xbb); }
|
|
else if (n=="bot") { symbol=QChar(0x3f); }
|
|
|
|
else { // here are text mode symbols, i.e. bold and italic won't be touched
|
|
font=MTSFbraces;
|
|
if (n=="bigcap") { symbol=QChar(0x5c); heightIsAscent=true; exactAscent=true; }
|
|
else if (n=="bigcup") { symbol=QChar(0x5b); heightIsAscent=true; exactAscent=true; }
|
|
else if (n=="bigvee") { symbol=QChar(0x5F); heightIsAscent=true; exactAscent=true; }
|
|
else if (n=="bighat") { symbol=QChar(0x5E); heightIsAscent=true; exactAscent=true; }
|
|
else if (n=="oint") { symbol=QChar(0x49); yfactor=+0.1; }
|
|
//else if (n=="oiint") { symbol=QChar(0x222F); fontFactor=mathFontFactor; yfactor=+0.1; }
|
|
//else if (n=="oiiint") { symbol=QChar(0x2230); fontFactor=mathFontFactor; yfactor=+0.1; }
|
|
else if (n=="coprod") { symbol=QChar(0x61); heightIsAscent=true; exactAscent=true; }
|
|
else if (n=="iint") { symbol=QString(2,QChar(0x5A)); yfactor=+0.1; }
|
|
else if (n=="iiint") { symbol=QString(3,QChar(0x5A)); yfactor=+0.1; }
|
|
else if (n=="sum") { symbol=QChar(0x58); heightIsAscent=true; exactAscent=true; }
|
|
else if (n=="prod") { symbol=QChar(0x59); heightIsAscent=true; exactAscent=true; }
|
|
|
|
|
|
/*else if (n=="angle") symbol=QChar(0x2221);
|
|
else if (n=="supsetnot") symbol=QChar(0x2285);
|
|
else if (n=="notin") symbol=QChar(0x2209);
|
|
else if (n=="multimap") { symbol=QChar(0x22B8); }
|
|
else if (n=="neq") symbol=QChar(0x2260);
|
|
else if (n=="maporiginal") { symbol=QChar(0x22B6); }
|
|
else if (n=="mapimage") { symbol=QChar(0x22B7); }
|
|
else if (n=="partial") symbol=QChar(0x2202);
|
|
else if (n=="benzene") symbol=QChar(0x232C);
|
|
else if (n=="perthousand") { symbol=QChar(0x2030); }
|
|
else if (n=="upharpoonleft") { symbol=QChar(0x21BF); }
|
|
else if (n=="downharpoonleft") { symbol=QChar(0x21C3); }
|
|
else if (n=="leftrightharpoon") { symbol=QChar(0x21CB); }
|
|
else if (n=="rightleftharpoon") { symbol=QChar(0x21CC); }
|
|
else if (n=="upharpoonright") { symbol=QChar(0x21BE); }
|
|
else if (n=="downharpoonright") { symbol=QChar(0x21C2); }
|
|
else if (n=="varnothing") symbol=QChar(0x2300);
|
|
else if (n=="mapsto") { symbol=QChar(0x21A6); }
|
|
else if (n=="cent") { symbol=QChar(0x00A2); }
|
|
else if (n=="pound") { symbol=QChar(0x00A3); }
|
|
else if (n=="yen") { symbol=QChar(0x00A5); }
|
|
else if (n=="hbar") symbol=QChar(0x210F);
|
|
else if (n=="nexists") { symbol=QChar(0x2204); }
|
|
else if (n=="notni") symbol=QChar(0x220C);
|
|
else if (n=="subsetnot") symbol=QChar(0x2284);*/
|
|
//else if (n=="DC") symbol=QChar(0x2393);
|
|
//else if (n=="copyright") symbol=QChar(0x00A9);
|
|
//else if (n=="registered") symbol=QChar(0x00AE);
|
|
//else if (n=="trademark") symbol=QChar(0x2122);
|
|
}
|
|
//else if (n=="") { symbol=QChar(); font=MTSFdefault; }
|
|
//else if (n=="") symbol=QChar(0x);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
if (addWhitespace) symbol=symbol+" ";
|
|
//std::cout<<"symbol node '"<<symbolName.toStdString()<<"': symbol='"<<symbol.toStdString()<<"'\n";
|
|
}
|
|
|
|
JKQTmathText::MTsymbolNode::~MTsymbolNode() {
|
|
}
|
|
|
|
QString JKQTmathText::MTsymbolNode::getTypeName() const
|
|
{
|
|
return QLatin1String("MTsymbolNode(")+symbolName+QLatin1String(")");
|
|
}
|
|
|
|
QFont JKQTmathText::MTsymbolNode::getFontName(symbolFont f, QFont& fi) {
|
|
QFont fr=fi;
|
|
switch(f) {
|
|
case MTSFgreek: fr.setFamily(parent->get_fontGreek()); break;
|
|
case MTSFsymbol: fr.setFamily(parent->get_fontSymbol()); break;
|
|
case MTSFbraces: fr.setFamily(parent->get_fontBraces()); break;
|
|
case MTSFintegrals: fr.setFamily(parent->get_fontIntegrals()); break;
|
|
case MTSFcaligraphic: fr.setFamily(parent->get_fontCaligraphic()); break;
|
|
case MTSFblackboard: fr.setFamily(parent->get_fontBlackboard()); break;
|
|
default: break;
|
|
}
|
|
return fr;
|
|
}
|
|
|
|
void JKQTmathText::MTsymbolNode::getSizeInternal(QPainter& painter, JKQTmathText::MTenvironment currentEv, double& width, double& baselineHeight, double& overallHeight, double& strikeoutPos) {
|
|
QFont f=currentEv.getFont(parent);
|
|
f=getFontName(font, f);
|
|
f.setPointSizeF(f.pointSizeF()*fontFactor);
|
|
if (italic<0) f.setItalic(false);
|
|
if (italic>0) f.setItalic(true);
|
|
if (bold<0) f.setBold(false);
|
|
if (bold>0) f.setBold(true);
|
|
QFontMetricsF fm(f, painter.device());
|
|
QString symb=symbol;
|
|
width=0;
|
|
if (currentEv.insideMath) width=qMax(parent->getTBR(f, symb, painter.device()).width(),parent->getTBR(f, "i", painter.device()).width());//fm.width(symbol);
|
|
else width=fm.boundingRect(symb).width();//fm.width(symbol);
|
|
|
|
width=qMax(fm.width("j"), width);
|
|
if (symb.isEmpty()) {
|
|
width=fm.width("a");
|
|
if (symbolName=="|") width=fm.width("1")*0.8;
|
|
else if (symbolName=="infty") width=fm.width("M");
|
|
else if (symbolName==" ") width=parent->getTBR(f, "x", painter.device()).width();
|
|
else if (symbolName==";") width=parent->getTBR(f, "x", painter.device()).width()*0.75;
|
|
else if (symbolName==":") width=parent->getTBR(f, "x", painter.device()).width()*0.5;
|
|
else if (symbolName==",") width=parent->getTBR(f, "x", painter.device()).width()*0.25;
|
|
else if (symbolName=="!") width=-parent->getTBR(f, "x", painter.device()).width()*0.25;
|
|
else if (symbolName=="longleftarrow") { width=parent->getTBR(f, "X", painter.device()).width()*3.5; symb="x"; }
|
|
else if (symbolName=="longrightarrow") { width=parent->getTBR(f, "X", painter.device()).width()*3.5; symb="x"; }
|
|
else if (symbolName=="Longleftarrow") { width=parent->getTBR(f, "X", painter.device()).width()*3.5; symb="x"; }
|
|
else if (symbolName=="Longrightarrow") { width=parent->getTBR(f, "X", painter.device()).width()*3.5; symb="x"; }
|
|
else if (symbolName=="longleftrightarrow") { width=parent->getTBR(f, "X", painter.device()).width()*3.5; symb="x"; }
|
|
else if (symbolName=="Longleftrightarrow") { width=parent->getTBR(f, "X", painter.device()).width()*3.5; symb="x"; }
|
|
}
|
|
QRectF tbr=parent->getTBR(f, symb, painter.device());
|
|
overallHeight=tbr.height();// fm.height();
|
|
baselineHeight=tbr.height()-tbr.bottom();
|
|
if (exactAscent) {
|
|
//baselineHeight=fm.ascent()*0.8;
|
|
}
|
|
if (heightIsAscent) {
|
|
overallHeight=baselineHeight*1.1;
|
|
}
|
|
if (exactAscent && heightIsAscent) {
|
|
//qDebug()<<symbolName<<symbol<<tbr.top()<<tbr.bottom()<<tbr.height();
|
|
baselineHeight=tbr.height()-tbr.bottom();//fm.ascent()*0.8;
|
|
overallHeight=tbr.height();//baselineHeight*1.1;
|
|
}
|
|
strikeoutPos=fm.strikeOutPos();
|
|
|
|
if (extendWidthInMathmode && currentEv.insideMath) width=width*parent->get_mathoperator_width_factor();
|
|
|
|
}
|
|
|
|
double JKQTmathText::MTsymbolNode::draw(QPainter& painter, double x, double y, JKQTmathText::MTenvironment currentEv) {
|
|
doDrawBoxes(painter, x, y, currentEv);
|
|
double width=0;
|
|
double baselineHeight=0;
|
|
double overallHeight=0, strikeoutPos=0;
|
|
getSize(painter, currentEv, width, baselineHeight, overallHeight, strikeoutPos);
|
|
QPen pold=painter.pen();
|
|
QFont fold=painter.font();
|
|
QFont f=currentEv.getFont(parent);
|
|
QFont f1=f;
|
|
f=getFontName(font, f);
|
|
f.setPointSizeF(f.pointSizeF()*fontFactor);
|
|
if (italic<0) f.setItalic(false);
|
|
if (italic>0) f.setItalic(true);
|
|
if (bold<0) f.setBold(false);
|
|
if (bold>0) f.setBold(true);
|
|
QFontMetricsF fm(f, painter.device());
|
|
QFontMetricsF fm1(f1, painter.device());
|
|
painter.setFont(f);
|
|
|
|
if (extendWidthInMathmode && currentEv.insideMath) {
|
|
x=x+0.5*width*parent->get_mathoperator_width_factor();
|
|
}
|
|
|
|
//std::cout<<"symbol '"<<symbolName.toStdString()<<"' = "<<std::hex<<symbol.at(0).digitValue()<<" in font '"<<f.family().toStdString()<<"' ("<<QFontInfo(f).family().toStdString()<<"): "<<fm.inFont(symbol.at(0))<<std::endl;
|
|
|
|
QPen p=painter.pen();
|
|
p.setColor(currentEv.color);
|
|
p.setWidthF(qMax(JKQTMATHTEXT_ABS_MIN_LINEWIDTH, fm.lineWidth()));
|
|
p.setStyle(Qt::SolidLine);
|
|
painter.setPen(p);
|
|
double xwi=fm.width("x");
|
|
if (!symbol.isEmpty()) {
|
|
// if the symbol has been recognized in the constructor: draw the symbol
|
|
painter.drawText(QPointF(x, y+yfactor*overallHeight), symbol);
|
|
double xx=x;
|
|
double yy=y-fm.xHeight()-(parent->getTBR(f, "M", painter.device()).height()-fm.xHeight())/3.0;
|
|
QLineF l(xx, yy, xx+xwi/3.0+((currentEv.italic)?(xwi/3.0):0), yy);
|
|
if (drawBar&&l.length()>0) painter.drawLine(l);
|
|
|
|
// try to draw some often used special symbols, by synthesizing them from
|
|
// standard characters in the current drawing font
|
|
} else if (symbolName=="infty") {
|
|
//std::cout<<"draw infty\n";
|
|
f1.setItalic(false);
|
|
painter.setFont(f1);
|
|
painter.save();
|
|
painter.translate(x+fm1.width("8")/3.0, y-fm1.xHeight());
|
|
painter.rotate(90);
|
|
painter.drawText(QPointF(0,0), "8");
|
|
painter.restore();
|
|
} else if (symbolName=="|") {
|
|
//std::cout<<"draw infty\n";
|
|
f1.setItalic(false);
|
|
painter.setFont(f1);
|
|
|
|
painter.save();
|
|
painter.translate(x, y);
|
|
painter.drawText(QPointF(0,0), "|");
|
|
painter.translate(fm1.width("8")/3.0, 0);
|
|
painter.drawText(QPointF(0,0), "|");
|
|
painter.restore();
|
|
|
|
// here are some spaces
|
|
} else if (symbolName==" ") { // full space
|
|
} else if (symbolName==";") { // 75% space
|
|
} else if (symbolName==":") { // 50% space
|
|
} else if (symbolName==",") { // 25% space
|
|
} else if (symbolName=="!") { // -25% space
|
|
} else if (symbolName=="longleftarrow") {
|
|
double width=parent->getTBR(f, "X", painter.device()).width()*3.0;
|
|
double dx=parent->getTBR(f, "X", painter.device()).width()*0.25;
|
|
double ypos=y-parent->getTBR(f, "x", painter.device()).height()/2.0;
|
|
QPainterPath path=makeArrow(x+dx, ypos, width, parent->getTBR(f, "M", painter.device()).height()*0.5, true, false);
|
|
painter.drawPath(path);
|
|
} else if (symbolName=="longrightarrow"){
|
|
double width=parent->getTBR(f, "X", painter.device()).width()*3.0;
|
|
double dx=parent->getTBR(f, "X", painter.device()).width()*0.25;
|
|
double ypos=y-parent->getTBR(f, "x", painter.device()).height()/2.0;
|
|
QPainterPath path=makeArrow(x+dx, ypos, width, parent->getTBR(f, "M", painter.device()).height()*0.5, false, true);
|
|
painter.drawPath(path);
|
|
} else if (symbolName=="Longleftarrow") {
|
|
double width=parent->getTBR(f, "X", painter.device()).width()*3.0;
|
|
double dx=parent->getTBR(f, "X", painter.device()).width()*0.25;
|
|
double ypos=y-parent->getTBR(f, "x", painter.device()).height()/2.0;
|
|
QPainterPath path=makeDArrow(x+dx, ypos, width, parent->getTBR(f, "M", painter.device()).height()*0.5, true, false);
|
|
painter.drawPath(path);
|
|
} else if (symbolName=="Longrightarrow") {
|
|
double width=parent->getTBR(f, "X", painter.device()).width()*3.0;
|
|
double dx=parent->getTBR(f, "X", painter.device()).width()*0.25;
|
|
double ypos=y-parent->getTBR(f, "x", painter.device()).height()/2.0;
|
|
QPainterPath path=makeDArrow(x+dx, ypos, width, parent->getTBR(f, "M", painter.device()).height()*0.5, false, true);
|
|
painter.drawPath(path);
|
|
} else if (symbolName=="longleftrightarrow") {
|
|
double width=parent->getTBR(f, "X", painter.device()).width()*3.0;
|
|
double dx=parent->getTBR(f, "X", painter.device()).width()*0.25;
|
|
double ypos=y-parent->getTBR(f, "x", painter.device()).height()/2.0;
|
|
QPainterPath path=makeArrow(x+dx, ypos, width, parent->getTBR(f, "M", painter.device()).height()*0.5, true, true);
|
|
painter.drawPath(path);
|
|
} else if (symbolName=="Longleftrightarrow") {
|
|
double width=parent->getTBR(f, "X", painter.device()).width()*3.0;
|
|
double dx=parent->getTBR(f, "X", painter.device()).width()*0.25;
|
|
double ypos=y-parent->getTBR(f, "x", painter.device()).height()/2.0;
|
|
QPainterPath path=makeDArrow(x+dx, ypos, width, parent->getTBR(f, "M", painter.device()).height()*0.5, true, true);
|
|
painter.drawPath(path);
|
|
} else { // draw a box to indicate an unavailable symbol
|
|
QRectF tbr=parent->getTBR(f, "M", painter.device());
|
|
painter.drawRect(QRectF(x,y-tbr.height(), xwi, tbr.height()*0.8));
|
|
}
|
|
painter.setPen(pold);
|
|
painter.setFont(fold);
|
|
return x+width;
|
|
}
|
|
|
|
bool JKQTmathText::MTsymbolNode::toHtml(QString &html, JKQTmathText::MTenvironment currentEv, JKQTmathText::MTenvironment defaultEv) {
|
|
bool ok=true;
|
|
QString s;
|
|
JKQTmathText::MTenvironment ev=currentEv;
|
|
|
|
if (symbolName == "sin") { s="sin"; }
|
|
else if (symbolName == "cos") { s="cos"; }
|
|
else if (symbolName == "tan") { s="tan"; }
|
|
else if (symbolName == "sinh") { s="sinh"; }
|
|
else if (symbolName == "cosh") { s="cosh"; }
|
|
else if (symbolName == "tanh") { s="tanh"; }
|
|
else if (symbolName == "atan") { s="atan"; }
|
|
else if (symbolName == "acos") { s="acos"; }
|
|
else if (symbolName == "asin") { s="asin"; }
|
|
else if (symbolName == "arcsin") { s="arcsin"; }
|
|
else if (symbolName == "arccos") { s="arccos"; }
|
|
else if (symbolName == "arctan") { s="arctan"; }
|
|
else if (symbolName == "ii") { s="i"; }
|
|
else if (symbolName == "dd") { s="d"; }
|
|
else if (symbolName == "exp") { s="exp"; }
|
|
else if (symbolName == "log") { s="log"; }
|
|
else if (symbolName == "ln") { s="ln"; }
|
|
else if (symbolName == "ld") { s="ld"; }
|
|
else if (symbolName == "lb") { s="lb"; }
|
|
else if (symbolName == "erf") { s="erf"; }
|
|
else if (symbolName == "min") { s="min"; }
|
|
else if (symbolName == "max") { s="max"; }
|
|
else if (symbolName == "argmin") { s="argmin"; }
|
|
else if (symbolName == "argmax") { s="argmax"; }
|
|
else if (symbolName == "inf") { s="inf"; }
|
|
else if (symbolName == "sup") { s="sup"; }
|
|
else if (symbolName == "liminf") { s="liminf"; }
|
|
else if (symbolName == "limsup") { s="limsup"; }
|
|
else if (symbolName == "lim") { s="lim"; }
|
|
else if (symbolName == "max") { s="max"; }
|
|
else if (symbolName == "min") { s="min"; }
|
|
else if (symbolName == "sec") { s="sec"; }
|
|
else if (symbolName == "gcd") { s="gcd"; }
|
|
else if (symbolName == "hom") { s="hom"; }
|
|
else if (symbolName == "ker") { s="ker"; }
|
|
else if (symbolName == "dim") { s="dim"; }
|
|
else if (symbolName == "cot") { s="cot"; }
|
|
else if (symbolName == "arg") { s="arg"; }
|
|
else if (symbolName == "det") { s="det"; }
|
|
else if (symbolName == "deg") { s="deg"; }
|
|
else if (symbolName == "Pr") { s="Pr"; }
|
|
else if (symbolName == "coth") { s="coth"; }
|
|
else if (symbolName == "alpha") s="α";
|
|
else if (symbolName == "beta") s="β";
|
|
else if (symbolName == "gamma") s="γ";
|
|
else if (symbolName == "delta") s="δ";
|
|
else if (symbolName == "epsilon") s="ε";
|
|
else if (symbolName == "varepsilon") s="ε";
|
|
else if (symbolName == "zeta") s="ζ";
|
|
else if (symbolName == "eta") s="η";
|
|
else if (symbolName == "theta") s="θ";
|
|
else if (symbolName == "vartheta") s="ϑ";
|
|
else if (symbolName == "iota") s="ι";
|
|
else if (symbolName == "kappa") s="κ";
|
|
else if (symbolName == "lambda") s="λ";
|
|
else if (symbolName == "mu") s="μ";
|
|
else if (symbolName == "nu") s="ν";
|
|
else if (symbolName == "xi") s="ξ";
|
|
else if (symbolName == "pi") s="π";
|
|
else if (symbolName == "varpi") s="ϖ";
|
|
else if (symbolName == "rho") s="ρ";
|
|
else if (symbolName == "sigma") s="σ";
|
|
else if (symbolName == "varsigma") s="ς";
|
|
else if (symbolName == "tau") s="τ";
|
|
else if (symbolName == "upsilon") s="υ";
|
|
else if (symbolName == "phi") s="φ";
|
|
else if (symbolName == "varphi") s="φ";
|
|
else if (symbolName == "chi") s="χ";
|
|
else if (symbolName == "psi") s="ψ";
|
|
else if (symbolName == "omega") s="ω";
|
|
else if (symbolName == "Gamma") s="Γ";
|
|
else if (symbolName == "Delta") s="Δ";
|
|
else if (symbolName == "Theta") s="Θ";
|
|
else if (symbolName == "Lambda") s="Λ";
|
|
else if (symbolName == "Omega") s="Ω";
|
|
else if (symbolName == "Xi") s="Ξ";
|
|
else if (symbolName == "Pi") s="Π";
|
|
else if (symbolName == "Sigma") s="Σ";
|
|
else if (symbolName == "sum") { ev.fontSize*=1.7; s="∑"; }
|
|
else if (symbolName == "prod") { ev.fontSize*=1.7; s="∏"; }
|
|
else if (symbolName == "Upsilon") s="Υ";
|
|
else if (symbolName == "Phi") s="Φ";
|
|
else if (symbolName == "Psi") s="Ψ";
|
|
else if (symbolName == "leftrightarrow") s="↔";
|
|
else if (symbolName == "leftarrow") s="←";
|
|
else if (symbolName == "rightarrow"||symbolName=="to") s="→";
|
|
else if (symbolName == "uparrow") s="↑";
|
|
else if (symbolName == "downarrow") s="↓";
|
|
else if (symbolName == "Leftrightarrow" || symbolName=="iff") s="⇔";
|
|
else if (symbolName == "Leftarrow") s="⇐";
|
|
else if (symbolName == "Rightarrow") s="⇒";
|
|
else if (symbolName == "Uparrow") s="⇑";
|
|
else if (symbolName == "Downarrow") s="⇓";
|
|
else if (symbolName == "pm") s="±";
|
|
else if (symbolName == "leq") s="≤";
|
|
else if (symbolName == "geq") s="≥";
|
|
else if (symbolName == "times") s="×";
|
|
else if (symbolName == "propto") s="∝";
|
|
else if (symbolName == "partial") s="∂";
|
|
else if (symbolName == "bullet") s="•";
|
|
else if (symbolName == "neq"||symbolName=="ne") s="≠";
|
|
else if (symbolName == "equiv") s="≡";
|
|
else if (symbolName == "approx") s="≈";
|
|
else if (symbolName == "ellipsis") s="...";
|
|
else if (symbolName == "Im") s="ℑ";
|
|
else if (symbolName == "Re") s="ℜ";
|
|
else if (symbolName == "otimes") s="⊗";
|
|
else if (symbolName == "oplus") s="⊕";
|
|
else if (symbolName == "oslash") s="/";
|
|
else if (symbolName == "cap"||symbolName=="land") s="∩";
|
|
else if (symbolName == "cup"||symbolName=="lor") s="∪";
|
|
else if (symbolName == "supset") s="⊃";
|
|
else if (symbolName == "supseteq") s="⊇";
|
|
else if (symbolName == "supsetnot") s="⊅";
|
|
else if (symbolName == "subset") s="⊂";
|
|
else if (symbolName == "subseteq") s="⊆";
|
|
else if (symbolName == "in") s="∈";
|
|
else if (symbolName == "notin") s="∉";
|
|
else if (symbolName == "angle") s="∠";
|
|
else if (symbolName == "nabla") s="∇";
|
|
else if (symbolName == "copyright") s="©";
|
|
else if (symbolName == "registered") s="®";
|
|
else if (symbolName == "trademark") s="™";
|
|
else if (symbolName == "cdot") s="⋅";
|
|
else if (symbolName == "neg") s="¬";
|
|
else if (symbolName == "wedge") s="∧";
|
|
else if (symbolName == "vee") s="∨";
|
|
else if (symbolName == "diamond") s="◊";
|
|
else if (symbolName == "langle") s="⟨";
|
|
else if (symbolName == "rangle") s="⟩";
|
|
else if (symbolName == "int") { s="∫"; }
|
|
else if (symbolName == "forall") { s="∀"; }
|
|
else if (symbolName == "exists") { s="∃"; }
|
|
else if (symbolName == "cong") { s="∼"; }
|
|
else if (symbolName == "bot") { s="⊥"; }
|
|
|
|
|
|
else if (symbolName == "ll") { s="<<"; }
|
|
else if (symbolName == "gg") { s=">>"; }
|
|
else if (symbolName == "bbC") { s="<b>C</b>"; }
|
|
else if (symbolName == "bbH") { s="<b>H</b>"; }
|
|
else if (symbolName == "bbN") { s="<b>N</b>"; }
|
|
else if (symbolName == "bbP") { s="<b>P</b>"; }
|
|
else if (symbolName == "bbQ") { s="<b>Q</b>"; }
|
|
else if (symbolName == "bbR") { s="<b>R</b>"; }
|
|
else if (symbolName == "bbZ") { s="<b>Z</b>"; }
|
|
else if (symbolName == "Alef" || symbolName=="alef") s="ℵ";
|
|
else if (symbolName == "tilde") s="~";
|
|
else if (symbolName == "iint") { s="∫∫"; }
|
|
else if (symbolName == "iiint") { s="∫∫∫"; }
|
|
else if (symbolName == "emptyset") s="∅";
|
|
else if (symbolName == "varnothing") s="∅";
|
|
else if (symbolName == "lceil") s="⌈";
|
|
else if (symbolName == "rceil") s="⌉";
|
|
else if (symbolName == "lfloor") s="⌊";
|
|
else if (symbolName == "rfloor") s="⌋";
|
|
else if (symbolName == "subsetnot") s="⊄";
|
|
else if (symbolName == "DC") s="=";
|
|
else if (symbolName == "cdots") { s="⋅⋅⋅"; }
|
|
else if (symbolName == "dots") { s="..."; }
|
|
|
|
else if (symbolName == "cent") { s="¢"; }
|
|
else if (symbolName == "bigcap") { ev.fontSize*=1.7; s="∩"; }
|
|
else if (symbolName == "bigcup") { ev.fontSize*=1.7; s="∪"; }
|
|
else if (symbolName == "bigvee") { ev.fontSize*=1.7; s="∨"; }
|
|
else if (symbolName == "bighat") { ev.fontSize*=1.7; s="∧"; }
|
|
|
|
else if (symbolName == "_") { s="_"; }
|
|
else if (symbolName == "}") { s="}"; }
|
|
else if (symbolName == "{") { s="{"; }
|
|
else if (symbolName == "hbar") { s="ℏ"; }
|
|
else if (symbolName == "euro") { s="€"; }
|
|
else if (symbolName == "pound") { s="£"; }
|
|
else if (symbolName == "yen") { s="¥"; }
|
|
else if (symbolName == "div") { s="÷"; }
|
|
else if (symbolName == "backslash") { s="\\"; }
|
|
else if (symbolName == "$") { s="$"; }
|
|
else if (symbolName == "%") { s="%"; }
|
|
else if (symbolName == "&") { s="&"; }
|
|
else if (symbolName == "#") { s="#"; }
|
|
else if (symbolName == "ast") { s="*"; }
|
|
else if (symbolName == "glq") { s="'"; }
|
|
else if (symbolName == "grq") { s="'"; }
|
|
else if (symbolName == "glqq") { s="\""; }
|
|
else if (symbolName == "grqq") { s="\""; }
|
|
else if (symbolName == "flq") { s="<"; }
|
|
else if (symbolName == "frq") { s=">"; }
|
|
else if (symbolName == "flqq") { s=""; }
|
|
else if (symbolName == "frqq") { s=""; }
|
|
else ok=false;
|
|
|
|
if (ok) html=html+ev.toHtmlStart(defaultEv)+s+ev.toHtmlAfter(defaultEv);
|
|
return ok;
|
|
}
|
|
|
|
|
|
// --------------------------------------------------------------------------------------------------
|
|
// -- implementation of the JKQTmathText methods
|
|
// --------------------------------------------------------------------------------------------------
|
|
JKQTmathText::JKQTmathText(QObject* parent):
|
|
QObject(parent)
|
|
{
|
|
|
|
QFontDatabase fontdb;
|
|
|
|
QString serifFont="Serif";
|
|
QString sansFont="Sans";
|
|
QString symbolFont="Symbol";
|
|
QString scriptFont="Script";
|
|
QString typewriterFont="typewriter";
|
|
QString decorativeFont="decorative";
|
|
|
|
QStringList fonts=fontdb.families();
|
|
//qDebug()<<"fonts:\n"<<fonts;
|
|
|
|
if (fonts.contains("Times New Roman")) {
|
|
serifFont="Times New Roman";
|
|
} else if (fonts.contains("Times")) {
|
|
serifFont="Times";
|
|
} else if (fonts.contains("FreeSerif")) {
|
|
serifFont="FreeSerif";
|
|
}
|
|
if (fonts.contains("Arial")) {
|
|
sansFont="Arial";
|
|
} else if (fonts.contains("Helvetica")) {
|
|
sansFont="Helvetica";
|
|
} else if (fonts.contains("FreeSans")) {
|
|
sansFont="FreeSans";
|
|
}
|
|
if (fonts.contains("Symbol")) {
|
|
symbolFont="Symbol";
|
|
} else if (fonts.contains("Standard Symbols L")) {
|
|
symbolFont="Standard Symbols L";
|
|
}
|
|
if (fonts.contains("Courier")) {
|
|
typewriterFont="Courier";
|
|
} else if (fonts.contains("Courier New")) {
|
|
typewriterFont="Courier New";
|
|
} else if (fonts.contains("Courier Std")) {
|
|
typewriterFont="Courier Std";
|
|
} else if (fonts.contains("FreeMono")) {
|
|
typewriterFont="FreeMono";
|
|
}
|
|
|
|
|
|
|
|
def_fontSize=fontSize=10;
|
|
def_fontRoman=fontRoman=serifFont;
|
|
def_fontSans=fontSans=sansFont;
|
|
def_fontTypewriter=fontTypewriter=typewriterFont;
|
|
def_fontScript=fontScript=scriptFont;
|
|
def_fontGreek=fontGreek=symbolFont;
|
|
def_fontSymbol=fontSymbol=symbolFont;
|
|
def_fontCaligraphic=fontCaligraphic=decorativeFont;
|
|
def_fontBlackboard=fontBlackboard=serifFont;
|
|
def_fontMathRoman=fontMathRoman=serifFont;
|
|
def_fontMathSans=fontMathSans=sansFont;
|
|
def_fontBraces=fontBraces=fontMathRoman;
|
|
def_fontIntegrals=fontIntegrals=fontMathRoman;
|
|
def_fontEncoding=fontEncoding=MTFEwinSymbol;
|
|
def_fontLatexPostfix=fontLatexPostfix="10";
|
|
def_fontLatexPrefix=fontLatexPrefix="jlm_";
|
|
def_brace_factor=brace_factor=1.04;
|
|
def_subsuper_size_factor=subsuper_size_factor=0.7;
|
|
def_italic_correction_factor=italic_correction_factor=0.4;
|
|
def_sub_shift_factor=sub_shift_factor=0.6;
|
|
def_super_shift_factor=super_shift_factor=0.5;
|
|
def_brace_shrink_factor=brace_shrink_factor=0.6;
|
|
def_fontColor=fontColor=QColor("black");
|
|
def_useSTIXfonts=useSTIXfonts=false;
|
|
def_useXITSfonts=useXITSfonts=false;
|
|
def_useASANAfonts=useASANAfonts=false;
|
|
def_frac_factor=frac_factor=0.9;
|
|
def_frac_shift_factor=frac_shift_factor=0.5;
|
|
def_underbrace_factor=underbrace_factor=0.75;
|
|
def_underset_factor=underset_factor=0.7;
|
|
def_decoration_height_factor=decoration_height_factor=0.2;
|
|
def_brace_y_shift_factor=brace_y_shift_factor=0.7;//-1;
|
|
def_operatorsubsuper_size_factor=operatorsubsuper_size_factor=0.65;
|
|
def_mathoperator_width_factor=mathoperator_width_factor=1.5;
|
|
|
|
def_expensiveRendering=expensiveRendering=true;
|
|
useUnparsed=false;
|
|
|
|
parsedNode=nullptr;
|
|
unparsedNode=nullptr;
|
|
|
|
currentToken=MTTnone;
|
|
currentTokenName="";
|
|
currentTokenID=0;
|
|
parseString="";
|
|
parsingMathEnvironment=false;
|
|
}
|
|
|
|
JKQTmathText::~JKQTmathText() {
|
|
if (parsedNode!=nullptr) delete parsedNode;
|
|
parsedNode=nullptr;
|
|
if (unparsedNode!=nullptr) delete unparsedNode;
|
|
unparsedNode=nullptr;
|
|
}
|
|
|
|
void JKQTmathText::loadSettings(QSettings& settings, QString group){
|
|
fontSize=settings.value(group+"font_size", fontSize).toDouble();
|
|
fontColor=QColor(settings.value(group+"font_color", QColor2String(fontColor)).toString());
|
|
fontRoman=settings.value(group+"font_roman", fontRoman).toString();
|
|
fontSans=settings.value(group+"font_sans", fontSans).toString();
|
|
fontTypewriter=settings.value(group+"font_typewriter", fontTypewriter).toString();
|
|
fontScript=settings.value(group+"font_script", fontScript).toString();
|
|
fontGreek=settings.value(group+"font_greek", fontGreek).toString();
|
|
fontSymbol=settings.value(group+"font_symbol", fontSymbol).toString();
|
|
fontMathRoman=settings.value(group+"font_math_roman", fontRoman).toString();
|
|
fontMathSans=settings.value(group+"font_math_sans", fontSans).toString();
|
|
fontBraces=settings.value(group+"font_braces", fontRoman).toString();
|
|
fontIntegrals=settings.value(group+"font_integrals", fontSans).toString();
|
|
fontBlackboard=settings.value(group+"font_blackboard", fontSans).toString();
|
|
fontCaligraphic=settings.value(group+"font_caligraphics", fontSans).toString();
|
|
brace_factor=settings.value(group+"brace_factor", brace_factor).toDouble();
|
|
brace_shrink_factor=settings.value(group+"brace_shrink_factor", brace_shrink_factor).toDouble();
|
|
subsuper_size_factor=settings.value(group+"subsuper_size_factor", subsuper_size_factor).toDouble();
|
|
italic_correction_factor=settings.value(group+"italic_correction_factor", italic_correction_factor).toDouble();
|
|
super_shift_factor=settings.value(group+"super_shift_factor", super_shift_factor).toDouble();
|
|
sub_shift_factor=settings.value(group+"sub_shift_factor", sub_shift_factor).toDouble();
|
|
frac_factor=settings.value(group+"frac_factor", frac_factor).toDouble();
|
|
frac_shift_factor=settings.value(group+"frac_shift_factor", frac_shift_factor).toDouble();
|
|
underbrace_factor=settings.value(group+"underbrace_factor", underbrace_factor).toDouble();
|
|
underset_factor=settings.value(group+"underset_factor", underset_factor).toDouble();
|
|
brace_y_shift_factor=settings.value(group+"brace_y_shift_factor", brace_y_shift_factor).toDouble();
|
|
decoration_height_factor=settings.value(group+"decoration_height_factor", decoration_height_factor).toDouble();
|
|
operatorsubsuper_size_factor=settings.value(group+"operatorsubsuper_size_factor", operatorsubsuper_size_factor).toDouble();
|
|
mathoperator_width_factor=settings.value(group+"mathoperator_width_factor", mathoperator_width_factor).toDouble();
|
|
|
|
QString v=settings.value(group+"font_encoding", "win_symbol").toString().toLower();
|
|
fontEncoding=MTFEwinSymbol;
|
|
if (v=="unicode") fontEncoding=MTFEunicode;
|
|
useSTIXfonts=settings.value(group+"use_stix_fonts", false).toBool();
|
|
useXITSfonts=settings.value(group+"use_xits_fonts", false).toBool();
|
|
useASANAfonts=settings.value(group+"use_asana_fonts", false).toBool();
|
|
|
|
if (useSTIXfonts) useSTIX();
|
|
if (useXITSfonts) useXITS();
|
|
if (useASANAfonts) useASANA();
|
|
}
|
|
|
|
|
|
void JKQTmathText::saveSettings(QSettings& settings, QString group){
|
|
JKQTMTPROPERTYsave(settings, group, fontSize,"font_size");
|
|
if (fontColor!=def_fontColor) settings.setValue(group+"font_color", QColor2String(fontColor));
|
|
JKQTMTPROPERTYsave(settings, group, fontRoman, "font_roman");
|
|
JKQTMTPROPERTYsave(settings, group, fontSans, "font_sans");
|
|
JKQTMTPROPERTYsave(settings, group, fontTypewriter, "font_typewriter");
|
|
JKQTMTPROPERTYsave(settings, group, fontScript, "font_script");
|
|
JKQTMTPROPERTYsave(settings, group, fontGreek, "font_greek");
|
|
JKQTMTPROPERTYsave(settings, group, fontSymbol, "font_symbol");
|
|
JKQTMTPROPERTYsave(settings, group, fontMathRoman, "font_math_roman");
|
|
JKQTMTPROPERTYsave(settings, group, fontMathSans, "font_math_sans");
|
|
JKQTMTPROPERTYsave(settings, group, fontBraces, "font_braces");
|
|
JKQTMTPROPERTYsave(settings, group, fontIntegrals, "font_integrals");
|
|
JKQTMTPROPERTYsave(settings, group, fontBlackboard, "font_blackboard");
|
|
JKQTMTPROPERTYsave(settings, group, fontCaligraphic, "font_caligraphic");
|
|
JKQTMTPROPERTYsave(settings, group, brace_factor, "brace_factor");
|
|
JKQTMTPROPERTYsave(settings, group, brace_shrink_factor, "brace_shrink_factor");
|
|
JKQTMTPROPERTYsave(settings, group, subsuper_size_factor, "subsuper_size_factor");
|
|
JKQTMTPROPERTYsave(settings, group, italic_correction_factor, "italic_correction_factor");
|
|
JKQTMTPROPERTYsave(settings, group, sub_shift_factor, "sub_shift_factor");
|
|
JKQTMTPROPERTYsave(settings, group, super_shift_factor, "super_shift_factor");
|
|
JKQTMTPROPERTYsave(settings, group, useSTIXfonts, "use_stix_fonts");
|
|
JKQTMTPROPERTYsave(settings, group, useXITSfonts, "use_xits_fonts");
|
|
JKQTMTPROPERTYsave(settings, group, useASANAfonts, "use_asana_fonts");
|
|
JKQTMTPROPERTYsave(settings, group, frac_factor, "frac_factor");
|
|
JKQTMTPROPERTYsave(settings, group, frac_shift_factor, "frac_shift_factor");
|
|
JKQTMTPROPERTYsave(settings, group, underbrace_factor, "underbrace_factor");
|
|
JKQTMTPROPERTYsave(settings, group, underset_factor, "underset_factor");
|
|
JKQTMTPROPERTYsave(settings, group, operatorsubsuper_size_factor, "operatorsubsuper_size_factor");
|
|
JKQTMTPROPERTYsave(settings, group, mathoperator_width_factor, "mathoperator_width_factor");
|
|
JKQTMTPROPERTYsave(settings, group, brace_y_shift_factor, "brace_y_shift_factor");
|
|
JKQTMTPROPERTYsave(settings, group, decoration_height_factor, "decoration_height_factor");
|
|
if (fontEncoding!=def_fontEncoding) {
|
|
if (fontEncoding==MTFEunicode) settings.setValue(group+"font_encoding", "unicode");
|
|
else if (fontEncoding==MTFEwinSymbol) settings.setValue(group+"font_encoding", "win_symbol");
|
|
}
|
|
}
|
|
|
|
void JKQTmathText::useSTIX() {
|
|
useSTIXfonts=true;
|
|
fontGreek="STIXGeneral";
|
|
fontSymbol="STIXGeneral";
|
|
fontBraces="STIXGeneral";
|
|
fontIntegrals="STIXGeneral";
|
|
//fontRoman="STIXGeneral";
|
|
fontMathRoman="STIXGeneral";
|
|
fontEncoding=MTFEunicode;
|
|
brace_shrink_factor=0.6;
|
|
}
|
|
|
|
void JKQTmathText::useXITS()
|
|
{
|
|
QFontDatabase fdb;
|
|
#ifdef AUTOLOAD_XITS_FONTS
|
|
//qDebug()<<"has XITS: "<<fdb.families().contains("XITS");
|
|
if (!fdb.families().contains("XITS")) {
|
|
int i;
|
|
if (QFile::exists(":/JKQTmathText/fonts/xits-bold.otf")) { i=QFontDatabase::addApplicationFont(":/JKQTmathText/fonts/xits-bold.otf"); }
|
|
//qDebug()<<QFontDatabase::applicationFontFamilies(i);
|
|
if (QFile::exists(":/JKQTmathText/fonts/xits-bolditalic.otf")) { i=QFontDatabase::addApplicationFont(":/JKQTmathText/fonts/xits-bolditalic.otf"); }
|
|
//qDebug()<<QFontDatabase::applicationFontFamilies(i);
|
|
if (QFile::exists(":/JKQTmathText/fonts/xits-italic.otf")) { i=QFontDatabase::addApplicationFont(":/JKQTmathText/fonts/xits-italic.otf"); }
|
|
//qDebug()<<QFontDatabase::applicationFontFamilies(i);
|
|
if (QFile::exists(":/JKQTmathText/fonts/xits-math.otf")) { i=QFontDatabase::addApplicationFont(":/JKQTmathText/fonts/xits-math.otf"); }
|
|
//qDebug()<<QFontDatabase::applicationFontFamilies(i);
|
|
if (QFile::exists(":/JKQTmathText/fonts/xits-mathbold.otf")) { i=QFontDatabase::addApplicationFont(":/JKQTmathText/fonts/xits-mathbold.otf"); }
|
|
//qDebug()<<QFontDatabase::applicationFontFamilies(i);
|
|
if (QFile::exists(":/JKQTmathText/fonts/xits-regular.otf")) { i=QFontDatabase::addApplicationFont(":/JKQTmathText/fonts/xits-regular.otf"); }
|
|
//qDebug()<<QFontDatabase::applicationFontFamilies(i);
|
|
(void)i;
|
|
}
|
|
#endif
|
|
//qDebug()<<"has XITS: "<<fdb.families().contains("XITS")<<"\n"<<fdb.families();
|
|
bool hasXITS=false;
|
|
QString XITSfam;
|
|
//bool hasXITSMath=false;
|
|
QString XITSMathfam;
|
|
for (int i=0; i<fdb.families().size(); i++) {
|
|
if (fdb.families().at(i).contains("XITS Math")) {
|
|
//hasXITSMath=true;
|
|
XITSMathfam=fdb.families().at(i);
|
|
} else if (fdb.families().at(i).contains("XITS")) {
|
|
hasXITS=true;
|
|
XITSfam=fdb.families().at(i);
|
|
}
|
|
}
|
|
QString fam="XITS";
|
|
if (hasXITS) fam=XITSfam;
|
|
//if (hasXITSMath) fam=XITSMathfam;
|
|
useXITSfonts=true;
|
|
//fontRoman=fam;
|
|
//fontSans=fam;
|
|
fontMathRoman=fam;
|
|
fontMathSans=fam;
|
|
fontTypewriter=fam;
|
|
fontBlackboard=fam;
|
|
fontCaligraphic=fam;
|
|
fontScript=fam;
|
|
fontBraces=fam;
|
|
fontSymbol=fam;
|
|
fontGreek=fam;
|
|
fontEncoding=MTFEunicode;
|
|
brace_shrink_factor=0.6;
|
|
}
|
|
|
|
void JKQTmathText::useASANA()
|
|
{
|
|
QFontDatabase fdb;
|
|
#ifdef AUTOLOAD_XITS_FONTS
|
|
//qDebug()<<"has XITS: "<<fdb.families().contains("XITS");
|
|
if (!fdb.families().contains("Asana")) {
|
|
//int i;//=-1;
|
|
if (QFile::exists(":/JKQTmathText/fonts/asana-math.otf")) { /*i=*/QFontDatabase::addApplicationFont(":/JKQTmathText/fonts/asana-math.otf"); }
|
|
//qDebug()<<QFontDatabase::applicationFontFamilies(i);
|
|
}
|
|
#endif
|
|
//qDebug()<<"has ASANA: "<<fdb.families().contains("Asana Math");
|
|
bool hasXITS=false;
|
|
QString XITSfam;
|
|
//bool hasXITSMath=false;
|
|
QString XITSMathfam;
|
|
for (int i=0; i<fdb.families().size(); i++) {
|
|
if (fdb.families().at(i).contains("Asana Math")) {
|
|
//hasXITSMath=true;
|
|
XITSMathfam=fdb.families().at(i);
|
|
} else if (fdb.families().at(i).contains("Asana")) {
|
|
hasXITS=true;
|
|
XITSfam=fdb.families().at(i);
|
|
}
|
|
}
|
|
QString fam="Asana Math";
|
|
if (hasXITS) fam=XITSfam;
|
|
useXITSfonts=true;
|
|
//fontRoman=fam;
|
|
//fontSans=fam;
|
|
fontMathRoman=fam;
|
|
fontMathSans=fam;
|
|
fontTypewriter=fam;
|
|
fontBlackboard=fam;
|
|
fontCaligraphic=fam;
|
|
fontScript=fam;
|
|
fontBraces=fam;
|
|
fontSymbol=fam;
|
|
fontGreek=fam;
|
|
fontEncoding=MTFEunicode;
|
|
brace_shrink_factor=0.6;
|
|
}
|
|
|
|
void JKQTmathText::useLatexFonts(QString prefix, QString postfix) {
|
|
fontLatexPostfix=postfix;
|
|
fontLatexPrefix=prefix;
|
|
fontRoman=prefix+"cmr"+postfix;
|
|
fontSans=prefix+"cmss"+postfix;
|
|
fontMathRoman=prefix+"cmr"+postfix;
|
|
fontMathSans=prefix+"cmss"+postfix;
|
|
fontTypewriter=prefix+"cmtt"+postfix;
|
|
fontBlackboard=prefix+"dsrom"+postfix;
|
|
fontCaligraphic=prefix+"csmy"+postfix;
|
|
fontScript=prefix+"rsfs"+postfix;
|
|
fontBraces=prefix+"cmex"+postfix;
|
|
fontSymbol=prefix+"cmsy"+postfix;
|
|
fontGreek=prefix+"cmmi"+postfix;
|
|
fontEncoding=MTFElatex;
|
|
brace_shrink_factor=0.6;
|
|
}
|
|
|
|
QString JKQTmathText::toHtml(bool *ok, double fontPointSize) {
|
|
QString s;
|
|
bool okk=false;
|
|
if (getTree()!=nullptr) {
|
|
MTenvironment ev;
|
|
ev.color=fontColor;
|
|
ev.fontSize=fontPointSize;
|
|
|
|
MTenvironment defaultev;
|
|
defaultev.fontSize=fontPointSize;
|
|
|
|
okk=getTree()->toHtml(s, ev, defaultev);
|
|
}
|
|
if (ok) *ok=okk;
|
|
return s;
|
|
}
|
|
|
|
void JKQTmathText::useAnyUnicode(QString timesFont, QString sansFont) {
|
|
if (!timesFont.isEmpty()) { fontMathRoman=timesFont; fontRoman=timesFont; }
|
|
if (!sansFont.isEmpty()) { fontMathSans=sansFont; fontSans=sansFont; }
|
|
useSTIXfonts=false;
|
|
useXITSfonts=false;
|
|
useASANAfonts=false;
|
|
fontGreek=fontMathRoman;
|
|
fontSymbol=fontMathRoman;
|
|
fontBraces=fontMathRoman;
|
|
fontIntegrals=fontMathRoman;
|
|
fontEncoding=MTFEunicode;
|
|
brace_shrink_factor=0.6;
|
|
}
|
|
|
|
|
|
JKQTmathText::tokenType JKQTmathText::getToken() {
|
|
currentTokenID++;
|
|
if (currentTokenID>parseString.size()-1) return currentToken=MTTnone;
|
|
QChar c=parseString[currentTokenID];
|
|
currentTokenName="";
|
|
if (c=='\\') { // read an instruction name
|
|
currentTokenID++;
|
|
if (currentTokenID>=parseString.size()-1) return currentToken=MTTnone;
|
|
c=parseString[currentTokenID];
|
|
/*if (c=='_' || c=='\\' || c=='$' || c=='%' || c=='&' || c=='#' || c=='}' || c=='{') {
|
|
currentTokenName=c; // parse special one-symbol instructions like \\, \& ...
|
|
// that may be directly converted to text
|
|
return currentToken=MTTtext;
|
|
} else*/ if (c=='|' || c==';' || c==':' || c=='!' || c==',' || c=='_' || c=='\\' || c=='$' ||
|
|
c=='%' || c=='&' || c=='#' || c=='}' || c=='{' || c==' ') {
|
|
currentTokenName=c; // parse one-symbol instructions like \\, \& ...
|
|
//std::cout<<"found text node '"<<currentTokenName.toStdString()<<"'\n";
|
|
return currentToken=MTTinstruction;
|
|
} else { // parse letter instructions
|
|
while (c.isLetter()&& (currentTokenID<parseString.size())) {
|
|
currentTokenName+=c;
|
|
currentTokenID++;
|
|
if (currentTokenID<parseString.size()) c=parseString[currentTokenID];
|
|
}
|
|
if (!c.isLetter()) currentTokenID--;
|
|
currentTokenName=currentTokenName.trimmed();
|
|
}
|
|
//std::cout<<"found instruction node '"<<currentTokenName.toStdString()<<"'\n";
|
|
return currentToken=MTTinstruction;
|
|
} else if (c=='$') {
|
|
//std::cout<<"found dollar\n";
|
|
return currentToken=MTTdollar;
|
|
} else if (c=='&') {
|
|
//std::cout<<"found ampersand\n";
|
|
return currentToken=MTTampersand;
|
|
} else if (c=='{') {
|
|
//std::cout<<"found openbrace\n";
|
|
return currentToken=MTTopenbrace;
|
|
} else if (c=='}') {
|
|
//std::cout<<"found closebrace\n";
|
|
return currentToken=MTTclosebrace;
|
|
} else if (c=='_') {
|
|
//std::cout<<"found underscore\n";
|
|
return currentToken=MTTunderscore;
|
|
} else if (c=='^') {
|
|
//std::cout<<"found hat\n";
|
|
return currentToken=MTThat;
|
|
} else if (c.isSpace()) {
|
|
while (c.isSpace() &&(currentTokenID<parseString.size())) { // eat up whitespace
|
|
currentTokenID++;
|
|
if (currentTokenID<parseString.size())c=parseString[currentTokenID];
|
|
}
|
|
if (!c.isSpace()) currentTokenID--;
|
|
//std::cout<<"found whitespace\n";
|
|
return currentToken=MTTwhitespace;
|
|
} else {
|
|
if (parsingMathEnvironment) {
|
|
// inside math environments we split texts at every brace {[(|)]} so that
|
|
// braces form their own MTtextNode and may be formated accordingly
|
|
if (c=='(' || c=='[' || c=='|' || c==')' || c==']') {
|
|
currentTokenName=c;
|
|
//std::cout<<"found text node '"<<currentTokenName.toStdString()<<"'\n";
|
|
return currentToken=MTTtext;
|
|
}
|
|
while (c!='(' && c!='&' && c!='[' && c!='|' && c!=')' && c!=']' && c!='\\' && c!='$' && c!='{' && c!='}' && c!='_' && c!='^' && (currentTokenID<parseString.size())) {
|
|
// add whitespaces only once
|
|
if (c.isSpace()) {
|
|
if (!currentTokenName.isEmpty()) {
|
|
if (!currentTokenName[currentTokenName.size()-1].isSpace())
|
|
currentTokenName+=c;
|
|
}
|
|
} else currentTokenName+=c;
|
|
currentTokenID++;
|
|
if (currentTokenID<parseString.size())c=parseString[currentTokenID];
|
|
}
|
|
if (c=='&' || c=='(' || c=='[' || c=='|' || c==')' || c==']' || c=='\\' || c=='$' || c=='{' || c=='}' || c=='_' || c=='^' || c.isSpace()) currentTokenID--;
|
|
//currentTokenName=currentTokenName.trimmed();
|
|
//std::cout<<"found text node '"<<currentTokenName.toStdString()<<"'\n";
|
|
return currentToken=MTTtext;
|
|
} else {
|
|
while ((!c.isSpace()) && c!='&' && c!='\\' && c!='$' && c!='{' && c!='}' && c!='_' && c!='^' && (currentTokenID<parseString.size())) {
|
|
// add whitespaces only once
|
|
if (c.isSpace()) {
|
|
if (!currentTokenName.isEmpty()) {
|
|
if (!currentTokenName[currentTokenName.size()-1].isSpace())
|
|
currentTokenName+=c;
|
|
}
|
|
} else currentTokenName+=c;
|
|
currentTokenID++;
|
|
if (currentTokenID<parseString.size())c=parseString[currentTokenID];
|
|
}
|
|
if (c=='&' || c=='\\' || c=='$' || c=='{' || c=='}' || c=='_' || c=='^' || c.isSpace()) currentTokenID--;
|
|
//currentTokenName=currentTokenName.trimmed();
|
|
//std::cout<<"found text node '"<<currentTokenName.toStdString()<<"'\n";
|
|
return currentToken=MTTtext;
|
|
}
|
|
}
|
|
return currentToken=MTTnone;
|
|
}
|
|
|
|
JKQTmathText::MTnode* JKQTmathText::parseLatexString(bool get, QString quitOnClosingBrace, QString quitOnEnvironmentEnd) {
|
|
//std::cout<<" entering parseLatexString()\n";
|
|
MTlistNode* nl=new MTlistNode(this);
|
|
if (get) getToken();
|
|
bool getNew=true;
|
|
while (currentToken!=MTTnone) {
|
|
getNew=true;
|
|
if (currentToken==MTTtext) {
|
|
QString text=currentTokenName;
|
|
bool addWhite=(getToken()==MTTwhitespace) && (!parsingMathEnvironment);
|
|
getNew=addWhite;
|
|
nl->addNode(new MTtextNode(this, text, addWhite, parsingMathEnvironment));
|
|
} else if (currentToken==MTTinstruction) {
|
|
QString name=currentTokenName;
|
|
if (name=="\\") break; // break on linebrak character
|
|
getToken(); // look at next token
|
|
if (currentToken==MTTopenbrace) {
|
|
//std::cout<<"found '{' after '"<<name.toStdString()<<"'\n";
|
|
if (name=="sqrt") {
|
|
nl->addNode(new MTsqrtNode(this, parseLatexString(true)));
|
|
} else if (name=="cbrt") {
|
|
nl->addNode(new MTsqrtNode(this, parseLatexString(true), 3));
|
|
} else if (name=="verb") {
|
|
QString text="";
|
|
currentTokenID++;
|
|
if (currentTokenID<=parseString.size()-1) {
|
|
QChar c=parseString[currentTokenID];
|
|
while (c!='}' && (currentTokenID<parseString.size())) {
|
|
text=text+c;
|
|
currentTokenID++;
|
|
if (currentTokenID<parseString.size()) c=parseString[currentTokenID];
|
|
}
|
|
if (c!='}') error_list.append(tr("error @ ch. %1: \verb{...} not closed by '}'").arg(currentTokenID).arg(name));
|
|
nl->addNode(new MTtextNode(this, text, false));
|
|
}
|
|
} else if (name=="frac") {
|
|
MTnode* n1=parseLatexString(true);
|
|
MTnode* n2=nullptr;
|
|
if (getToken()==MTTopenbrace) n2=parseLatexString(true);
|
|
if (n1 && n2) nl->addNode(new MTfracNode(this, n1, n2, MTFMfrac));
|
|
else error_list.append(tr("error @ ch. %1: expected two arguments in '{' braces after '%2' command").arg(currentTokenID).arg(name));
|
|
} else if (name=="dfrac") {
|
|
MTnode* n1=parseLatexString(true);
|
|
MTnode* n2=nullptr;
|
|
if (getToken()==MTTopenbrace) n2=parseLatexString(true);
|
|
if (n1 && n2) nl->addNode(new MTfracNode(this, n1, n2, MTFMdfrac));
|
|
else error_list.append(tr("error @ ch. %1: expected two arguments in '{' braces after '%2' command").arg(currentTokenID).arg(name));
|
|
} else if (name=="tfrac") {
|
|
MTnode* n1=parseLatexString(true);
|
|
MTnode* n2=nullptr;
|
|
if (getToken()==MTTopenbrace) n2=parseLatexString(true);
|
|
if (n1 && n2) nl->addNode(new MTfracNode(this, n1, n2, MTFMtfrac));
|
|
else error_list.append(tr("error @ ch. %1: expected two arguments in '{' braces after '%2' command").arg(currentTokenID).arg(name));
|
|
} else if (name=="stackrel") {
|
|
MTnode* n1=parseLatexString(true);
|
|
MTnode* n2=nullptr;
|
|
if (getToken()==MTTopenbrace) n2=parseLatexString(true);
|
|
if (n1 && n2) nl->addNode(new MTfracNode(this, n1, n2, MTFMstackrel));
|
|
else error_list.append(tr("error @ ch. %1: expected two arguments in '{' braces after '%2' command").arg(currentTokenID).arg(name));
|
|
} else if (name=="binom") {
|
|
MTnode* n1=parseLatexString(true);
|
|
MTnode* n2=nullptr;
|
|
if (getToken()==MTTopenbrace) n2=parseLatexString(true);
|
|
if (n1 && n2) nl->addNode(new MTbraceNode(this, "(", ")", new MTfracNode(this, n1, n2, MTFMstackrel)));
|
|
else error_list.append(tr("error @ ch. %1: expected two arguments in '{' braces after '%2' command").arg(currentTokenID).arg(name));
|
|
} else if (name=="underbrace") {
|
|
MTnode* n1=parseLatexString(true);
|
|
MTnode* n2=nullptr;
|
|
if (getToken()==MTTopenbrace) n2=parseLatexString(true);
|
|
if (n1 && n2) nl->addNode(new MTfracNode(this, n1, n2, MTFMunderbrace));
|
|
else error_list.append(tr("error @ ch. %1: expected two arguments in '{' braces after '%2' command").arg(currentTokenID).arg(name));
|
|
} else if (name=="underset") {
|
|
MTnode* n1=parseLatexString(true);
|
|
MTnode* n2=nullptr;
|
|
if (getToken()==MTTopenbrace) n2=parseLatexString(true);
|
|
if (n1 && n2) nl->addNode(new MTfracNode(this, n1, n2, MTFMunderset));
|
|
else error_list.append(tr("error @ ch. %1: expected two arguments in '{' braces after '%2' command").arg(currentTokenID).arg(name));
|
|
} else if (name=="overbrace") {
|
|
MTnode* n1=parseLatexString(true);
|
|
MTnode* n2=nullptr;
|
|
if (getToken()==MTTopenbrace) n2=parseLatexString(true);
|
|
if (n1 && n2) nl->addNode(new MTfracNode(this, n1, n2, MTFMoverbrace));
|
|
else error_list.append(tr("error @ ch. %1: expected two arguments in '{' braces after '%2' command").arg(currentTokenID).arg(name));
|
|
} else if (name=="overset") {
|
|
MTnode* n1=parseLatexString(true);
|
|
MTnode* n2=nullptr;
|
|
if (getToken()==MTTopenbrace) n2=parseLatexString(true);
|
|
if (n1 && n2) nl->addNode(new MTfracNode(this, n1, n2, MTFMoverset));
|
|
else error_list.append(tr("error @ ch. %1: expected two arguments in '{' braces after '%2' command").arg(currentTokenID).arg(name));
|
|
} else if (name=="begin") {
|
|
if (getToken()==MTTtext) {
|
|
QString envname=currentTokenName;
|
|
while (currentToken!=MTTclosebrace) getToken(); // find closing brace '}' after '\\begin{name'
|
|
if (envname=="matrix" || envname=="array" || envname=="aligned" || envname=="align" || envname=="cases" || envname=="pmatrix"|| envname=="bmatrix"|| envname=="Bmatrix"|| envname=="vmatrix"|| envname=="Vmatrix") {
|
|
QVector< QVector<MTnode*> > items;
|
|
//int lines=0;
|
|
//int cols=0;
|
|
bool first=true;
|
|
QVector<MTnode*> line;
|
|
//std::cout<<"found \\begin{matrix}\n";
|
|
while (first || currentToken==MTTampersand || (currentToken==MTTinstruction && currentTokenName=="\\")) {
|
|
MTnode* it=parseLatexString(true, "", envname);
|
|
if (currentToken==MTTampersand) {
|
|
//std::cout<<" appending item\n";
|
|
line.append(it);
|
|
} else {
|
|
line.append(it);
|
|
//std::cout<<" appending item and line with "<<line.size()<<" items.\n";
|
|
items.append(line);
|
|
line.clear();
|
|
}
|
|
first=false;
|
|
}
|
|
//std::cout<<" creating matrix-node with "<<items.size()<<" items.\n";
|
|
if (envname=="pmatrix") nl->addNode(new MTbraceNode(this, "(", ")", new MTmatrixNode(this, items)));
|
|
else if (envname=="cases") nl->addNode(new MTbraceNode(this, "{", "", new MTmatrixNode(this, items)));
|
|
else if (envname=="bmatrix") nl->addNode(new MTbraceNode(this, "[", "]", new MTmatrixNode(this, items)));
|
|
else if (envname=="Bmatrix") nl->addNode(new MTbraceNode(this, "{", "}", new MTmatrixNode(this, items)));
|
|
else if (envname=="vmatrix") nl->addNode(new MTbraceNode(this, "|", "|", new MTmatrixNode(this, items)));
|
|
else if (envname=="Vmatrix") nl->addNode(new MTbraceNode(this, "||", "||", new MTmatrixNode(this, items)));
|
|
else nl->addNode(new MTmatrixNode(this, items));
|
|
//std::cout<<" creating matrix-node ... done!\n";
|
|
} else {
|
|
error_list.append(tr("error @ ch. %1: unknown environment '%2'").arg(currentTokenID).arg(envname));
|
|
}
|
|
} else { // find next '}'
|
|
error_list.append(tr("error @ ch. %1: text after '\\begin{' expected!").arg(currentTokenID));
|
|
while (currentToken!=MTTclosebrace) getToken();
|
|
getNew=true;
|
|
}
|
|
} else if (name=="end") {
|
|
if (getToken()==MTTtext) {
|
|
QString envname=currentTokenName;
|
|
while (currentToken!=MTTclosebrace) getToken(); // find closing brace '}' after '\\begin{name'
|
|
if (envname==quitOnEnvironmentEnd) {
|
|
break;
|
|
} else {
|
|
error_list.append(tr("error @ ch. %1: '\\end{%2}' widthout preceding '\\begin{%3}'").arg(currentTokenID).arg(envname).arg(envname));
|
|
}
|
|
} else { // find next '}'
|
|
error_list.append(tr("error @ ch. %1: text after '\\begin{' expected!").arg(currentTokenID));
|
|
while (currentToken!=MTTclosebrace) getToken();
|
|
getNew=true;
|
|
}
|
|
} else if (name=="vec") {
|
|
nl->addNode(new MTdecoratedNode(this, MTDvec, parseLatexString(true)));
|
|
} else if (name=="overline"||name=="oline"||name=="ol") {
|
|
nl->addNode(new MTdecoratedNode(this, MTDoverline, parseLatexString(true)));
|
|
} else if (name=="underline"||name=="uline"||name=="ul") {
|
|
nl->addNode(new MTdecoratedNode(this, MTDunderline, parseLatexString(true)));
|
|
} else if (name=="uuline"||name=="uul") {
|
|
nl->addNode(new MTdecoratedNode(this, MTDdoubleunderline, parseLatexString(true)));
|
|
} else if (name=="ooline"||name=="ool") {
|
|
nl->addNode(new MTdecoratedNode(this, MTDdoubleoverline, parseLatexString(true)));
|
|
} else if (name=="arrow") {
|
|
nl->addNode(new MTdecoratedNode(this, MTDarrow, parseLatexString(true)));
|
|
} else if (name=="hat") {
|
|
nl->addNode(new MTdecoratedNode(this, MTDhat, parseLatexString(true)));
|
|
} else if (name=="bar") {
|
|
nl->addNode(new MTdecoratedNode(this, MTDbar, parseLatexString(true)));
|
|
} else if (name=="dot") {
|
|
nl->addNode(new MTdecoratedNode(this, MTDdot, parseLatexString(true)));
|
|
} else if (name=="tilde") {
|
|
nl->addNode(new MTdecoratedNode(this, MTDtilde, parseLatexString(true)));
|
|
} else if (name=="ddot") {
|
|
nl->addNode(new MTdecoratedNode(this, MTDddot, parseLatexString(true)));
|
|
} else {
|
|
if (name=="textcolor" || name=="mathcolor" || name=="color" || name=="colorbox") {
|
|
bool foundError=true;
|
|
QString col="";
|
|
if (getToken()==MTTtext) {
|
|
col=currentTokenName;
|
|
if (getToken()==MTTclosebrace) {
|
|
if (getToken()==MTTopenbrace) {
|
|
foundError=false;
|
|
}
|
|
}
|
|
}
|
|
if (foundError) error_list.append(tr("error @ ch. %1: expected two arguments in '{' braces after '%2' command").arg(currentTokenID).arg(name));
|
|
else nl->addNode(new MTinstruction1Node(this, name, parseLatexString(true), QStringList(col)));
|
|
|
|
|
|
} else {
|
|
nl->addNode(new MTinstruction1Node(this, name, parseLatexString(true)));
|
|
}
|
|
}
|
|
} else {
|
|
//std::cout<<"did not find '{' after '"<<name.toStdString()<<"'\n";
|
|
if (name=="right") {
|
|
if (currentToken==MTTtext) {
|
|
if (currentTokenName.size()>0) {
|
|
if (QString(currentTokenName[0])==quitOnClosingBrace || quitOnClosingBrace=="any" || QString(currentTokenName[0])==".") {
|
|
//std::cout<<"found \\right '"<<currentTokenName.toStdString()<<"'\n";
|
|
showRightBrace=(QString(currentTokenName[0])!=".");
|
|
//if (!showRightBrace) std::cout<<"don't show right brace '"<<quitOnClosingBrace.toStdString()<<"' !!!\n";
|
|
if (quitOnClosingBrace!="any") currentTokenName=currentTokenName.right(currentTokenName.size()-1);
|
|
break;
|
|
} else {
|
|
getNew=false;
|
|
}
|
|
}
|
|
} else if (currentToken==MTTinstruction) {
|
|
if (quitOnClosingBrace=="~" && (currentTokenName=="rceil" || QString(currentTokenName[0])==".")) {
|
|
showRightBrace=(QString(currentTokenName[0])!=".");
|
|
currentTokenName=currentTokenName.right(currentTokenName.size()-1);
|
|
break;
|
|
} else if (quitOnClosingBrace=="}" && (currentTokenName=="}" || QString(currentTokenName[0])==".")) {
|
|
showRightBrace=(QString(currentTokenName[0])!=".");
|
|
currentTokenName=currentTokenName.right(currentTokenName.size()-1);
|
|
break;
|
|
} else if (quitOnClosingBrace=="_" && (currentTokenName=="rfloor" || QString(currentTokenName[0])==".")) {
|
|
showRightBrace=(QString(currentTokenName[0])!=".");
|
|
currentTokenName=currentTokenName.right(currentTokenName.size()-1);
|
|
break;
|
|
} else if (quitOnClosingBrace=="#" && (currentTokenName=="|" || QString(currentTokenName[0])==".")) {
|
|
showRightBrace=(QString(currentTokenName[0])!=".");
|
|
currentTokenName=currentTokenName.right(currentTokenName.size()-1);
|
|
break;
|
|
} else if (quitOnClosingBrace==">" && (currentTokenName=="rangle" || QString(currentTokenName[0])==".")) {
|
|
showRightBrace=(QString(currentTokenName[0])!=".");
|
|
currentTokenName=currentTokenName.right(currentTokenName.size()-1);
|
|
break;
|
|
} else if (quitOnClosingBrace=="any") {
|
|
showRightBrace=(QString(currentTokenName[0])!=".");
|
|
//currentTokenName=currentTokenName.right(currentTokenName.size()-1);
|
|
break;
|
|
}
|
|
} else {
|
|
getNew=false;
|
|
}
|
|
} else if (name=="left") {
|
|
if (currentToken==MTTtext) {
|
|
if (currentTokenName.size()>0) {
|
|
if (currentTokenName[0]=='(') {
|
|
currentTokenName=currentTokenName.right(currentTokenName.size()-1); // we already used the first character from the text token!
|
|
nl->addNode(new MTbraceNode(this, "(", ")", parseLatexString(currentTokenName.size()<=0, ")"), showRightBrace));
|
|
} else if (currentTokenName[0]=='[') {
|
|
currentTokenName=currentTokenName.right(currentTokenName.size()-1);
|
|
nl->addNode(new MTbraceNode(this, "[", "]", parseLatexString(currentTokenName.size()<=0, "]"), showRightBrace));
|
|
} else if (currentTokenName[0]=='{') {
|
|
currentTokenName=currentTokenName.right(currentTokenName.size()-1);
|
|
nl->addNode(new MTbraceNode(this, "{", "}", parseLatexString(currentTokenName.size()<=0, "}"), showRightBrace));
|
|
} else if (currentTokenName[0]=='<') {
|
|
currentTokenName=currentTokenName.right(currentTokenName.size()-1);
|
|
nl->addNode(new MTbraceNode(this, "<", ">", parseLatexString(currentTokenName.size()<=0, ">"), showRightBrace));
|
|
} else if (currentTokenName[0]=='|') {
|
|
currentTokenName=currentTokenName.right(currentTokenName.size()-1);
|
|
nl->addNode(new MTbraceNode(this, "|", "|", parseLatexString(currentTokenName.size()<=0, "|"), showRightBrace));
|
|
} else if (currentTokenName[0]=='~') {
|
|
currentTokenName=currentTokenName.right(currentTokenName.size()-1);
|
|
nl->addNode(new MTbraceNode(this, "~", "~", parseLatexString(currentTokenName.size()<=0, "~"), showRightBrace));
|
|
} else if (currentTokenName[0]=='_') {
|
|
currentTokenName=currentTokenName.right(currentTokenName.size()-1);
|
|
nl->addNode(new MTbraceNode(this, "_", "_", parseLatexString(currentTokenName.size()<=0, "_"), showRightBrace));
|
|
} else if (currentTokenName[0]=='#') {
|
|
currentTokenName=currentTokenName.right(currentTokenName.size()-1);
|
|
nl->addNode(new MTbraceNode(this, "#", "#", parseLatexString(currentTokenName.size()<=0, "#"), showRightBrace));
|
|
} else if (currentTokenName[0]=='.') {
|
|
currentTokenName=currentTokenName.right(currentTokenName.size()-1);
|
|
JKQTmathText::MTnode* cn=parseLatexString(currentTokenName.size()<=0, "any");
|
|
nl->addNode(new MTbraceNode(this, ".", currentTokenName, cn, showRightBrace));
|
|
} else {
|
|
getNew=false;
|
|
}
|
|
}
|
|
} else if (currentToken==MTTinstruction && currentTokenName=="langle") {
|
|
currentTokenName=currentTokenName.right(currentTokenName.size()-1);
|
|
nl->addNode(new MTbraceNode(this, "<", ">", parseLatexString(true, ">"), showRightBrace));
|
|
} else if (currentToken==MTTinstruction && currentTokenName=="{") {
|
|
currentTokenName=currentTokenName.right(currentTokenName.size()-1);
|
|
nl->addNode(new MTbraceNode(this, "{", "}", parseLatexString(currentTokenName.size()<=0, "}"), showRightBrace));
|
|
} else if (currentToken==MTTinstruction && currentTokenName=="lfloor") {
|
|
currentTokenName=currentTokenName.right(currentTokenName.size()-1);
|
|
nl->addNode(new MTbraceNode(this, "_", "_", parseLatexString(true, "_"), showRightBrace));
|
|
} else if (currentToken==MTTinstruction && currentTokenName=="lceil") {
|
|
currentTokenName=currentTokenName.right(currentTokenName.size()-1);
|
|
nl->addNode(new MTbraceNode(this, "~", "~", parseLatexString(true, "~"), showRightBrace));
|
|
} else if (currentToken==MTTinstruction && currentTokenName=="|") {
|
|
currentTokenName=currentTokenName.right(currentTokenName.size()-1);
|
|
nl->addNode(new MTbraceNode(this, "#", "#", parseLatexString(currentTokenName.size()<=0, "#"), showRightBrace));
|
|
} else if (currentToken==MTTinstruction && currentTokenName==quitOnClosingBrace) {
|
|
break;
|
|
}
|
|
} else {
|
|
//bool addWhite=(currentToken==MTTwhitespace);
|
|
//getNew=addWhite;
|
|
getNew=false;
|
|
bool done=false;
|
|
if (name.size()==2) {
|
|
QChar n0=name[0];
|
|
QChar n1=name[1];
|
|
if (n0=='v' && n1.isLetter()) {
|
|
done=true;
|
|
//std::cout<<"found \\v... command\n";
|
|
nl->addNode(new MTdecoratedNode(this, MTDvec, new MTtextNode(this, QString(n1), false, parsingMathEnvironment)));
|
|
} else if (n0=='c' && n1.isLetter()) {
|
|
done=true;
|
|
//std::cout<<"found \\v... command\n";
|
|
nl->addNode(new MTinstruction1Node(this, "mathcal", new MTtextNode(this, QString(n1), false, parsingMathEnvironment)));
|
|
}
|
|
} else if (name.size()==3) {
|
|
QString n0=name.left(2);
|
|
QChar n1=name[name.size()-1];
|
|
if (n0=="bb" && n1.isLetter()) {
|
|
done=true;
|
|
//std::cout<<"found \\v... command\n";
|
|
nl->addNode(new MTinstruction1Node(this, "mathbb", new MTtextNode(this, QString(n1), false, parsingMathEnvironment)));
|
|
}
|
|
}
|
|
if (!done) nl->addNode(new MTsymbolNode(this, name, false));//, addWhite));
|
|
|
|
}
|
|
}
|
|
} else if (currentToken==MTTwhitespace) {
|
|
if (!parsingMathEnvironment) nl->addNode(new MTwhitespaceNode(this));
|
|
} else if (currentToken==MTTunderscore) {
|
|
getToken();
|
|
MTnode* child=nullptr;
|
|
MTnode* child2=nullptr;
|
|
if (currentToken==MTTinstruction) {
|
|
QString name=currentTokenName;
|
|
getToken(); // look at next token
|
|
if (currentToken==MTTopenbrace) {
|
|
child=new MTinstruction1Node(this, name, parseLatexString(true));
|
|
} else {
|
|
//bool addWhite=(currentToken==MTTwhitespace);
|
|
//getNew=addWhite;
|
|
//child=new MTsymbolNode(this, name, addWhite);
|
|
getNew=false;
|
|
child=new MTsymbolNode(this, name, false);
|
|
}
|
|
} else if (currentToken==MTTopenbrace) {
|
|
child=parseLatexString(true);
|
|
} else if (currentToken==MTTtext) {
|
|
if (currentTokenName.size()<=1) {
|
|
child=new MTtextNode(this, currentTokenName, false, parsingMathEnvironment);
|
|
} else {
|
|
child=new MTtextNode(this, QString(currentTokenName[0]), false, parsingMathEnvironment);
|
|
child2=new MTtextNode(this, currentTokenName.right(currentTokenName.size()-1), false, parsingMathEnvironment);
|
|
}
|
|
} else {
|
|
getNew=false;
|
|
}
|
|
if (child!=nullptr) nl->addNode(new MTsubscriptNode(this, child));
|
|
if (child2!=nullptr) nl->addNode(child2);
|
|
} else if (currentToken==MTThat) {
|
|
getToken();
|
|
MTnode* child=nullptr;
|
|
MTnode* child2=nullptr;
|
|
if (currentToken==MTTinstruction) {
|
|
QString name=currentTokenName;
|
|
getToken(); // look at next token
|
|
if (currentToken==MTTopenbrace) {
|
|
child=new MTinstruction1Node(this, name, parseLatexString(true));
|
|
} else {
|
|
//bool addWhite=(currentToken==MTTwhitespace);
|
|
//getNew=addWhite;
|
|
//child=new MTsymbolNode(this, name, addWhite);
|
|
getNew=false;
|
|
child=new MTsymbolNode(this, name, false);
|
|
}
|
|
} else if (currentToken==MTTopenbrace) {
|
|
child=parseLatexString(true);
|
|
} else if (currentToken==MTTtext) {
|
|
if (currentTokenName.size()<=1) {
|
|
child=new MTtextNode(this, currentTokenName, false, parsingMathEnvironment);
|
|
} else {
|
|
child=new MTtextNode(this, QString(currentTokenName[0]), false, parsingMathEnvironment);
|
|
child2=new MTtextNode(this, currentTokenName.right(currentTokenName.size()-1), false, parsingMathEnvironment);
|
|
}
|
|
} else {
|
|
getNew=false;
|
|
}
|
|
if (child!=nullptr) nl->addNode(new MTsuperscriptNode(this, child));
|
|
if (child2!=nullptr) nl->addNode(child2);
|
|
} else if (currentToken==MTTopenbrace) {
|
|
nl->addNode(parseLatexString(true));
|
|
} else if (currentToken==MTTclosebrace) {
|
|
break;
|
|
} else if (currentToken==MTTampersand) {
|
|
break;
|
|
} else if (currentToken==MTTdollar) {
|
|
if (parsingMathEnvironment) { // reached end of math environment
|
|
parsingMathEnvironment=false;
|
|
break;
|
|
} else { // starting math environment
|
|
parsingMathEnvironment=true;
|
|
nl->addNode(new MTinstruction1Node(this, "equation", parseLatexString(true)));
|
|
}
|
|
}
|
|
if (getNew) getToken();
|
|
}
|
|
//std::cout<<" leaving parseLatexString()\n";
|
|
return nl;
|
|
}
|
|
|
|
|
|
QList<JKQTmathText::tbrData> JKQTmathText::tbrs=QList<JKQTmathText::tbrData>();
|
|
QHash<JKQTmathText::tbrDataH, QRectF> JKQTmathText::tbrh=QHash<JKQTmathText::tbrDataH, QRectF>();
|
|
|
|
QRectF JKQTmathText::getTBR(const QFont &fm, const QString &text, QPaintDevice *pd)
|
|
{
|
|
JKQTmathText::tbrDataH dh(fm, text, pd);
|
|
if (pd) {
|
|
if (tbrh.contains(dh)) return tbrh[dh];
|
|
/*for (int i=0; i<tbrs.size(); i++) {
|
|
if (tbrs[i].f==fm && tbrs[i].text==text && (tbrs[i].ldpiX==pd->logicalDpiX() && tbrs[i].ldpiY==pd->logicalDpiY() && tbrs[i].pdpiX==pd->physicalDpiX() && tbrs[i].pdpiY==pd->physicalDpiY())) {
|
|
//qDebug()<<" ### "<<fm<<pd<<tbrs[i].text<<tbrs[i].tbr;
|
|
return tbrs[i].tbr;
|
|
}
|
|
}*/
|
|
} else {
|
|
//qDebug()<<"warning no pd";
|
|
}
|
|
tbrData d(fm, text, pd);
|
|
tbrs.append(d);
|
|
tbrh[dh]=d.tbr;
|
|
//qDebug()<<"TBRs lits: "<<tbrs.size();
|
|
//qDebug()<<"+++ "<<fm<<pd<<d.text<<d.tbr;
|
|
return d.tbr;
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
bool JKQTmathText::parse(QString text){
|
|
QString ntext=QString("\\;")+text+QString("\\;");
|
|
ntext=ntext.remove("\\limits");
|
|
if (parsedNode && parseString==ntext) return true;
|
|
|
|
|
|
if (parsedNode!=nullptr) delete parsedNode;
|
|
if (unparsedNode!=nullptr) delete unparsedNode;
|
|
parseString=ntext;
|
|
|
|
currentTokenID=-1;
|
|
currentToken=MTTnone;
|
|
currentTokenName="";
|
|
parsingMathEnvironment=false;
|
|
error_list.clear();
|
|
parsedNode=parseLatexString(true);
|
|
unparsedNode=new MTplainTextNode(this, text, false);
|
|
return (parsedNode!=nullptr);
|
|
}
|
|
|
|
|
|
QSizeF JKQTmathText::getSize(QPainter& painter){
|
|
if (getTree()!=nullptr) {
|
|
double w=0, a=0, d=0, s=0;
|
|
getSizeDetail(painter, w, a, d, s);
|
|
return QSizeF(w, a+d);
|
|
}
|
|
return QSizeF(0,0);
|
|
}
|
|
|
|
double JKQTmathText::getDescent(QPainter& painter) {
|
|
double w=0, a=0, d=0, s=0;
|
|
getSizeDetail(painter, w, a, d, s);
|
|
return d;
|
|
}
|
|
|
|
double JKQTmathText::getAscent(QPainter& painter) {
|
|
double w=0, a=0, d=0, s=0;
|
|
getSizeDetail(painter, w, a, d, s);
|
|
return a;
|
|
}
|
|
|
|
void JKQTmathText::getSizeDetail(QPainter& painter, double& width, double& ascent, double& descent, double& strikeoutPos) {
|
|
width=0;
|
|
ascent=0;
|
|
descent=0;
|
|
strikeoutPos=0;
|
|
if (getTree()!=nullptr) {
|
|
MTenvironment ev;
|
|
ev.color=fontColor;
|
|
ev.fontSize=fontSize;
|
|
|
|
double overallHeight=0;
|
|
getTree()->getSize(painter, ev, width, ascent, overallHeight, strikeoutPos);
|
|
descent=overallHeight-ascent;
|
|
ascent=ascent*1.1;
|
|
descent=qMax(ascent*0.1, descent*1.1);
|
|
strikeoutPos=strikeoutPos*1.1;
|
|
}
|
|
}
|
|
|
|
void JKQTmathText::draw(QPainter& painter, double x, double y, bool drawBoxes){
|
|
if (getTree()!=nullptr) {
|
|
MTenvironment ev;
|
|
ev.color=fontColor;
|
|
ev.fontSize=fontSize;
|
|
getTree()->set_drawBoxes(drawBoxes);
|
|
getTree()->draw(painter, x, y, ev);
|
|
}
|
|
}
|
|
|
|
void JKQTmathText::draw(QPainter& painter, int flags, QRectF rect, bool drawBoxes) {
|
|
if (getTree()!=nullptr) {
|
|
MTenvironment ev;
|
|
ev.color=fontColor;
|
|
ev.fontSize=fontSize;
|
|
getTree()->set_drawBoxes(drawBoxes);
|
|
|
|
double width=0;
|
|
double baselineHeight=0;
|
|
double overallHeight=0, strikeoutPos=0;
|
|
getTree()->getSize(painter, ev, width, baselineHeight, overallHeight, strikeoutPos);
|
|
|
|
// align left top
|
|
double x=rect.left();
|
|
double y=rect.top()+baselineHeight;
|
|
|
|
// care for horizontal align
|
|
if ((flags & Qt::AlignRight) != 0) x=x+rect.width()-width;
|
|
else if ((flags & Qt::AlignHCenter) != 0) x=x+(rect.width()-width)/2.0;
|
|
|
|
// care for vertical align
|
|
if ((flags & Qt::AlignBottom) != 0) y=y+rect.height()-overallHeight;
|
|
else if ((flags & Qt::AlignVCenter) != 0) y=y+(rect.height()-overallHeight)/2.0;
|
|
|
|
// finally draw
|
|
getTree()->draw(painter, x, y, ev);
|
|
}
|
|
}
|
|
|
|
JKQTmathText::MTwhitespaceNode::MTwhitespaceNode(JKQTmathText *parent):
|
|
MTtextNode(parent, " ", false, false)
|
|
{
|
|
|
|
}
|
|
|
|
JKQTmathText::MTwhitespaceNode::~MTwhitespaceNode()
|
|
{
|
|
|
|
}
|
|
|
|
QString JKQTmathText::MTwhitespaceNode::getTypeName() const
|
|
{
|
|
return QLatin1String("MTwhitespaceNode(")+text+")";
|
|
}
|
|
|
|
bool JKQTmathText::MTwhitespaceNode::toHtml(QString &html, JKQTmathText::MTenvironment /*currentEv*/, JKQTmathText::MTenvironment /*defaultEv*/) {
|
|
html=html+" ";
|
|
return true;
|
|
}
|
|
|
|
void JKQTmathText::MTnode::set_drawBoxes(bool draw)
|
|
{
|
|
this->drawBoxes=draw;
|
|
}
|
|
|
|
QString JKQTmathText::MTnode::getTypeName() const
|
|
{
|
|
return "MTnode";
|
|
}
|
|
|
|
QString JKQTmathText::fracModeToString(JKQTmathText::MTfracMode mode)
|
|
{
|
|
switch(mode) {
|
|
case MTFMfrac:
|
|
return "frac";
|
|
case MTFMdfrac:
|
|
return "dfrac";
|
|
case MTFMtfrac:
|
|
return "tfrac";
|
|
case MTFMunderbrace:
|
|
return "underbrace";
|
|
case MTFMoverbrace:
|
|
return "overbrace";
|
|
case MTFMunderset:
|
|
return "underset";
|
|
case MTFMoverset:
|
|
return "overset";
|
|
case MTFMstackrel:
|
|
return "stackrel";
|
|
}
|
|
return "unknown";
|
|
}
|
|
|
|
|
|
QString JKQTmathText::decorationToString(JKQTmathText::MTdecoration mode)
|
|
{
|
|
switch(mode) {
|
|
case MTDvec:
|
|
return "vec";
|
|
case MTDtilde:
|
|
return "tilde";
|
|
case MTDhat:
|
|
return "hat";
|
|
case MTDdot:
|
|
return "dot";
|
|
case MTDddot:
|
|
return "ddot";
|
|
case MTDbar:
|
|
return "bar";
|
|
case MTDarrow:
|
|
return "arrow";
|
|
case MTDoverline:
|
|
return "overline";
|
|
case MTDdoubleoverline:
|
|
return "double overline";
|
|
case MTDunderline:
|
|
return "underline";
|
|
case MTDdoubleunderline:
|
|
return "double underline";
|
|
}
|
|
return "unknown";
|
|
}
|
|
|
|
JKQTMathTextLabel::JKQTMathTextLabel(QWidget *parent):
|
|
QLabel(parent)
|
|
{
|
|
m_mathText=new JKQTmathText(this);
|
|
m_mathText->useXITS();
|
|
m_mathText->set_fontSize(font().pointSizeF()*1.3);
|
|
lastText="";
|
|
repaintDo=true;
|
|
buffer=QPixmap();
|
|
}
|
|
|
|
JKQTMathTextLabel::~JKQTMathTextLabel()
|
|
{
|
|
}
|
|
|
|
JKQTmathText *JKQTMathTextLabel::getMathText() const
|
|
{
|
|
return m_mathText;
|
|
}
|
|
|
|
void JKQTMathTextLabel::setMath(const QString &text, bool doRepaint)
|
|
{
|
|
if (text!=lastText || doRepaint){
|
|
lastText=text;
|
|
repaintDo=true;
|
|
internalPaint();
|
|
update();
|
|
}
|
|
}
|
|
|
|
|
|
void JKQTMathTextLabel::internalPaint()
|
|
{
|
|
//return;
|
|
//qDebug()<<"internalPaint "<<lastText<<repaintDo;
|
|
//if (repaintDo) {
|
|
QSizeF size;
|
|
{
|
|
repaintDo=false;
|
|
//qDebug()<<"internalPaint(): parse "<<m_mathText->parse(lastText)<<"\n "<<m_mathText->get_error_list().join("\n")<<"\n\n";
|
|
if (!m_mathText->parse(lastText)) {
|
|
qDebug()<<"JKQTMathTextLabel::internalPaint(): parse '"<<lastText<<"': "<<m_mathText->parse(lastText)<<"\n "<<m_mathText->get_error_list().join("\n")<<"\n\n";
|
|
}
|
|
|
|
if (buffer.width()<=0 || buffer.height()<=0) buffer=QPixmap(1000,100);
|
|
//qDebug()<<"internalPaint(): buffer "<<buffer.size();
|
|
QPainter p;
|
|
//qDebug()<<"internalPaint(): "<<p.begin(&buffer);
|
|
p.begin(&buffer);
|
|
p.setRenderHint(QPainter::Antialiasing);
|
|
p.setRenderHint(QPainter::HighQualityAntialiasing);
|
|
p.setRenderHint(QPainter::TextAntialiasing);
|
|
size=m_mathText->getSize(p);
|
|
p.end();
|
|
}
|
|
buffer=QPixmap(qMax(32.0,size.width()*1.2), qMax(10.0,size.height()*1.1));
|
|
buffer.fill(Qt::transparent);
|
|
{
|
|
//qDebug()<<"internalPaint(): "<<buffer.size()<<size;
|
|
QPainter p;
|
|
//qDebug()<<"internalPaint(): "<<p.begin(&buffer);
|
|
p.begin(&buffer);
|
|
p.setRenderHint(QPainter::Antialiasing);
|
|
p.setRenderHint(QPainter::HighQualityAntialiasing);
|
|
p.setRenderHint(QPainter::TextAntialiasing);
|
|
m_mathText->draw(p,alignment(), QRectF(QPointF(0,0), size));
|
|
p.end();
|
|
}
|
|
setPixmap(buffer);
|
|
//}
|
|
//qDebug()<<"internalPaint(): setPixmap";
|
|
QApplication::processEvents();
|
|
//qDebug()<<"internalPaint(): DONE";
|
|
}
|
|
|
|
void JKQTMathTextLabel::paintEvent(QPaintEvent *event)
|
|
{
|
|
//QLabel::paintEvent(event);
|
|
//return;
|
|
|
|
//qDebug()<<"paintEvent: "<<buffer.size();
|
|
|
|
//QApplication::processEvents();
|
|
QLabel::paintEvent(event);
|
|
//qDebug()<<"paintEvent DONE: "<<size();
|
|
}
|
|
|
|
|
|
|
|
JKQTmathText::tbrData::tbrData(const QFont &f, const QString &text, QPaintDevice *pd):
|
|
fm(f, pd)
|
|
{
|
|
this->text=text;
|
|
this->tbr=this->fm.tightBoundingRect(text);
|
|
this->f=f;
|
|
//this->pd=pd;
|
|
if (pd) {
|
|
ldpiX=pd->logicalDpiX();
|
|
ldpiY=pd->logicalDpiY();
|
|
pdpiX=pd->physicalDpiX();
|
|
pdpiY=pd->physicalDpiY();
|
|
} else {
|
|
ldpiX=0;
|
|
ldpiY=0;
|
|
pdpiX=0;
|
|
pdpiY=0;
|
|
}
|
|
}
|
|
|
|
bool JKQTmathText::tbrData::operator==(const JKQTmathText::tbrData &other) const
|
|
{
|
|
return ldpiX==other.ldpiX && ldpiY==other.ldpiY && text==other.text && f==other.f;
|
|
}
|
|
|
|
|
|
JKQTmathText::tbrDataH::tbrDataH(const QFont &f, const QString &text, QPaintDevice *pd)
|
|
{
|
|
this->text=text;
|
|
this->f=f;
|
|
if (pd) {
|
|
ldpiX=pd->logicalDpiX();
|
|
ldpiY=pd->logicalDpiY();
|
|
pdpiX=pd->physicalDpiX();
|
|
pdpiY=pd->physicalDpiY();
|
|
} else {
|
|
ldpiX=0;
|
|
ldpiY=0;
|
|
pdpiX=0;
|
|
pdpiY=0;
|
|
}
|
|
}
|
|
|
|
bool JKQTmathText::tbrDataH::operator==(const JKQTmathText::tbrDataH &other) const
|
|
{
|
|
return ldpiX==other.ldpiX && ldpiY==other.ldpiY && text==other.text && f==other.f;
|
|
|
|
}
|
|
|
|
|
|
JKQTmathText::MTplainTextNode::MTplainTextNode(JKQTmathText *parent, QString text, bool addWhitespace, bool stripInnerWhitepace):
|
|
JKQTmathText::MTtextNode(parent, text, addWhitespace, stripInnerWhitepace)
|
|
{
|
|
|
|
}
|
|
|
|
QString JKQTmathText::MTplainTextNode::getTypeName() const
|
|
{return QLatin1String("MTplainTextNode(")+text+")";
|
|
|
|
}
|
|
|
|
|
|
QString JKQTmathText::MTplainTextNode::textTransform(const QString &text, JKQTmathText::MTenvironment /*currentEv*/, bool /*forSize*/)
|
|
{
|
|
return text;
|
|
}
|