version 1.219, 2007/02/28 13:38:58
|
version 1.220, 2007/03/09 14:49:35
|
Line 1094 void SetSingleIntHorizStretchAttr (Eleme
|
Line 1094 void SetSingleIntHorizStretchAttr (Eleme
|
break; |
break; |
case 0x2957: /* DownRightVectorBar */ |
case 0x2957: /* DownRightVectorBar */ |
c = 201; |
c = 201; |
break; case 0x295A: /* LeftTeeVector */ |
break; |
|
case 0x295A: /* LeftTeeVector */ |
c = 204; |
c = 204; |
break; |
break; |
case 0x295B: /* RightTeeVector */ |
case 0x295B: /* RightTeeVector */ |
Line 1111 void SetSingleIntHorizStretchAttr (Eleme
|
Line 1112 void SetSingleIntHorizStretchAttr (Eleme
|
break; |
break; |
} |
} |
|
|
if (c != EOS) |
if (c != EOS || |
|
(text[0] >= 0x2196 && text[0] <= 0x2199)) /* diagonal arrows */ |
doit = TRUE; |
doit = TRUE; |
} |
} |
} |
} |
Line 1307 void SetIntVertStretchAttr (Element el,
|
Line 1309 void SetIntVertStretchAttr (Element el,
|
text[i] == 0x2191 || /* UpArrow */ |
text[i] == 0x2191 || /* UpArrow */ |
text[i] == 0x2193 || /* DownArrow */ |
text[i] == 0x2193 || /* DownArrow */ |
text[i] == 0x2195 || /* UpDownArrow */ |
text[i] == 0x2195 || /* UpDownArrow */ |
(text[i] >= 0x2196 && text[i] <= 2199) || /* diagonal arrows */ |
(text[i] >= 0x2196 && text[i] <= 0x2199) || /* diagonal arrows */ |
text[i] == 0x21A5 || /* UpTeeArrow */ |
text[i] == 0x21A5 || /* UpTeeArrow */ |
text[i] == 0x21A7 || /* DownTeeArrow */ |
text[i] == 0x21A7 || /* DownTeeArrow */ |
text[i] == 0x21BE || /* RightUpVector */ |
text[i] == 0x21BE || /* RightUpVector */ |