As I make myself comfortable scripting in Blender I use the Scripting workspace: the Text Editor and Python Console in particular.
I've noticed that the Text Editor uses 4 spaces for indentation while the Console uses 5 somehow. This makes it cumbersome to copy tested snippets from Console into Text Editor as I need to manually edit every single indentation. Here is a short sample copied from Console:
for o in C.view_layer.objects:
... print(o.name)
...
Is this normal behaviour ? Is it possible to change Console's indentation to 4 spaces instead of 5 ? What is the recommended workflow that would allow consistent copy/pasting between Console and Text Editor ? (Note this is on Windows 10 using Blender 2.82a)