Stefan Haller
5872779faa
Make gui.statusPanelView config hot-reloadable
...
It still doesn't update the view immediately when reloading the config, only the
next time the status panel is focused. But at least it does it then; writing the
code to update the panel when reloading the config is probably not justifiable.
2024-08-18 10:24:52 +02:00
..
2024-08-18 10:24:52 +02:00
2024-08-18 10:24:52 +02:00
2024-06-30 10:27:28 +02:00
2024-08-17 11:14:50 +02:00
2024-08-18 10:24:52 +02:00
2024-08-17 11:14:51 +02:00
2024-08-18 10:24:52 +02:00
2024-08-17 11:14:51 +02:00
2024-08-17 11:14:51 +02:00
2024-08-18 10:24:52 +02:00
2024-08-17 11:14:51 +02:00
2024-08-17 10:56:03 +02:00
2024-08-17 11:14:50 +02:00
2024-08-18 10:24:52 +02:00
2024-08-18 10:24:52 +02:00
2024-08-17 11:14:50 +02:00
2024-08-18 10:24:52 +02:00
2024-08-17 11:14:51 +02:00
2024-08-18 10:24:52 +02:00
2024-08-18 10:24:52 +02:00
2024-06-30 10:27:28 +02:00
2024-08-17 11:14:50 +02:00
2024-08-17 11:14:51 +02:00
2024-06-23 13:10:48 +02:00
2024-08-18 10:24:52 +02:00
2024-08-17 11:14:50 +02:00
2024-08-17 11:14:50 +02:00
2024-08-18 10:24:52 +02:00
2024-08-18 10:24:52 +02:00
2024-08-18 10:24:52 +02:00
2024-08-17 11:14:50 +02:00
2024-08-17 11:14:50 +02:00
2024-08-17 11:14:50 +02:00
2024-08-18 10:24:52 +02:00
2024-08-17 11:14:50 +02:00
2024-08-17 11:14:51 +02:00
2024-08-18 10:24:52 +02:00
2024-08-18 10:24:52 +02:00