split inset -> inset + updatableinset

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

diff --git a/src/mathed/math_support.C b/src/mathed/math_support.C
index 5bcdbfd8bd600cc29719a152c6ef67a6f5f5569a..f68869926c0ace78e64746856546e5e68f0be880 100644 (file)
--- a/src/mathed/math_support.C
+++ b/src/mathed/math_support.C
@@ -62,7 +62,7 @@ namespace {
 
 
 double const parenthHigh[] = {
-13,
+       2, 13,
        0.9840, 0.0014, 0.7143, 0.0323, 0.4603, 0.0772,
        0.2540, 0.1278, 0.1746, 0.1966, 0.0952, 0.3300,
        0.0950, 0.5000, 0.0952, 0.6700, 0.1746, 0.8034,
@@ -73,7 +73,7 @@ double const parenthHigh[] = {
 
 
 double const parenth[] = {
-13,
+       2, 13,
        0.9930, 0.0071, 0.7324, 0.0578, 0.5141, 0.1126,
        0.3380, 0.1714, 0.2183, 0.2333, 0.0634, 0.3621,
        0.0141, 0.5000, 0.0563, 0.6369, 0.2113, 0.7647,
@@ -84,7 +84,7 @@ double const parenth[] = {
 
 
 double const brace[] = {
-21,
+       2, 21,
        0.9492, 0.0020, 0.9379, 0.0020, 0.7458, 0.0243,
        0.5819, 0.0527, 0.4859, 0.0892, 0.4463, 0.1278,
        0.4463, 0.3732, 0.4011, 0.4199, 0.2712, 0.4615,
@@ -97,139 +97,139 @@ double const brace[] = {
 
 
 double const arrow[] = {
-
+       4, 7,
        0.0150, 0.7500, 0.2000, 0.6000, 0.3500, 0.3500,
        0.5000, 0.0500, 0.6500, 0.3500, 0.8000, 0.6000,
        0.9500, 0.7500,
-0.1500,
+       3, 0.5000, 0.1500, 0.5000, 0.9500,
        0
 };
 
 
 double const Arrow[] = {
-
+       4, 7,
        0.0150, 0.7500, 0.2000, 0.6000, 0.3500, 0.3500,
        0.5000, 0.0500, 0.6500, 0.3500, 0.8000, 0.6000,
        0.9500, 0.7500,
-0.5000,
-0.5000,
+       3, 0.3500, 0.5000, 0.3500, 0.9500,
+       3, 0.6500, 0.5000, 0.6500, 0.9500,
        0
 };
 
 
 double const udarrow[] = {
-3,
+       2, 3,
        0.015, 0.25,  0.5, 0.05, 0.95, 0.25,
-3,
+       2, 3,
        0.015, 0.75,  0.5, 0.95, 0.95, 0.75,
-1,
+       1, 0.5, 0.2,  0.5, 0.8,
        0
 };
 
 
 double const Udarrow[] = {
-3,
+       2, 3,
        0.015, 0.25,  0.5, 0.05, 0.95, 0.25,
-3,
+       2, 3,
        0.015, 0.75,  0.5, 0.95, 0.95, 0.75,
-1,
-1,
+       1, 0.35, 0.2, 0.35, 0.8,
+       1, 0.65, 0.2, 0.65, 0.8,
        0
 };
 
 
 double const brack[] = {
-4,
+       2, 4,
        0.95, 0.05,  0.05, 0.05,  0.05, 0.95,  0.95, 0.95,
        0
 };
 
 
 double const corner[] = {
-3,
+       2, 3,
        0.95, 0.05,  0.05, 0.05,  0.05, 0.95,
        0
 };
 
 
 double const angle[] = {
-3,
-1,
+       2, 3,
+       1, 0,  0.05, 0.5,  1, 1,
        0
 };
 
 
 double const slash[] = {
-1,
+       1, 0.95, 0.05, 0.05, 0.95,
        0
 };
 
 
 double const hline[] = {
-1,
+       1, 0.00, 0.5, 1.0, 0.5,
        0
 };
 
 
 double const ddot[] = {
-1,
-1,
+       1, 0.2, 0.5,  0.3, 0.5,
+       1, 0.7, 0.5,  0.8, 0.5,
        0
 };
 
 
 double const dddot[] = {
-1,
-1,
-1,
+       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,
-1,
-1,
+       1, 0.1,   0,  0.15,  0,
+       1, 0.475, 0,  0.525, 0,
+       1, 0.85,  0,  0.9,   0,
        0
 };
 
 
 double const dline3[] = {
-1,
-1,
-1,
+       1, 0.1,   0.1,   0.15,  0.15,
+       1, 0.475, 0.475, 0.525, 0.525,
+       1, 0.85,  0.85,  0.9,   0.9,
        0
 };
 
 
 double const hlinesmall[] = {
-1,
+       1, 0.4, 0.5, 0.6, 0.5,
        0
 };
 
 
 double const ring[] = {
-5,
+       2, 5,
        0.5, 0.8,  0.8, 0.5,  0.5, 0.2,  0.2, 0.5,  0.5, 0.8,
        0
 };
 
 
 double const vert[] = {
-1,
+       1, 0.5, 0.05,  0.5, 0.95,
        0
 };
 
 
 double const  Vert[] = {
-1,
-1,
+       1, 0.3, 0.05,  0.3, 0.95,
+       1, 0.7, 0.05,  0.7, 0.95,
        0
 };
 
 
 double const tilde[] = {
-4,
+       2, 4,
        0.00, 0.8,  0.25, 0.2,  0.75, 0.8,  1.00, 0.2,
        0
 };