Daily Godot Tip #3: If you ever copy in code that uses spaces you can convert all space indents to tabs using ctrl+shift+i. The other way from tabs to spaces can also be done with ctrl+shift+y

Ategon@programming.dev · 4 months ago

Daily Godot Tip #3: If you ever copy in code that uses spaces you can convert all space indents to tabs using ctrl+shift+i. The other way from tabs to spaces can also be done with ctrl+shift+y

thesmokingman@programming.dev · 4 months ago

This specific problem is better solved with EditorConfig. It’s not clear to me if the Godot editor supports it out of the box, I can’t find any plugins for it, and I don’t have access to my dev box right now to test so this might be a note if you’re using an external editor!

GandalftheBlack@feddit.org · 4 months ago

This is life-changing

Kojichan@lemmy.world · 4 months ago

print("AAAAAAAAAA")

A possum hissing with a red filter and the text AAAAAA

Chee_Koala@lemmy.world · 4 months ago

This saved a lot of time for me, because I like to use the tabs for indent, but ChatGPT and Gemini don’t, which throws error if mixed in the same script.

Cris@lemmy.world · 4 months ago

Neat!!