In big documents (100pages+) the pdf search process can take quite a while. Meanwhile the application is not usable but the user gets no feedback. Therefore there is a need to add a progress bar for pdf search operations.
since rev. 3291, the searched page is displayed in the status bar