| 1537 | |
| 1538 | |
| 1539 | void ShowHelp(const char * s,int k) |
| 1540 | { |
| 1541 | if(k) { |
| 1542 | MettreDansPostScript(0); |
| 1543 | MettreDansPDF(0); // add by fujiwara |
| 1544 | MettreDansSVG(0); // add by fujiwara |
| 1545 | couleur(1); |
| 1546 | float xmin,xmax,ymin,ymax; |
| 1547 | getcadre(xmin,xmax,ymin,ymax); |
| 1548 | rmoveto(xmin+(xmax-xmin)/100,ymax-(k)*(ymax-ymin)/30); |
| 1549 | plotstring(s); |
| 1550 | MettreDansPostScript(1); |
| 1551 | MettreDansPDF(1); // add by fujiwara |
| 1552 | MettreDansSVG(1); // add by fujiwara |
| 1553 | // couleur(1); |
| 1554 | } |
| 1555 | } |
| 1556 | |
| 1557 | char *ChangePdeToExt(char *fileName,char *ext) |
| 1558 | { |
nothing calls this directly
no test coverage detected