85e0a2cb10
Make the AJAX endpoint configurable (this could still be done better). Use POST, rather than GET for the AJAX request, so that we don't have to worry about overly-long equations. |
||
---|---|---|
.. | ||
closepath_icons.svg | ||
ext-arrows.js | ||
ext-closepath.js | ||
ext-connector.js | ||
ext-foreignobject.js | ||
ext-itex.js | ||
foreignobject-icons.xml | ||
itex-icons.xml |