Jason Gross issues

Results 540 issues of


                                            Jason Gross

Revert seemingly accidental deletion

All writes to the csv have been failing since 86d25cf008cd64cbb6bc20b70593c33fa9dcdfbc

Table of contents styling

I think the [table of contents](http://hott.github.io/HoTT/coqdoc-html/toc.html) is ugly. We should pick a better styling for chapter/file headings.

task

Support table_row_sep in _path.py

Fix for compatibility with matplotlib >= 3.9

Support exporting animations via animateinline

Fix for `obj.get_subplotspec()` being None

I can't be bothered to minimize a test-case for this right now, sorry. Non-minimal test case at the bottom of https://gist.github.com/JasonGross/50bf9f6ccf8e1eff07fff2a35db703ee#file-l1-not-sparse-use-product-ipynb commit 981a0e4258b5dd566e784c00a98fbd30705f9438

tikzplotlib should have a legend for seaborn

```python import matplotlib.pyplot as plt import seaborn as sns import tikzplotlib import numpy as np np.random.seed(42) data = np.random.rand(4, 2) fig, ax = plt.subplots() sns.scatterplot({str(i): d for i, d in...

Don't duplicate plot instructions to tikz

Fixes #609 Fixes #611 Closes #612 We avoid duplicating `\addplot` instructions in the code, thereby avoiding quadratic blowup in the generated code. Presumably this should at some point instead be...

Don't emit code for draw if the column doesn't exist

Fixes #611 Overlaps with #610

tikzplotlib emits broken code with sns when tables are missing a draw column

The code in #609 does not compile, giving `! Argument of \XC@cnv@RGB has an extra }.` This is because the code emits `visualization depends on={value \thisrow{draw} \as \drawcolor}` despite the...