# HG changeset patch
# User bsw
# Date 1634136599 -7200
# Node ID ee64851da221f52606c996c6e2b379fdbd8f6fa3
# Parent  1e5d1bc961c4d5a76c2c963342bcbb55d4ca0d18
Hide top paginator by parameter instead of css, format paginator links

diff -r 1e5d1bc961c4 -r ee64851da221 app/main/issue/_list.lua
--- a/app/main/issue/_list.lua	Wed Oct 13 15:22:54 2021 +0200
+++ b/app/main/issue/_list.lua	Wed Oct 13 16:49:59 2021 +0200
@@ -417,6 +417,8 @@
     ui.paginate{
       selector = selector,
       per_page = 25,
+      link_attr = "mdl-button mdl-js-button mdl-button--raised",
+      position = "after",
       content = doit
     }
   end
diff -r 1e5d1bc961c4 -r ee64851da221 static/lf4.css
--- a/static/lf4.css	Wed Oct 13 15:22:54 2021 +0200
+++ b/static/lf4.css	Wed Oct 13 16:49:59 2021 +0200
@@ -746,10 +746,6 @@
   right: 20px;
 }
 
-.ui_paginate_head {
-  display: none;
-}
-
 .trace_list {
   margin-left: 10px;
   list-style-type: none;