# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1607704247 -3600
# Node ID 0657982e81affc6b06c8f2e8d4b19fb5861755c1
# Parent  fbea1b9a558fd2a43115508dda3e7028850dde7c
bulma (ticket/overview): add a search box

diff -r fbea1b9a558f -r 0657982e81af sat_templates/templates/bulma/ticket/overview.html
--- a/sat_templates/templates/bulma/ticket/overview.html	Thu Dec 10 11:29:04 2020 +0100
+++ b/sat_templates/templates/bulma/ticket/overview.html	Fri Dec 11 17:30:47 2020 +0100
@@ -4,12 +4,20 @@
 {% extends 'base/base.html' %}
 {% import 'input/xmlui.html' as xmlui with context %}
 {% import 'input/navigation.html' as navigation with context %}
+{% import 'input/textbox.html' as textbox with context %}
 
 {% block body %}
 <section class="section has-background-white">
-    <div class="content has-items-centered is-flex">
-        {{ component.action_button(url_tickets_new) }}
-    </div>
+    <nav class="level mb-4">
+        <div class="level-left">
+            {{ component.action_button(url_tickets_new) }}
+        </div>
+        <div class="level-right">
+            <div class="level-item">
+                {{ textbox.search() }}
+            </div>
+        </div>
+    </nav>
     <div id="tickets" class="container has-background-white px-1 py-1">
         {{ xmlui.generate_list(
               tickets,