diff --git a/filter/tex/filterconfig.html b/filter/tex/filterconfig.html index ded48a5fb05..723b1c7e428 100644 --- a/filter/tex/filterconfig.html +++ b/filter/tex/filterconfig.html @@ -22,6 +22,19 @@ $txt->pathlatex = get_string( 'pathlatex','admin' ); $txt->pathdvips = get_string( 'pathdvips','admin' ); $txt->pathconvert = get_string( 'pathconvert','admin' ); + $txt->tick = '✔'; + $txt->cross = '✘'; + + // check file exists & display tick or cross + function texbinaryconfirm( $path ) { + global $txt; + if (is_file($path)) { + echo "$txt->tick"; + } + else { + echo "$txt->cross"; + } + } ?>
| pathlatex; ?> | + value="filter_tex_pathlatex); ?>" /> + filter_tex_pathlatex ); ?> + |
| pathdvips; ?> | + value="filter_tex_pathdvips); ?>" /> + filter_tex_pathdvips ); ?> + |
| pathconvert; ?> | + value="filter_tex_pathconvert); ?>" /> + filter_tex_pathconvert ); ?> + |