Re: Feature suggestion: file reload



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



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]