Make undo action no-ops when the buffer is read-only

[lyx.git] / src / mathed / InsetMathXArrow.cpp

diff --git a/src/mathed/InsetMathXArrow.cpp b/src/mathed/InsetMathXArrow.cpp
index 9e3c91d003d2a89d86625e0d911bc380e1573246..c150a4454cf86f086671b0d8ef06e64958739600 100644 (file)
--- a/src/mathed/InsetMathXArrow.cpp
+++ b/src/mathed/InsetMathXArrow.cpp
@@ -10,15 +10,19 @@
 
 #include <config.h>
 
-#include "support/lassert.h"
-
 #include "InsetMathXArrow.h"
+
 #include "MathData.h"
 #include "MathStream.h"
-#include "MathStream.h"
 #include "MathSupport.h"
 
 #include "LaTeXFeatures.h"
+#include "MetricsInfo.h"
+
+#include "support/debug.h"
+#include "support/lassert.h"
+
+#include <algorithm>
 
 using namespace std;
 
@@ -38,7 +42,8 @@ Inset * InsetMathXArrow::clone() const
 
 void InsetMathXArrow::metrics(MetricsInfo & mi, Dimension & dim) const
 {
-       ScriptChanger dummy(mi.base);
+       Changer dummy2 = mi.base.changeEnsureMath();
+       Changer dummy = mi.base.changeScript();
        Dimension dim0;
        cell(0).metrics(mi, dim0);
        Dimension dim1;
@@ -46,25 +51,24 @@ void InsetMathXArrow::metrics(MetricsInfo & mi, Dimension & dim) const
        dim.wid = max(dim0.width(), dim1.width()) + 10;
        dim.asc = dim0.height() + 10;
        dim.des = dim1.height();
-       metricsMarkers(dim);
 }
 
 
 void InsetMathXArrow::draw(PainterInfo & pi, int x, int y) const
 {
-       ScriptChanger dummy(pi.base);
+       Changer dummy2 = pi.base.changeEnsureMath();
+       Changer dummy = pi.base.changeScript();
        Dimension const dim = dimension(*pi.base.bv);
        Dimension const & dim0 = cell(0).dimension(*pi.base.bv);
        // center the cells with the decoration
        cell(0).draw(pi, x + dim.width()/2 - dim0.width()/2, y - 10);
        Dimension const & dim1 = cell(1).dimension(*pi.base.bv);
        cell(1).draw(pi, x + dim.width()/2 - dim1.width()/2, y + dim1.height());
-       mathed_draw_deco(pi, x + 1, y - 7, dim.wid - 2, 5, name_);
-       drawMarkers(pi, x, y);
+       mathed_draw_deco(pi, x, y - 7, dim.wid, 5, name_);
 }
 
 
-void InsetMathXArrow::write(WriteStream & os) const
+void InsetMathXArrow::write(TeXMathStream & os) const
 {
        MathEnsurer ensurer(os);
        os << '\\' << name_;
@@ -80,92 +84,76 @@ void InsetMathXArrow::normalize(NormalStream & os) const
 }
 
 
