GitLab

If one manually reloads a file while Zathura is already reloading that file Zathura crashes with a segmentation fault.

Steps to reproduce:

• set filemonitor "noop" in the .rc (not sure if necessary)
• repeatedly trigger reloading a file really fast (alternatively trigger reloading on a huge file/page two times)

Zathura version: 0.4.5-1

Girara version: 0.3.4-1

zathura-pdf-mupdf version: 0.3.5-2

All three installed from the Arch Linux repositories.