GNOME Bugzilla – Bug 711434
jump indexes by height
Last modified: 2015-06-16 12:59:33 UTC
IE, IUB, Bosco Index using height or TV. Selectable in preferences