User defined indenting#414

Merged

nikitalita merged 3 commits into

GDRETools:masterfrom

nikitalita:user-defined-indenting

Jun 20, 2026

Commits on Jun 19, 2026

Add option to use spaces instead of tabs for indenting GDScripts
nikitalita
committed
refresh resource preview when settings change
nikitalita
committed
keep current view in text editor when reloading, respect user tab size
nikitalita
committed