Stefan Haller b8d23dd5a5 Make file sort order and case sensitivity configurable ...

Set the sort order's default from the former foldersFirst to mixed, so this is a
change in behavior. I find this useful because it now matches git's order, so if
you look at the diff of a commit, the TOC at the top has the same order as the
file tree you see when entering the commit.

2026-03-30 17:53:25 +02:00

..

config.json

Make file sort order and case sensitivity configurable

2026-03-30 17:53:25 +02:00