It also feels like we're adding a lot of PDF-viewer specific functionality to this widget, so we might want to split this off into a separate documentviewer widget, especially given that annotations will be added on top of this.