version 1.214, 2007/02/12 16:43:02
|
version 1.215, 2007/02/15 14:39:36
|
Line 1210 void SetIntVertStretchAttr (Element el,
|
Line 1210 void SetIntVertStretchAttr (Element el,
|
c = 't'; |
c = 't'; |
else if (text[i] == 0x222E) |
else if (text[i] == 0x222E) |
c = 'c'; |
c = 'c'; |
|
else if (text[i] == 0x222F) |
|
c = 'e'; |
|
else if (text[i] == 0x2230) |
|
c = 'f'; |
|
else if (text[i] == 0x2231) |
|
c = '1'; |
|
else if (text[i] == 0x2232) |
|
c = '2'; |
|
else if (text[i] == 0x2233) |
|
c = '3'; |
else if (text[i] == 0x2191) |
else if (text[i] == 0x2191) |
c = '^'; |
c = '^'; |
else if (text[i] == 0x2193) |
else if (text[i] == 0x2193) |
Line 1251 void SetIntVertStretchAttr (Element el,
|
Line 1261 void SetIntVertStretchAttr (Element el,
|
text[0] != 0x222C && |
text[0] != 0x222C && |
text[0] != 0x222D && |
text[0] != 0x222D && |
text[0] != 0x222E && |
text[0] != 0x222E && |
|
text[0] != 0x222F && |
|
text[0] != 0x2230 && |
text[0] != 0x2191 && |
text[0] != 0x2191 && |
text[0] != 0x2193) |
text[0] != 0x2193) |
/* not a stretchable symbol */ |
/* not a stretchable symbol */ |