Skip to content
  • Kevin J. McCarthy's avatar
    Clear pager position when toggling headers. · cf76d30a
    Kevin J. McCarthy authored
    It doesn't make sense to try to preserve the pager position when
    toggling headers: the purpose of toggling headers is to see the
    headers in full or weeded state.  So, reset the position back to the
    top.
    cf76d30a