From bc13c56ac49f45a3fa5b504c38f63a3ad242ad36 Mon Sep 17 00:00:00 2001
From: Andrea Lepori <alepori@student.ethz.ch>
Date: Mon, 26 Sep 2022 19:40:41 +0200
Subject: change "colonia" to "diga"

---
 server/templates/server/doc_list_readonly.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'server/templates/server/doc_list_readonly.html')

diff --git a/server/templates/server/doc_list_readonly.html b/server/templates/server/doc_list_readonly.html
index 6db49c8..ac1ae6d 100644
--- a/server/templates/server/doc_list_readonly.html
+++ b/server/templates/server/doc_list_readonly.html
@@ -117,8 +117,8 @@
   <a href="#!"><div class="chip" onClick="showAll()">
     {{total_count}} Tutti
   </div></a>
-  <a href="#!"><div id="colonia_filter" class="chip {{color}} white-text" onClick="filterResults('colonia')">
-    {{colonia_count}} Colonia
+  <a href="#!"><div id="diga_filter" class="chip {{color}} white-text" onClick="filterResults('diga')">
+    {{diga_count}} Diga
   </div></a>
   <a href="#!"><div id="muta_filter" class="chip {{color}} white-text" onClick="filterResults('muta')">
     {{muta_count}} Muta
@@ -657,7 +657,7 @@ function filterResults(group_name) {
 
 function showAll() {
   var items = document.getElementsByClassName("item");
-  document.getElementById("colonia_filter").className = "chip {{color}} white-text";
+  document.getElementById("diga_filter").className = "chip {{color}} white-text";
   document.getElementById("muta_filter").className = "chip {{color}} white-text";
   document.getElementById("reparto_filter").className = "chip {{color}} white-text";
   document.getElementById("posto_filter").className = "chip {{color}} white-text";
-- 
cgit v1.2.1