fix(session): make unarchive work and archived sessions findable

packages/app/src/components/command-palette.ts

@@ -146,9 +146,11 @@ export function createCommandPaletteModel(props: { filesOnly?: () => boolean; on
     server: ServerConnection.key(serverSDK.server),
     opened: serverCtx.projects.list,
     stored: () => serverCtx.sync.data.project,
-    load: (search, signal) => serverSDK.api.session.list({ parentID: null, search, limit: 50 }, { signal }),
+    load: (search, signal) =>
+      serverSDK.api.session.list({ parentID: null, search, limit: 50, archived: true }, { signal }),
     untitled: () => language.t("command.session.new"),
     category: () => language.t("command.category.session"),
+    archivedCategory: () => language.t("command.category.session.archived"),
   })
 
   const highlight = (item: CommandPaletteEntry | undefined) => {
@@ -223,6 +225,7 @@ export function createServerSessionEntries(props: {
   load: (search: string, signal: AbortSignal) => Promise<{ data: SessionInfo[] }>
   untitled: () => string
   category: () => string
+  archivedCategory: () => string
 }) {
   let abort: AbortController | undefined
 
@@ -258,23 +261,27 @@ export function createServerSessionEntries(props: {
       .then((result) =>
         result.data
           .map(normalizeSessionInfo)
-          .filter((session) => !session.time.archived)
           .map((session) => {
             const project =
               projectForSession(session, opened, openedByID) ?? projectForSession(session, stored, storedByID)
+            const archived = typeof session.time.archived === "number" ? session.time.archived : undefined
             return {
               id: `session:${props.server}:${session.id}`,
               type: "session" as const,
               title: session.title || props.untitled(),
               description: project ? displayName(project) : getFilename(session.directory),
-              category: props.category(),
+              category: archived ? props.archivedCategory() : props.category(),
               directory: session.directory,
               sessionID: session.id,
               server: props.server,
               project,
               updated: session.time.updated,
+              archived,
             }
-          }),
+          })
+          // Keep archived matches after active ones so a search never buries a
+          // live session beneath restored-from-archive results.
+          .sort((a, b) => Number(!!a.archived) - Number(!!b.archived)),
       )
       .catch(() => [] as CommandPaletteEntry[])
   }

packages/app/src/components/dialog-command-palette-v2.tsx

@@ -79,9 +79,11 @@ export function DialogHomeCommandPaletteV2(props: {
     server: ServerConnection.key(props.server),
     opened: serverCtx.projects.list,
     stored: () => serverCtx.sync.data.project,
-    load: (search, signal) => serverCtx.sdk.api.session.list({ parentID: null, search, limit: 50 }, { signal }),
+    load: (search, signal) =>
+      serverCtx.sdk.api.session.list({ parentID: null, search, limit: 50, archived: true }, { signal }),
     untitled: () => language.t("command.session.new"),
     category: () => language.t("command.category.session"),
+    archivedCategory: () => language.t("command.category.session.archived"),
   })
 
   const highlight = (item: CommandPaletteEntry | undefined) => {

packages/app/src/context/global-sync/event-reducer.ts

@@ -167,8 +167,14 @@ export function applyDirectoryEvent(input: {
       const next = input.store.session.slice()
       next.splice(result.index, 0, info)
       const trimmed = trimSessions(next, { limit, permission: input.permission ?? input.store.permission })
+      const grew = trimmed.length > input.store.session.length
       input.setStore("session", reconcile(trimmed, { key: "id" }))
       cleanupDroppedSessionCaches(input.store, input.setStore, trimmed, input.setSessionTodo)
+      // Counterpart to the decrement in the archived branch above. Only count a
+      // session that genuinely widened the window: a session trimmed out by the
+      // limit is still included in sessionTotal, so an unrelated update to one
+      // would otherwise inflate the count on every event.
+      if (!info.parentID && grew) input.setStore("sessionTotal", (value) => value + 1)
       break
     }
     case "session.deleted": {

packages/app/src/i18n/am.ts

@@ -97,6 +97,7 @@ export const dict = {
   "command.category.provider": "አቅራቢ",
   "command.category.server": "አገልጋይ",
   "command.category.session": "ክፍለ ጊዜ",
+  "command.category.session.archived": "በማህደር የተቀመጡ",
   "command.category.theme": "ገጽታ",
   "command.category.language": "ቋንቋ",
   "command.category.file": "ፋይል",
@@ -125,6 +126,7 @@ export const dict = {
   "command.session.previous.unseen": "ያለፈው ያልተነበበ ክፍለ ጊዜ",
   "command.session.next.unseen": "ቀጣይ ያልተነበበ ክፍለ ጊዜ",
   "command.session.archive": "ክፍለ ጊዜን በማህደር አስቀምጥ",
+  "command.session.unarchive": "ክፍለ ጊዜን ከማህደር አውጣ",
   "command.palette": "የትእዛዝ ቤተ-ስዕል",
   "command.theme.cycle": "የዑደት ጭብጥ",
   "command.theme.set": "ገጽታ ይጠቀሙ፡ {{theme}}",
@@ -822,6 +824,7 @@ export const dict = {
   "common.export": "ላክ",
   "common.reset": "ዳግም አስጀምር",
   "common.archive": "በማህደር አስቀምጥ",
+  "common.unarchive": "ከማህደር አውጣ",
   "common.delete": "ሰርዝ",
   "common.close": "ዝጋ",
   "common.edit": "አርትዕ",

packages/app/src/i18n/ar.ts

@@ -103,6 +103,7 @@ export const dict = {
   "command.category.provider": "موفر",
   "command.category.server": "خادم",
   "command.category.session": "جلسة",
+  "command.category.session.archived": "المؤرشفة",
   "command.category.theme": "سمة",
   "command.category.language": "لغة",
   "command.category.file": "ملف",
@@ -131,6 +132,7 @@ export const dict = {
   "command.session.previous.unseen": "الجلسة غير المقروءة السابقة",
   "command.session.next.unseen": "الجلسة غير المقروءة التالية",
   "command.session.archive": "أرشفة الجلسة",
+  "command.session.unarchive": "إلغاء أرشفة الجلسة",
   "command.palette": "لوحة الأوامر",
   "command.theme.cycle": "تغيير السمة",
   "command.theme.set": "استخدام السمة: {{theme}}",
@@ -808,6 +810,7 @@ export const dict = {
   "common.export": "تصدير",
   "common.reset": "إعادة تعيين",
   "common.archive": "أرشفة",
+  "common.unarchive": "إلغاء الأرشفة",
   "common.delete": "حذف",
   "common.close": "إغلاق",
   "common.edit": "تحرير",

packages/app/src/i18n/az.ts

@@ -99,6 +99,7 @@ export const dict = {
   "command.category.provider": "Provayder",
   "command.category.server": "Server",
   "command.category.session": "Sessiya",
+  "command.category.session.archived": "Arxivlənmiş",
   "command.category.theme": "Mövzu",
   "command.category.language": "Dil",
   "command.category.file": "Fayl",
@@ -127,6 +128,7 @@ export const dict = {
   "command.session.previous.unseen": "Əvvəlki oxunmamış sessiya",
   "command.session.next.unseen": "Növbəti oxunmamış sessiya",
   "command.session.archive": "Sessiyanı arxivlə",
+  "command.session.unarchive": "Sessiyanı arxivdən çıxar",
   "command.palette": "Əmr paneli",
   "command.theme.cycle": "Mövzunu dəyiş",
   "command.theme.set": "Mövzudan istifadə et: {{theme}}",
@@ -847,6 +849,7 @@ export const dict = {
   "common.export": "İxrac et",
   "common.reset": "Sıfırla",
   "common.archive": "Arxivlə",
+  "common.unarchive": "Arxivdən çıxar",
   "common.delete": "Sil",
   "common.close": "Bağla",
   "common.edit": "Redaktə et",

packages/app/src/i18n/bg.ts

@@ -99,6 +99,7 @@ export const dict = {
   "command.category.provider": "Доставчик",
   "command.category.server": "сървър",
   "command.category.session": "Сесия",
+  "command.category.session.archived": "Архивирани",
   "command.category.theme": "Тема",
   "command.category.language": "език",
   "command.category.file": "Файл",
@@ -127,6 +128,7 @@ export const dict = {
   "command.session.previous.unseen": "Предишна непрочетена сесия",
   "command.session.next.unseen": "Следваща непрочетена сесия",
   "command.session.archive": "Архивна сесия",
+  "command.session.unarchive": "Разархивиране на сесия",
   "command.palette": "Командна палитра",
   "command.theme.cycle": "Тема за цикъл",
   "command.theme.set": "Използвайте тема: {{theme}}",
@@ -844,6 +846,7 @@ export const dict = {
   "common.export": "Експортиране",
   "common.reset": "Нулиране",
   "common.archive": "Архив",
+  "common.unarchive": "Разархивиране",
   "common.delete": "Изтриване",
   "common.close": "затвори",
   "common.edit": "Редактиране",

packages/app/src/i18n/bn.ts

@@ -98,6 +98,7 @@ export const dict: Record<string, string> = {
   "command.category.provider": "প্রদানকারী",
   "command.category.server": "সার্ভার",
   "command.category.session": "সেশন",
+  "command.category.session.archived": "আর্কাইভ করা",
   "command.category.theme": "থিম",
   "command.category.language": "ভাষা",
   "command.category.file": "ফাইল",
@@ -126,6 +127,7 @@ export const dict: Record<string, string> = {
   "command.session.previous.unseen": "পূর্ববর্তী অপঠিত সেশন",
   "command.session.next.unseen": "পরবর্তী অপঠিত সেশন",
   "command.session.archive": "আর্কাইভ সেশন",
+  "command.session.unarchive": "সেশন আর্কাইভ থেকে ফেরান",
   "command.palette": "কমান্ড প্যালেট",
   "command.theme.cycle": "সাইকেল থিম",
   "command.theme.set": "থিম ব্যবহার করুন: {{theme}}",
@@ -837,6 +839,7 @@ export const dict: Record<string, string> = {
   "common.export": "রপ্তানি",
   "common.reset": "রিসেট করুন",
   "common.archive": "সংরক্ষণাগার",
+  "common.unarchive": "আর্কাইভ থেকে ফেরান",
   "common.delete": "মুছে দিন",
   "common.close": "বন্ধ",
   "common.edit": "সম্পাদনা করুন",

packages/app/src/i18n/br.ts

@@ -105,6 +105,7 @@ export const dict = {
   "command.category.provider": "Provedor",
   "command.category.server": "Servidor",
   "command.category.session": "Sessão",
+  "command.category.session.archived": "Arquivadas",
   "command.category.theme": "Tema",
   "command.category.language": "Idioma",
   "command.category.file": "Arquivo",
@@ -133,6 +134,7 @@ export const dict = {
   "command.session.previous.unseen": "Sessão não lida anterior",
   "command.session.next.unseen": "Próxima sessão não lida",
   "command.session.archive": "Arquivar sessão",
+  "command.session.unarchive": "Desarquivar sessão",
   "command.palette": "Paleta de comandos",
   "command.theme.cycle": "Alternar tema",
   "command.theme.set": "Usar tema: {{theme}}",
@@ -811,6 +813,7 @@ export const dict = {
   "common.export": "Exportar",
   "common.reset": "Redefinir",
   "common.archive": "Arquivar",
+  "common.unarchive": "Desarquivar",
   "common.delete": "Excluir",
   "common.close": "Fechar",
   "common.edit": "Editar",

packages/app/src/i18n/bs.ts

@@ -105,6 +105,7 @@ export const dict = {
   "command.category.provider": "Provajder",
   "command.category.server": "Server",
   "command.category.session": "Sesija",
+  "command.category.session.archived": "Arhivirano",
   "command.category.theme": "Tema",
   "command.category.language": "Jezik",
   "command.category.file": "Datoteka",
@@ -135,6 +136,7 @@ export const dict = {
   "command.session.previous.unseen": "Prethodna nepročitana sesija",
   "command.session.next.unseen": "Sljedeća nepročitana sesija",
   "command.session.archive": "Arhiviraj sesiju",
+  "command.session.unarchive": "Vrati sesiju iz arhive",
 
   "command.palette": "Paleta komandi",
 
@@ -871,6 +873,7 @@ export const dict = {
   "common.export": "Izvezi",
   "common.reset": "Vrati na početno stanje",
   "common.archive": "Arhiviraj",
+  "common.unarchive": "Vrati iz arhive",
   "common.delete": "Izbriši",
   "common.close": "Zatvori",
   "common.edit": "Uredi",

packages/app/src/i18n/ca.ts

@@ -99,6 +99,7 @@ export const dict = {
   "command.category.provider": "Proveïdor",
   "command.category.server": "Servidor",
   "command.category.session": "Sessió",
+  "command.category.session.archived": "Arxivades",
   "command.category.theme": "Tema",
   "command.category.language": "Llengua",
   "command.category.file": "Fitxer",
@@ -127,6 +128,7 @@ export const dict = {
   "command.session.previous.unseen": "Sessió anterior sense llegir",
   "command.session.next.unseen": "Pròxima sessió sense llegir",
   "command.session.archive": "Sessió d'arxiu",
+  "command.session.unarchive": "Desarxiva la sessió",
   "command.palette": "Paleta de comandaments",
   "command.theme.cycle": "Temàtica del cicle",
   "command.theme.set": "Utilitza el tema: {{theme}}",
@@ -848,6 +850,7 @@ export const dict = {
   "common.export": "Exporta",
   "common.reset": "Restableix",
   "common.archive": "Arxiu",
+  "common.unarchive": "Desarxiva",
   "common.delete": "Suprimeix",
   "common.close": "Tancar",
   "common.edit": "Edita",

packages/app/src/i18n/cs.ts

@@ -97,6 +97,7 @@ export const dict = {
   "command.category.provider": "Poskytovatel",
   "command.category.server": "Server",
   "command.category.session": "Relace",
+  "command.category.session.archived": "Archivované",
   "command.category.theme": "téma",
   "command.category.language": "Jazyk",
   "command.category.file": "Soubor",
@@ -125,6 +126,7 @@ export const dict = {
   "command.session.previous.unseen": "Předchozí nepřečtená relace",
   "command.session.next.unseen": "Další nepřečtená relace",
   "command.session.archive": "Archivní relace",
+  "command.session.unarchive": "Zrušit archivaci sezení",
   "command.palette": "Paleta příkazů",
   "command.theme.cycle": "Téma cyklu",
   "command.theme.set": "Použít motiv: {{theme}}",
@@ -843,6 +845,7 @@ export const dict = {
   "common.export": "Exportovat",
   "common.reset": "Resetovat",
   "common.archive": "Archiv",
+  "common.unarchive": "Zrušit archivaci",
   "common.delete": "Odstranit",
   "common.close": "Zavřít",
   "common.edit": "Upravit",

packages/app/src/i18n/da.ts

@@ -5,6 +5,7 @@ export const dict = {
   "command.category.provider": "Udbyder",
   "command.category.server": "Server",
   "command.category.session": "Session",
+  "command.category.session.archived": "Arkiverede",
   "command.category.theme": "Tema",
   "command.category.language": "Sprog",
   "command.category.file": "Fil",
@@ -34,6 +35,7 @@ export const dict = {
   "command.session.previous.unseen": "Forrige ulæste session",
   "command.session.next.unseen": "Næste ulæste session",
   "command.session.archive": "Arkivér session",
+  "command.session.unarchive": "Fjern session fra arkiv",
 
   "command.palette": "Kommandopalette",
 
@@ -748,6 +750,7 @@ export const dict = {
   "common.export": "Eksportér",
   "common.reset": "Nulstil",
   "common.archive": "Arkivér",
+  "common.unarchive": "Fjern fra arkiv",
   "common.delete": "Slet",
   "common.close": "Luk",
   "common.edit": "Rediger",

packages/app/src/i18n/de.ts

@@ -9,6 +9,7 @@ export const dict = {
   "command.category.provider": "Anbieter",
   "command.category.server": "Server",
   "command.category.session": "Sitzung",
+  "command.category.session.archived": "Archiviert",
   "command.category.theme": "Thema",
   "command.category.language": "Sprache",
   "command.category.file": "Datei",
@@ -36,6 +37,7 @@ export const dict = {
   "command.session.previous.unseen": "Vorherige ungelesene Sitzung",
   "command.session.next.unseen": "Nächste ungelesene Sitzung",
   "command.session.archive": "Sitzung archivieren",
+  "command.session.unarchive": "Archivierung der Sitzung aufheben",
   "command.palette": "Befehlspalette",
   "command.theme.cycle": "Thema wechseln",
   "command.theme.set": "Thema verwenden: {{theme}}",
@@ -701,6 +703,7 @@ export const dict = {
   "common.export": "Exportieren",
   "common.reset": "Zurücksetzen",
   "common.archive": "Archivieren",
+  "common.unarchive": "Archivierung aufheben",
   "common.delete": "Löschen",
   "common.close": "Schließen",
   "common.edit": "Bearbeiten",

packages/app/src/i18n/dv.ts

@@ -100,6 +100,7 @@ export const dict = {
   "command.category.provider": "ޕްރޮވައިޑަރެވެ",
   "command.category.server": "ސަރވަރ އެވެ",
   "command.category.session": "ސެޝަން",
+  "command.category.session.archived": "އަރުޝީވުކޮށްފައި",
   "command.category.theme": "ތީމް",
   "command.category.language": "ބަސް",
   "command.category.file": "ފައިލް",
@@ -128,6 +129,7 @@ export const dict = {
   "command.session.previous.unseen": "ކުރީގެ ނުކިޔާ ސެޝަން",
   "command.session.next.unseen": "ދެން ނުކިޔާ ސެޝަން",
   "command.session.archive": "އަރުޝީފް ސެޝަން",
+  "command.session.unarchive": "ސެޝަން އަރުޝީވުން ނަގާ",
   "command.palette": "ކޮމާންޑް ޕެލެޓް",
   "command.theme.cycle": "ސައިކަލް ތީމް",
   "command.theme.set": "ތީމް ބޭނުންކުރުން: {{theme}}",
@@ -851,6 +853,7 @@ export const dict = {
   "common.export": "އެކްސްޕޯޓް",
   "common.reset": "ރީސެޓް ކުރުން",
   "common.archive": "އާކައިވް",
+  "common.unarchive": "އަރުޝީވުން ނަގާ",
   "common.delete": "ފުހެލުން",
   "common.close": "ލެއްޕުން",
   "common.edit": "ބަދަލު ގެނައުން",

packages/app/src/i18n/dz.ts

@@ -100,6 +100,7 @@ export const dict: Record<string, string> = {
   "command.category.provider": "བྱིན་མི།",
   "command.category.server": "སར་བར།",
   "command.category.session": "ལཱ་ཡུན།",
+  "command.category.session.archived": "ཡིག་མཛོད་བཞག་ཡོདཔ",
   "command.category.theme": "བརྗོད༌དོན",
   "command.category.language": "སྐད༌ཡིག",
   "command.category.file": "ཡིག༌སྣོད",
@@ -128,6 +129,7 @@ export const dict: Record<string, string> = {
   "command.session.previous.unseen": "ཧེ་མའི་མ་ལྷག་པའི་ལཱ་ཡུན།",
   "command.session.next.unseen": "ལྷག་མ་ཚར་བའི་ལཱ་ཡུན་ཤུལ་མམ།",
   "command.session.archive": "ཡིག་མཛོད་ལཱ་ཡན།",
+  "command.session.unarchive": "ལས་ཐུན་ཡིག་མཛོད་ནས་ཕྱིར་འདོན",
   "command.palette": "བརྡ་བཀོད་པེ་ལེཊི།",
   "command.theme.cycle": "འཁོར་བའི་བརྗོད་གཞི།",
   "command.theme.set": "བརྗོད་དོན་ལག་ལེན་འཐབ།: {{theme}}",
@@ -852,6 +854,7 @@ export const dict: Record<string, string> = {
   "common.export": "ཕྱིར་བཙོང",
   "common.reset": "སླར་སྒྲིག་འབད།",
   "common.archive": "གཏན་མཛོད",
+  "common.unarchive": "ཡིག་མཛོད་ནས་ཕྱིར་འདོན",
   "common.delete": "བཏོན༌གཏང༌བ",
   "common.close": "སྒོ་བསྡམ",
   "common.edit": "ཞུན༌དག",