Re: Refresh vs revert

[Kai Willadsen <kai willadsen gmail com>]

On 2 November 2013 23:20, Ney André de Mello Zunino <neyzunino gmail com> wrote:
> On Fri, Nov 1, 2013 at 7:11 PM, Kai Willadsen <kai willadsen gmail com>
> wrote:
> > Unfortunately, when Reload was renamed, I guess I didn't think about
> > the case of just wanting to compare against an externally edited
> > version that was changing. The thing is that the correct thing to do
> > here is to have a notification that the file on disk has changed and
> > prompt for a reload (or even auto-reload), which I think would solve
> > your problem nicely?
> >
> > There's an open bug for this somewhere, and it's not particularly
> > difficult, but it's a bit of work to get right.
>
>
> I agree with you that that would be the way to go. Other Gnome apps seem to
> behave the same way. Files which are open in GEdit, for instance, if
> externally modified, will cause a reload prompt to appear as focus is moved
> back to the editor.

I found an old branch where I'd done some of the required work for
this and polished it up over the weekend. Current HEAD of Meld
(warning, warning GTK3 and distutils install doesn't work, etc.) now
has similar watching behaviour to that of gedit. This should hopefully
make your use case easier.

It's not perfect, but I'm keen for people to poke it and see if it breaks.

cheers,
Kai