More robust interface to Pygments #230

Merged
basus merged 2 commits from master into master 4 years ago

2 Commits (master)

Author SHA1 Message Date
Shrutarshi Basu 1823382a4e Get Pygments wrapper working for Python 2.7 as well 4 years ago
Shrutarshi Basu ec67988b48 More robust interface to Pygments
- Clean up and collect configuration options in the Python wrapper
  - Expand wrapper interface to more flexibly set line numbers, CSS class,
    highlighted lines and encoding on each invocation
  - Update Racket side to correctly format messages to the Python wrapper
4 years ago