-
Harald Judt authored
If a file is in the cache, schedule a reload of the file when idle. This way file information gets updated properly when necessary and without any crashes.
3874e4e2
If a file is in the cache, schedule a reload of the file when idle. This way file information gets updated properly when necessary and without any crashes.