Welcome!
This is the community forum for my apps Pythonista and Editorial.
For individual support questions, you can also send an email. If you have a very short question or just want to say hello — I'm @olemoritz on Twitter.
It does!
I found what I had messed up: having pasted some code from another place (I had originally written it in the desktop), it brought along some tabs mixed in with spaces (some tool along the way messed those up) and I didn't notice it in the editor, only in the console (different fonts, due to all the experimentation).
So, all in all, a completely noob mistake from someone programming in Python for 20 years :/
Thanks for such quick assistance!
There is an option to change the font in the editor. Is there a way to change the font in the console? Programmatically I can do console.set_font(), but even when I use a monospace font such as Courier, something seems off in the way in which it renders spaces (not the same width as the other chars, as it should, being monospace). I often use some "ASCII Art" of sorts for a quick output/debug (and fun :) ) and this makes it that much harder...
Thanks!
D.