Nickolay V. Shmyrev wrote: > Everything might be simpler. We have > Bug 327951 – reopen file should reload it > http://bugzilla.gnome.org/show_bug.cgi?id=327951 > > then running evince filename once again will reload file, thus we'll > sole this problem too. I can easily commit small patch for that. Bryan, > what do you think? That seems fine to me. I'm assuming we agree that this doesn't solve this problem completely. We can't remove the reload option in favor of just this, but doing this along with the file monitor sounds like a more complete solution to me. I'd go for that if you agree it's a good idea.
~ Bryan _______________________________________________ Evince-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/evince-list
