Pablo Beltrán-Pellicer
Results
2
comments of
Pablo Beltrán-Pellicer
Is it possible to enable/disable the spell checking? I mean, it's a wonderful feature, but almost everything inside a sagetex environment is marked in that red lines.
Thanks @haraldschilly