Philipp Imhof

I am not sure I understand the question. As the user will still have to define `style from char X to Y`, I think that using some sort of markup...

Pygments supports HTML output. I think I might be able to write a Pango formatter, it seems to be more or less straightforward to do so; but that's what I...

I have just given it a quick try and it seems to work. There is some fine-tuning and intensive testing left to do, of course. (And a PR to file...

```python from pygments import highlight from pygments.lexers import JavascriptLexer from pygments.formatters import PangoMarkupFormatter code = """ function bla(n, m) { console.log(n*m); } """ print(highlight(code, JavascriptLexer(), PangoMarkupFormatter())) ``` yields ``` function...

IMHO this is well thought and a good way to go!

Yes, I saw that. It might however be worth making a change, e.g. reacting on `\newenvironment` and thus not taking into account the `\begin{tikzpicture}`, because it does not open an...

I can confirm this issue and your analysis. If the text to be spoken is modified, the error does not occur. For me, it works, if I remove `media/voiceovers/cache.json`, no...

Finally found some time to take this a step further. Tokenizer is fully functional. It is still work in progress, many things are missing and implementations are likely to change....

Parser is now more or less finished. There's some refactoring and some fine tuning left and there will probably be a few bugs. Next step: evaluation. Currently, there is virtually...

Update: Evaluation of expressions is basically working, with a few things left to be done, namely all the variable stuff (replace variable by its content at the right time and...