inactive new stuff to re-sync my tree before going on holyday

[lyx.git] / src / mathed / math_support.C

diff --git a/src/mathed/math_support.C b/src/mathed/math_support.C
index b570c046304febdac58e5ae048ecf3f5bfd38c4f..b19eeab53a14799344383825d634ff516a9218ac 100644 (file)
--- a/src/mathed/math_support.C
+++ b/src/mathed/math_support.C
@@ -394,13 +394,21 @@ double const hline[] = {
 };
 
 
-double const hline2[] = {
+double const ddot[] = {
        1, 0.2, 0.5,  0.3, 0.5,
        1, 0.7, 0.5,  0.8, 0.5,
        0
 };
 
 
+double const dddot[] = {
+       1, 0.1, 0.5,  0.2, 0.5,
+       1, 0.45, 0.5, 0.55, 0.5,
+       1, 0.8, 0.5,  0.9, 0.5,
+       0
+};
+
+
 double const hline3[] = {
        1, 0.1,   0,  0.15,  0,
        1, 0.475, 0,  0.525, 0,
@@ -467,7 +475,9 @@ named_deco_struct deco_table[] = {
        {"overrightarrow", arrow,      3 },
        {"xleftarrow",     arrow,      1 },
        {"xrightarrow",    arrow,      3 },
-       
+       {"underleftarrow", arrow,      1 },
+       {"underrightarrow", arrow,     3 },
+
        // Delimiters
        {"(",              parenth,    0 },
        {")",              parenth,    2 },
@@ -494,7 +504,8 @@ named_deco_struct deco_table[] = {
        {"Updownarrow",    Udarrow,    0 },     
        
        // Accents
-       {"ddot",           hline2,     0 },
+       {"ddot",           ddot,       0 },
+       {"dddot",          dddot,      0 },
        {"hat",            angle,      3 },
        {"grave",          slash,      1 },
        {"acute",          slash,      0 },
@@ -801,3 +812,24 @@ char const * math_font_name(MathTextCodes code)
                return theFontNames[code - LM_TC_RM];
        return 0;
 }
+
+string convertDelimToLatexName(string const & name)
+{
+       if (name == "(")
+               return name;
+       if (name == "[")
+               return name;
+       if (name == ".")
+               return name;
+       if (name == ")")
+               return name;
+       if (name == "]")
+               return name;
+       if (name == "/")
+               return name;
+       if (name == "|")
+               return name;
+       return "\\" + name + " ";
+}
+
+