[jacalata]

You want a warning if the file has changed in the repository since you last edited it locally, is that right? Interesting idea, I can see it coming in handy myself.