anne/lyx_mirror
1
0
Fork 0
mirror of https://git.lyx.org/repos/lyx.git synced 2024-11-25 10:58:52 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

MathML: don't let the processor stretch operators when they are single characters for LyX.

Browse Source 
The main goal is to match TeX' behaviour. If you want stretchy operators, use InsetMathDelim / \left & \right. This patch will change the output in many files, but making the rendering much closer to that of TeX (which users should expect, due to LyX' roots in TeX).
This commit is contained in:
Thibaut Cuvelier 2024-03-11 02:00:47 +01:00
parent 8f820d7ccb
commit 7e6597a5b4
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/mathed/InsetMathChar.cpp
View File

@ -230,6 +230,8 @@ void InsetMathChar::octave(OctaveStream & os) const
// mathalpha, then we'll treat it as an identifier, otherwise as an // mathalpha, then we'll treat it as an identifier, otherwise as an
// operator. // operator.
// Worst case: We get bad spacing, or bad italics. // Worst case: We get bad spacing, or bad italics.
// In any case, never let MathML stretch a single character when it
// is recognised as an operator, to match TeX' behaviour.
void InsetMathChar::mathmlize(MathMLStream & ms) const void InsetMathChar::mathmlize(MathMLStream & ms) const
{ {
std::string entity; std::string entity;
@ -253,7 +255,7 @@ void InsetMathChar::mathmlize(MathMLStream & ms) const
} }
if (!entity.empty()) { if (!entity.empty()) {
ms << MTagInline("mo") ms << MTagInline("mo", "stretchy='false'")
<< from_ascii(entity) << from_ascii(entity)
<< ETagInline("mo"); << ETagInline("mo");
return; return;
@ -262,7 +264,7 @@ void InsetMathChar::mathmlize(MathMLStream & ms) const
char const * type = char const * type =
(isAlphaASCII(char_) || Encodings::isMathAlpha(char_)) (isAlphaASCII(char_) || Encodings::isMathAlpha(char_))
? "mi" : "mo"; ? "mi" : "mo";
ms << MTagInline(type) ms << MTagInline(type, std::string(type) == "mo" ? "stretchy='false'" : "")
<< char_type(char_) << char_type(char_)
<< ETagInline(type); << ETagInline(type);
} }