Stefan Haller 11616190ee Add a gui.tabWidth config ...

Affects everything that is shown in the main view, but probably mostly relevant
for diffs.

2025-02-20 09:13:56 +01:00

..

config.json

Add a gui.tabWidth config

2025-02-20 09:13:56 +01:00