Sticky-Header im Terminal-Modus

Ein Fehler wurde behoben, durch den der Header im Terminal-Modus nicht zuverlässig am oberen Bildschirmrand fixiert blieb.