On 2 November 2013 23:20, Ney André de Mello Zunino <[email protected]> wrote: > On Fri, Nov 1, 2013 at 7:11 PM, Kai Willadsen <[email protected]> > 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 _______________________________________________ meld-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/meld-list
