FEATURE/BUG: Seitenweises Scrollen im Zettel hat einen zu geringen Overlap

[nicodorn]

Das Scrollen in Zetteln mit den Tasten Bild hoch bzw. Bild runter sollte einen Overlap von ca. 10% haben. Wird nach unten gescrollt (Bild runter) sollten die letzten 4, 5 Zeilen der vorherigen Seite am oberen Rand der neuen Seite sichtbar sein; wird nach oben gescrollt (Bild hoch) sollten analog dazu die ersten 4, 5 Zeilen der vorherigen Seite am unteren Rand der neuen Seite sichtbar sein. Derzeit beträgt der Overlap nur ca. eine halbe Zeile (bei font-size: 12px). Dies erschwert die Orientierung beim Lesen mehrseitiger Zettel erheblich, besonders wenn am unteren Rand des Fensters zufällig eine halbe Zeile verdeckt ist.

Dieser Fehler gilt für das Haupt-, das Such- und das Schreibtischfenster.

Ein größerer Overlap entspräche dem Scrollverhalten in gängigen Browsern, was eine leichtere Orientierung beim Lesen von Texten erlaubt. (Firefox hat 5% Overlap, Chrome 10% [von mir gemessen]; im PDF-Viewer Okular lässt sich dieser Overlap sogar konfigurieren. Ich persönlich finde 10% sehr angenehm.)

ZKN-Version 3.2.5.1, Linux, Java 8

[github-actions]

This issue is stale because it has been open for 30 days with no activity.