# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1547239795 -3600
# Node ID 9e9ce1ae8b5318b3f1af3a31ba44f55571d73bc1
# Parent  6f05d4bdc58ee936c9c39cad65ad16983f4c3465
ticket/overview: added pagination

diff -r 6f05d4bdc58e -r 9e9ce1ae8b53 sat_templates/templates/default/ticket/overview.html
--- a/sat_templates/templates/default/ticket/overview.html	Fri Jan 11 21:49:14 2019 +0100
+++ b/sat_templates/templates/default/ticket/overview.html	Fri Jan 11 21:49:55 2019 +0100
@@ -3,8 +3,10 @@
 {% set category_menu = [('ticket_new', url_tickets_new)] %}
 {% extends 'base/base.html' %}
 {% import 'input/xmlui.html' as xmlui with context %}
+{% import 'input/navigation.html' as navigation with context %}
 
 {% block body %}
+{{ icon_defs('angle-double-left', 'angle-double-right') }}
 <div id="tickets" class="view tickets overview">
     {{ xmlui.generate_list(tickets, (('id', _('Id')),
                                      ('title', _('Title')),
@@ -13,4 +15,5 @@
                            item_class_fields=['status', 'priority', 'severity'],
                            on_click=on_ticket_click) }}
 </div>
+{{ navigation.prev_next(_("previous page"), _("next page")) }}
 {% endblock body %}