please test ! was: Bug#1648: File Reloading [00:36,03.08.99]

[Sandy Meier]

On Sat, 07 Aug 1999 you wrote:
> On Tue, 03 Aug 1999 you wrote:
> > On Tue, 3 Aug 1999, Denis Oliver Kropp wrote:
> > > After "update" from RFV a changed file won't be reloaded.
> > > Causes loss of changes in source code when resaving this file.
> > 
> > And of course, vice versa: Before a commit, files should
> > be saved to disk. Can someone with better knowledge of
> > these mechanisms than me change this?
> > 
> > Bernd.
> 
> Ok, I will try it. :-)
> 
> Ciao!
> 
> Sandy

Some minutes ago I commited a patch for this and other problems with file
reloading. I hope I haven't introduce many new bug, nevertheless please test it
a little bit. Thanks!

Sandy