7e31057bfa
Bug #27: ScrollEvent-Filter auf PDFView verhindert Seitenwechsel durch Mausrad. Seitenwechsel sind ausschliesslich ueber die Navigations-Buttons moeglich. Die Seitenzahl wird nur noch bei Button-Klick aktualisiert. Bug #29: Nach dem Laden einer PDF und bei Seitenwechsel ueber Buttons wird die Seite jetzt explizit von oben angezeigt. Der setPage()-Aufruf erfolgt via Platform.runLater() nach dem Layout-Pass, sodass stets der Seitenanfang sichtbar ist. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>