account for PTX output from GraphTool #553
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
GraphTool was assuming output is either TeX or some flavor of HTML. This accounts for PTX, in which case it outputs nothing, which is fine for now. Without this edit, there is an assumption of some flavor of HTML output, and HTML comes out mixed in with PreTeXt XML.
We really need some method that says "if the output is HTML" without directly using
$displayMode
in code like this. Something that captures the$displayMode
variants likeMathJax
,images
, and whatever else remains. But this small thing here is fine for now.