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
I specified no font in that extension, nor do I see an option for that. In the general editor settings, it’s: Default: Menlo, Consolas, DejaVu Sans Mono, monospace.
The document viewer shows me underscores, it’s just the terminal that has an issue…
print("bla_blubb")
currently showsbla blubb
instead ofbla_blubb
.The text was updated successfully, but these errors were encountered: