> anyway i see Vincent already took up the control, thanks. > > pavel >
Yes, you are already busy with Stephan ;). More seriously, this was related to the bug in the reload code that I wrote. Vincent
- [Patch] Warn if file is externally modified (and Bu... John McCabe-Dansted
- Re: [Patch] Warn if file is externally modifie... Vincent van Ravesteijn
- Re: [Patch] Warn if file is externally modifie... Pavel Sanda
- Re: [Patch] Warn if file is externally mod... Vincent van Ravesteijn
