atp-mipt / jsyntrax

Reimplement syntrax in Java

Home Page:https://atp-mipt.github.io/jsyntrax/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Feature request: Make title specification possible via spec-File

Stefan-Wagner opened this issue · comments

Feature request:
Make the title (optional) part of the spec-file. Of course, it is possible to write a script, which takes the title from the filename, but not every useful attribute of a title is fine as filename. We like filenames to be short, but titles might sometimes be more verbose. If I work in an editor like Geany, I can configure it, so that it will produce a PNG when I hit the compile button, but the title has to be set manually, which makes it a less productive workflow.

The implementation might use an additional, optional key-value notation in the file, to keep all old spec files compatibel, or use an annotation in the comment section, to create a title.