Added function to automatically trim empty page margins. Added dock to improved access to bookmarks. Added support for document-supplied page label. Improved caching, i.e. do not drop pixmaps on scale factor change. Improved rendering by giving a higher priority to rendering visible pages compared to prefetching. Improved searching of DjVu documents.