On Sat, 8 Dec 2018, at 23:49, David Christensen wrote: > On Linux, the inotify(7) is an alternative to polling: > > https://en.wikipedia.org/wiki/Inotify
Windows has event-driven ways to do this too, (one can] google for, for example, WMI and PowerShell event-based scripts)... but I'd have had to learn a whole lot more to do it that way. What I wanted was an immediate solution to get me through a nightmare in music typesetting, not an excuse to learn another programming language and more about Windows internals. If the simple approach had been horrendously inefficient, I might have looked for a better method, but the overhead of doing it the way I did was negligible. -- Jeremy Nicoll - my opinions are my own.