Skip to content

User defined indenting#414

Merged
nikitalita merged 3 commits into
GDRETools:masterfrom
nikitalita:user-defined-indenting
Jun 20, 2026
Merged

User defined indenting#414
nikitalita merged 3 commits into
GDRETools:masterfrom
nikitalita:user-defined-indenting

keep current view in text editor when reloading, respect user tab size

1880fb7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view