I managed to get it to work in python.
It remains to figure out how to load it into PyCall, since the new styles have to be installed as a plugin using setuptools.
Open questions:
Updating a style file requires to rerun the installation of the plugin. Can we do this from within the same julia session using PyCall or do we have to restart the REPL everytime we change the style?
Can we provide an environment variable and/or default directory in which setuptools can look for style files?
Instructions on how to create styles in
python
are given here: https://pygments.org/docs/styledevelopment/#creating-own-stylesLoading styles into
pygments
requires tinkering withsetuptools
, see https://pygments.org/docs/plugins/I managed to get it to work in
python
. It remains to figure out how to load it intoPyCall
, since the new styles have to be installed as a plugin usingsetuptools
.Open questions:
PyCall
or do we have to restart the REPL everytime we change the style?setuptools
can look for style files?