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.