Would have caused an unnecessary coarsen_pos() if we were sitting on
the first _non-header_ item in a file at the point when it failed to
extend backwards.
// Can't extend this any further into the past
// FIXME: this is not tested yet
self.contents.extender = None;
- if self.pos.item() <= self.contents.origin {
+ if self.pos.item() < self.contents.origin {
self.coarsen_pos();
if self.pos.item() <
self.contents.first_index()