Hi,
Maybe that's a bug that I haven't noticed so far or is introduced by
these changes: using the index to jump to some page, I always see the
first page. Moving around a little bit or zooming in/out displays the
correct page again.
hmm... I can't reproduce this on the redo-page-refresh
On 2013-10-27 02:48:26, Sebastian Ramacher wrote:
On 2013-10-26 18:45:21, Abdó Roig-Maranges wrote:
https://github.com/aroig/zathura
I've played a bit with the new code and enjoy it so far. I'll push it as
feature/redo-page-refresh to the git repository at pwmt.org until I've
had more time
Hi,
sorry that I haven't yet found the time to reply to your mail.
On 2013-10-26 18:45:21, Abdó Roig-Maranges wrote:
I got this in a stable state. I tried to attach the patches on a previous
mail,
but it was too big and got held up for moderation. So I've uploaded it on
github.
On 2013-10-26 18:45:21, Abdó Roig-Maranges wrote:
https://github.com/aroig/zathura
I've played a bit with the new code and enjoy it so far. I'll push it as
feature/redo-page-refresh to the git repository at pwmt.org until I've
had more time to look at the code in more detail.
Cheers
--
Hi,
Tinkering with zathura I've been annoyed several times by the fragility of the
page updates. They are prone to race conditions, due to the asynchronous nature
of GTK. For instance, since the last GTK3 update zathura does not always refresh
the page correctly when coming out of index mode.
I
