complete translations

dist/index.js

@@ -440,15 +440,7 @@
     close: "Close",
     discard: "Discard",
     rename: "Rename",
-    weekdays: [
+    weekdays: ["Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat"],
-      "Sun",
-      "Mon",
-      "Tue",
-      "Wed",
-      "Thu",
-      "Fri",
-      "Sat"
-    ],
     previousMonth: "previous month",
     nextMonth: "next month",
     // settings
@@ -558,15 +550,9 @@
       close: "Cerrar",
       discard: "Descartar",
       rename: "Renombrar",
-      weekdays: [
+      weekdays: ["Dom", "Lun", "Mar", "Mi\xE9", "Jue", "Vie", "S\xE1b"],
-        "Dom",
+      previousMonth: "\xDAltimo mes",
-        "Lun",
+      nextMonth: "Pr\xF3ximo mes",
-        "Mar",
-        "Mi\xE9",
-        "Jue",
-        "Vie",
-        "S\xE1b"
-      ],
       // settings
       settings: "Configuraci\xF3n",
       showSettings: "Mostrar configuraci\xF3n",
@@ -672,15 +658,9 @@
       close: "Schlie\xDFen",
       discard: "Verwerfen",
       rename: "Umbenennen",
-      weekdays: [
+      weekdays: ["So", "Mo", "Di", "Mi", "Do", "Fr", "Sa"],
-        "So",
+      previousMonth: "Vorheriger Monat",
-        "Mo",
+      nextMonth: "N\xE4chster Monat",
-        "Di",
-        "Mi",
-        "Do",
-        "Fr",
-        "Sa"
-      ],
       // settings
       settings: "Einstellungen",
       showSettings: "Einstellungen anzeigen",
@@ -2317,6 +2297,7 @@
     }
     function applyFilter() {
       appliedFilter.value = objectFilterInput.value;
+      if (!previousObjectSearches.value.has(appliedFilter.value))
         previousObjectSearches.add(appliedFilter.value);
       const allObjects = [...chat.objects.value.values()];
       allObjects.forEach((object, i) => {

src/translations.ts

@@ -10,15 +10,7 @@ const englishTranslations = {
   discard: "Discard",
   rename: "Rename",
 
-  weekdays: [
+  weekdays: ["Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat"],
-    "Sun",
-    "Mon",
-    "Tue",
-    "Wed",
-    "Thu",
-    "Fri",
-    "Sat",
-  ],
   previousMonth: "previous month",
   nextMonth: "next month",
 
@@ -163,15 +155,9 @@ const allTranslations: { [key: string]: typeof englishTranslations } = {
     discard: "Descartar",
     rename: "Renombrar",
 
-    weekdays: [
+    weekdays: ["Dom", "Lun", "Mar", "Mié", "Jue", "Vie", "Sáb"],
-      "Dom",
+    previousMonth: "Último mes",
-      "Lun",
+    nextMonth: "Próximo mes",
-      "Mar",
-      "Mié",
-      "Jue",
-      "Vie",
-      "Sáb",
-    ],
 
     // settings
     settings: "Configuración",
@@ -311,15 +297,9 @@ const allTranslations: { [key: string]: typeof englishTranslations } = {
     discard: "Verwerfen",
     rename: "Umbenennen",
 
-    weekdays: [
+    weekdays: ["So", "Mo", "Di", "Mi", "Do", "Fr", "Sa"],
-      "So",
+    previousMonth: "Vorheriger Monat",
-      "Mo",
+    nextMonth: "Nächster Monat",
-      "Di",
-      "Mi",
-      "Do",
-      "Fr",
-      "Sa",
-    ],
 
     // settings
     settings: "Einstellungen",