alexandervdm / gummi

Simple LaTeX editor
https://gummi.app
MIT License
738 stars 94 forks source link

Add support for tectonic typesetter #188

Open Andriamanitra opened 12 months ago

Andriamanitra commented 12 months ago

Adds support for using tectonic as the typesetter

closes #187

Andriamanitra commented 12 months ago

I pretty much just searched for "rubber" across the code base and copied what was implemented for the "rubber" type setter. It seems to work with the default settings with the default document already but any advice from someone who actually understands the code base would be much appreciated.

I didn't add anything to src/external.h or src/external.c as I'm unsure what they are used for and what the output should look like.