My apologies, Jaap: I've just pushed some extra changes to this branch, and it looks like this merge proposal has been updated too. I didn't expect this to happen.
Please ignore the changes to zim/gui/pageview.py, at least until I've had time to review them properly.
Probably I should have created a new branch for these new changes, correct?
My apologies, Jaap: I've just pushed some extra changes to this branch, and it looks like this merge proposal has been updated too. I didn't expect this to happen.
Please ignore the changes to zim/gui/ pageview. py, at least until I've had time to review them properly.
Probably I should have created a new branch for these new changes, correct?