74fcd19ac2
This is needed because we use `mtime` to determine if a file has actually changed, but on most systems this has a resolution of 1 second (and we truncate it to an integer anyways). Without this wait, we would skip reloading a file that has been changed multiple times in the same `mtime` second, thus losing some data. |
||
|---|---|---|
| .. | ||
| colors | ||
| core | ||
| fonts | ||
| plugins | ||