-void InsetMathXArrow::mathmlize(MathStream & ms) const
+static std::map<string, string> latex_to_html_entities = {
+               {"xleftarrow", "&larr;"},
+               {"xrightarrow", "&rarr;"},
+               {"xhookleftarrow", "&larrhk;"},
+               {"xhookrightarrow", "&rarrhk;"},
+               {"xLeftarrow", "&lArr;"},
+               {"xRightarrow", "&rArr;"},
+               {"xleftrightarrow", "&leftrightarrow;"},
+               {"xLeftrightarrow", "&Leftrightarrow;"},
+               {"xleftharpoondown", "&leftharpoondown;"},
+               {"xleftharpoonup", "&leftharpoonup;"},
+               {"xleftrightharpoons", "&leftrightharpoons;"},
+               {"xrightharpoondown", "&rightharpoondown;"},
+               {"xrightharpoonup", "&rightharpoonup;"},
+               {"xrightleftharpoons", "&rightleftharpoons;"},
+               {"xmapsto", "&mapsto;"},
+};
+
+
+static std::map<string, string> latex_to_xml_entities = {
+               {"xleftarrow", "&#x2190;"},
+               {"xrightarrow", "&#x2192;"},
+               {"xhookleftarrow", "&#x21a9;"},
+               {"xhookrightarrow", "&#x21aa;"},
+               {"xLeftarrow", "&#x21d0;"},
+               {"xRightarrow", "&#x21d2;"},
+               {"xleftrightarrow", "&#x2194;"},
+               {"xLeftrightarrow", "&#x21d4;"},
+               {"xleftharpoondown", "&#x21bd;"},
+               {"xleftharpoonup", "&#x21bc;"},
+               {"xleftrightharpoons", "&#x21cb;"},
+               {"xrightharpoondown", "&#x21c1;"},
+               {"xrightharpoonup", "&#x21c0;"},
+               {"xrightleftharpoons", "&#x21cc;"},
+               {"xmapsto", "&#x21a6;"},
+};
+
+
+docstring map_latex_to(docstring latex, bool xml = false)
 {
-       char const * arrow;
-       
-       if (name_ == "xleftarrow")
-               arrow = "&larr;";
-       else if (name_ == "xrightarrow")
-               arrow = "&rarr;";
-       else if (name_ == "xhookleftarrow")
-               arrow = "&larrhk;";
-       else if (name_ == "xhookrightarrow")
-               arrow = "&rarrhk;";
-       else if (name_ == "xLeftarrow")
-               arrow = "&lArr;";
-       else if (name_ == "xRightarrow")
-               arrow = "&rArr;";
-       else if (name_ == "xleftrightarrow")
-               arrow = "&leftrightarrow;";
-       else if (name_ == "xLeftrightarrow")
-               arrow = "&Leftrightarrow;";
-       else if (name_ == "xleftharpoondown")
-               arrow = "&leftharpoondown;";
-       else if (name_ == "xleftharpoonup")
-               arrow = "&leftharpoonup;";
-       else if (name_ == "xleftrightharpoons")
-               arrow = "&leftrightharpoons;";
-       else if (name_ == "xrightharpoondown")
-               arrow = "&rightharpoondown;";
-       else if (name_ == "xrightharpoonup")
-               arrow = "&rightharpoonup;";
-       else if (name_ == "xrightleftharpoons")
-               arrow = "&rightleftharpoons;";
-       else if (name_ == "xmapsto")
-               arrow = "&mapsto;";
-       else {
-               lyxerr << "mathmlize conversion for '" << name_ << "' not implemented" << endl;
-               LASSERT(false, arrow = "&rarr;");
+       auto dict = (xml) ? latex_to_xml_entities : latex_to_html_entities;
+
+       auto mapping = dict.find(to_ascii(latex));
+       if (mapping != dict.end()) {
+               return from_ascii(mapping->second);
+       } else {
+               std::string format = (xml) ? "XML" : "HTML";
+               lyxerr << "mathmlize " << format << " conversion for '" << latex << "' not implemented" << endl;
+               LASSERT(false, return from_ascii(dict["xrightarrow"]));
        }
-       ms << "<munderover accent='false' accentunder='false'>"
-          << arrow << cell(1) << cell(0)
-          << "</munderover>";
+}
+
+
+void InsetMathXArrow::mathmlize(MathMLStream & ms) const
+{
+       docstring arrow = map_latex_to(name_, ms.xmlMode());
+       ms << "<" << from_ascii(ms.namespacedTag("munderover")) << " accent='false' accentunder='false'>"
+          << MTagInline("mo") << arrow << ETagInline("mo")
+          << cell(1) << cell(0)
+          << "</" << from_ascii(ms.namespacedTag("munderover"))<< ">";
 }
 
 
 void InsetMathXArrow::htmlize(HtmlStream & os) const
 {
-       char const * arrow;
-
-       if (name_ == "xleftarrow")
-               arrow = "&larr;";
-       else if (name_ == "xrightarrow")
-               arrow = "&rarr;";
-       else if (name_ == "xhookleftarrow")
-               arrow = "&larrhk;";
-       else if (name_ == "xhookrightarrow")
-               arrow = "&rarrhk;";
-       else if (name_ == "xLeftarrow")
-               arrow = "&lArr;";
-       else if (name_ == "xRightarrow")
-               arrow = "&rArr;";
-       else if (name_ == "xleftrightarrow")
-               arrow = "&leftrightarrow;";
-       else if (name_ == "xLeftrightarrow")
-               arrow = "&Leftrightarrow;";
-       else if (name_ == "xleftharpoondown")
-               arrow = "&leftharpoondown;";
-       else if (name_ == "xleftharpoonup")
-               arrow = "&leftharpoonup;";
-       else if (name_ == "xleftrightharpoons")
-               arrow = "&leftrightharpoons;";
-       else if (name_ == "xrightharpoondown")
-               arrow = "&rightharpoondown;";
-       else if (name_ == "xrightharpoonup")
-               arrow = "&rightharpoonup;";
-       else if (name_ == "xrightleftharpoons")
-               arrow = "&rightleftharpoons;";
-       else if (name_ == "xmapsto")
-               arrow = "&mapsto;";
-       else {
-               lyxerr << "htmlize conversion for '" << name_ << "' not implemented" << endl;
-               LASSERT(false, arrow = "&rarr;");
-       }
+       docstring arrow = map_latex_to(name_);
        os << MTag("span", "class='xarrow'")
-                << MTag("span", "class='xatop'") << cell(0) << ETag("span")
-                << MTag("span", "class='xabottom'") << arrow << ETag("span")
-                << ETag("span");
+          << MTag("span", "class='xatop'") << cell(0) << ETag("span")
+          << MTag("span", "class='xabottom'") << arrow << ETag("span")
+          << ETag("span");
 }
 
 
@@ -175,6 +163,7 @@ void InsetMathXArrow::validate(LaTeXFeatures & features) const
                features.require("amsmath");
        else
                features.require("mathtools");
+
        if (features.runparams().math_flavor == OutputParams::MathAsHTML)
                // CSS adapted from eLyXer
                features.addCSSSnippet(