Stefan Haller 55d8e801f1 Use getters for AppState and UserConfig instead of accessing the fields directly ...

This will allow us to make them private.

2024-08-18 10:24:52 +02:00

1.1 KiB

Raw Blame History

View Raw