Jupyter: File --> Download As --> PDF should first save

[williamstein]

When selecting File --> Download As --> PDF in Jupyter notebook, SMC should first do a save then do the download, since otherwise it prints an old version.

This is probably caused by us possibly disabling the save internally in Jupyter's javascript (not sure).

Reported by: Troels Emtekær Linnet

[tlinnet]

I can confirm that "save first" -> "then pdf" effectively solves the problem.
I hope this can be automated, since I often "forget it".
Thank you!

[williamstein]

@jasongrout -- any thoughts about this?

[jasongrout]

uh, yes, it makes sense to save before downloading. I'll see if it does that normally.

[jasongrout]

By default, it seems that the notebook saves before downloading for me downloading a .py file. However, downloading as a pdf isn't working for me right now, so I didn't test that.

[williamstein]

I can definitely confirm that this behavior persists on SageMathCloud. Downloading pdf's is working fine for me, but definitely shows the version before save. Also, print preview shows the pre-save version.

[williamstein]

this was a bug in jupyter, but it is fixed now.