try { if (jsArguments != null) { var src = new Stream(jsArguments[0],'rt'); var out = new Stream('temp.eps','wt'); writeln('converting ',jsArguments[0],' to ',out); var s; // /Math2-Bold findfont var fontmatch = /([\/\w-]*) findfont/; var mfmatch = /\/Math\d/; // (\220) show var stringmatch = /\(([^)]*)\) show/; var inMF = false; while (!src.eof) { s = src.readLine(); if (inMF) { if (stringmatch.test(s)) { var r = stringmatch.exec(s); switch (r[1]) { case '\\220': s=s.replace(stringmatch,'(/) show'); break; case '\\264': s=s.replace(stringmatch,'(x) show'); break; case 'H': s=s.replace(stringmatch,'([) show'); break; case 'L': s=s.replace(stringmatch,'(]) show'); break; default: writeln('unknown symbol:', r[1]); } } } if (fontmatch.test(s)) { var r = fontmatch.exec(s); if (mfmatch.test(r[1])) { inMF = true; //Math2-Bold findfont 10.000 scalefont s = s.replace(mfmatch,"/Helvetica"); } else inMF = false; } out.writeln(s); } out.close(); src.close(); } } catch(err) {writeln(err);} // add eps preview // jsShellExec('"d:\program files\gv\gsview\epstool" -zbmp16m "-o' + jsArguments[0] + '" -t6p temp.eps');