2014-05-21 11:02 GMT+02:00 Jürgen Spitzmüller: > lib/images already has an svg folder, where I put the SVG versions of the > IPA icons. Maybe someone could collect and add the SVGs from the 3rd party > icon themes we use. We could add a method that uses SVG if available and > falls back to bitmap if not. Would be a start. >
For the math symbols, dvisvgm might be helpful; maybe Georg's generate_symbols_images.py script can be extended to output svg. Jürgen
