You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A space in a string in Sage code is reported to render as a "space character" (open top box). Investigte and see if the formatter allows turning this off. Or make it an option like existing @showspaces for the cd element.
A space in a string in Sage code is reported to render as a "space character" (open top box). Investigte and see if the formatter allows turning this off. Or make it an option like existing
@showspaces
for thecd
element.https://groups.google.com/g/pretext-support/c/vpYW0MOnZvE/m/L1gHGBBmAQAJ
The text was updated successfully, but these errors were encountered: