Rev 8155 | Rev 8185 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 8155 | Rev 8179 | ||
---|---|---|---|
Line 81... | Line 81... | ||
81 | //FIXME-> should we arrive here in mathml case ??? |
81 | //FIXME-> should we arrive here in mathml case ??? |
82 | } |
82 | } |
83 | } |
83 | } |
84 | else {/* interpret font with at least two caracters as \RR \calB - only outside of math environment |
84 | else {/* interpret font with at least two caracters as \RR \calB - only outside of math environment |
85 | not useful in mathml*/ |
85 | not useful in mathml*/ |
86 | #ifdef CASE_INSENSITIVE_FS |
- | |
87 | char *underscore; |
86 | char *underscore; |
88 | fix_tex_size(); underscore=""; |
87 | fix_tex_size(); underscore=""; |
89 | { |
88 | { |
90 | char *p, *p2; |
89 | char *p, *p2; |
91 | for(p=fontname; *p && !isupper(*p); p++); |
90 | for(p=fontname; *p && !isupper(*p); p++); |
Line 100... | Line 99... | ||
100 | snprintf(buf1,sizeof(buf1),"%s/%d/%s%s.gif", |
99 | snprintf(buf1,sizeof(buf1),"%s/%d/%s%s.gif", |
101 | mathfont_dir,current_tex_size,fontname,underscore); |
100 | mathfont_dir,current_tex_size,fontname,underscore); |
102 | if(*underscore && stat(buf1,&st)!=0) |
101 | if(*underscore && stat(buf1,&st)!=0) |
103 | snprintf(buf1,sizeof(buf1),"%s/%d/%s.gif", |
102 | snprintf(buf1,sizeof(buf1),"%s/%d/%s.gif", |
104 | mathfont_dir,current_tex_size,fontname); |
103 | mathfont_dir,current_tex_size,fontname); |
105 | #else |
104 | |
106 | fix_tex_size(); |
- | |
107 | snprintf(buf1,sizeof(buf1),"%s/%d/%s.gif", |
- | |
108 | mathfont_dir,current_tex_size,fontname); |
- | |
109 | #endif |
- | |
110 | if(stat(buf1,&st)!=0) return NULL; |
105 | if(stat(buf1,&st)!=0) return NULL; |
111 | snprintf(buf2,sizeof(buf2),",%s,",fontname); |
106 | snprintf(buf2,sizeof(buf2),",%s,",fontname); |
112 | if(strstr(middle_fonts,buf2)!=NULL) |
107 | if(strstr(middle_fonts,buf2)!=NULL) |
113 | snprintf(buf2,sizeof(buf2), |
108 | snprintf(buf2,sizeof(buf2), |
114 | "%s<img src=\"%s%s\" style=\"vertical-align: middle; border:none\" \ |
109 | "%s<img src=\"%s%s\" style=\"vertical-align: middle; border:none\" \ |