-
Ray Strode authored
Often the two files are changed in concert, so it makes sense to wait a bit before doing a heavy reload operation. Suggested by Vincent. https://bugs.freedesktop.org/show_bug.cgi?id=39413
4e3fad33
Often the two files are changed in concert, so it makes sense to wait a bit before doing a heavy reload operation. Suggested by Vincent. https://bugs.freedesktop.org/show_bug.cgi?id=39413