Fix some indentation in editor

This commit is contained in:
John Lorentzson 2025-07-31 11:48:35 +02:00
parent 5032ee73e8
commit c59bad4bb7