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 2de93f79909fe4e01807e81f9849e877ee162965..c150a4454cf86f086671b0d8ef06e64958739600 100644 (file)
--- a/src/mathed/InsetMathXArrow.cpp
+++ b/src/mathed/InsetMathXArrow.cpp
@@ -68,7 +68,7 @@ void InsetMathXArrow::draw(PainterInfo & pi, int x, int y) const
 }
 
 
-void InsetMathXArrow::write(WriteStream & os) const
+void InsetMathXArrow::write(TeXMathStream & os) const
 {
        MathEnsurer ensurer(os);
        os << '\\' << name_;
@@ -84,130 +84,76 @@ void InsetMathXArrow::normalize(NormalStream & os) const
 }
 
 
-void InsetMathXArrow::mathmlize(MathMLStream & 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 (!ms.xmlMode()) { // Use HTML entities.
-               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;");
-               }
-       } else { // Use XML entities.
-               if (name_ == "xleftarrow")
-                       arrow = "&#x2190;";
-               else if (name_ == "xrightarrow")
-                       arrow = "&#x2192;";
-               else if (name_ == "xhookleftarrow")
-                       arrow = "&#x21a9;";
-               else if (name_ == "xhookrightarrow")
-                       arrow = "&#x21aa;";
-               else if (name_ == "xLeftarrow")
-                       arrow = "&#x21d0;";
-               else if (name_ == "xRightarrow")
-                       arrow = "&#x21d2;";
-               else if (name_ == "xleftrightarrow")
-                       arrow = "&#x2194;";
-               else if (name_ == "xLeftrightarrow")
-                       arrow = "&#x21d4;";
-               else if (name_ == "xleftharpoondown")
-                       arrow = "&#x21bd;";
-               else if (name_ == "xleftharpoonup")
-                       arrow = "&#x21bc;";
-               else if (name_ == "xleftrightharpoons")
-                       arrow = "&#x21cb;";
-               else if (name_ == "xrightharpoondown")
-                       arrow = "&#x21c1;";
-               else if (name_ == "xrightharpoonup")
-                       arrow = "&#x21c0;";
-               else if (name_ == "xrightleftharpoons")
-                       arrow = "&#x21cc;";
-               else if (name_ == "xmapsto")
-                       arrow = "&#x21a6;";
-               else {
-                       lyxerr << "mathmlize XML conversion for '" << name_ << "' not implemented" << endl;
-                       LASSERT(false, arrow = "&#x2192;");
-               }
+       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"]));
        }
+}
 
+
+void InsetMathXArrow::mathmlize(MathMLStream & ms) const
+{
+       docstring arrow = map_latex_to(name_, ms.xmlMode());
        ms << "<" << from_ascii(ms.namespacedTag("munderover")) << " accent='false' accentunder='false'>"
-          << arrow << cell(1) << cell(0)
+          << 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");
 }
 
 
@@ -217,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(