${lead}
Der Editor Gedit kann jetzt am rechten Fensterrand ein Übersichtsfenster einblenden, das die aktuelle Position in einem Dokument zeigt.