$newline never

$# SPDX-FileCopyrightText: 2022 Felix Hamann <felix.hamann@campus.lmu.de>,Gregor Kleen <gregor.kleen@ifi.lmu.de>,Steffen Jost <jost@tcs.ifi.lmu.de>
$#
$# SPDX-License-Identifier: AGPL-3.0-or-later

^{csvWdgt}
$if null rows && (dbsEmptyStyle == DBESNoHeading)
  _{dbsEmptyMessage}
$else
  <div .table-header>
    $if rowCount > 5
      <div .table__row-count>
        _{MsgRowCount rowCount}

  ^{table}

  <div .table-footer>
    $if rowCount > 5
      <div .table__row-count>
        _{MsgRowCount rowCount}
    $# Since the current pagesize is always a member of pagesizeOptions we don't need to check `pageCount > 1`
    $if showPagesizeWdgt
      ^{pagesizeWdgt'}

  $if pageCount > 1
    <div .pagination>
      <ul ##{wIdent "pagination"} .pages>
        $forall p <- pageNumbers
          <li .page-link :p == psPage:.current>
            <a href=^{tblLink' $ setParam (wIdent "page") (Just $ tshow p)}>
              _{MsgPage (succ p)}
