Plzeň, Czechia
Student of the Czech Technical University in Prague, Faculty of Nuclear Sciences and Physical Engineering
Comment by ~xigoi on ~xigoi/xidoc-todo
Partially done: the QuickJS wrapper is separate. Do we even want to separate the others?
Comment by ~xigoi on ~xigoi/xidoc-todo
Interface idea:
added in 2023.704.0[now ?format]
: returns the current datetime in the specified format, withyyyy-MM-dd
as default
[date ?text]
: sets thetext
as the document date with[now]
as default (\date
in LaTeX, adding it to the title as well as some kind of metadata in HTML)
needs design added by ~xigoi on ~xigoi/xidoc-todo
technical barrier added by ~xigoi on ~xigoi/xidoc-todo
technical barrier added by ~xigoi on ~xigoi/xidoc-todo
medium priority added by ~xigoi on ~xigoi/xidoc-todo
Ticket created by ~xigoi on ~xigoi/xidoc-todo
Problem: There doesn't seem to be any way to do it without using external non-integrable tools. I could try to patch Pikchr itself to emit TikZ instead of SVG, but that would be a big project.
Comment by ~xigoi on ~xigoi/xidoc-todo
REPORTED
RESOLVED INVALID