Cleanup and fix

MuckRock · Feb 23, 2024 · 6e5cc0d · 6e5cc0d
1 parent 61f6e08
commit 6e5cc0d
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 10 deletions.
diff --git a/src/common/Paginator.svelte b/src/common/Paginator.svelte
@@ -47,7 +47,6 @@
       inputValue = page;
       return;
     }
-    console.debug("Paginator: Page changed to ", page);
     const { value } = event.target as HTMLInputElement;
     goTo(parseInt(value));
   }

diff --git a/src/pages/app/ActionBar.svelte b/src/pages/app/ActionBar.svelte
@@ -85,7 +85,7 @@
       <span class="narrowhide">
         <Paginator
           page={$search.page}
-          totalPages={$search.results.numPages}
+          totalPages={$search.results?.numPages}
           on:next={searchNext}
           on:previous={searchPrev}
           has_next={$search.hasNext}

diff --git a/src/pages/app/Documents.svelte b/src/pages/app/Documents.svelte
@@ -227,7 +227,7 @@
       <div class="narrowshow">
         <Paginator
           page={$search.page}
-          totalPages={$search.results.numPages}
+          totalPages={$search.results?.numPages}
           on:next={searchNext}
           on:previous={searchPrev}
           has_next={$search.hasNext}

diff --git a/src/pages/app/EmbedFooter.svelte b/src/pages/app/EmbedFooter.svelte
@@ -11,7 +11,7 @@
   <div class="paginator">
     <Paginator
       page={$search.page}
-      totalPages={$search.results.numPages}
+      totalPages={$search.results?.numPages}
       on:next={searchNext}
       on:previous={searchPrev}
       has_next={$search.hasNext}

diff --git a/src/pages/viewer/controls/Paginator.svelte b/src/pages/viewer/controls/Paginator.svelte
@@ -1,4 +1,4 @@
-<script lang="ts">
+<script>
   import { doc } from "../../../viewer/document.js";
   import { viewer } from "../../../viewer/viewer.js";
   import Paginator from "../../../common/Paginator.svelte";
@@ -9,13 +9,9 @@
   $: totalPages = $viewer.document?.pageCount;
   $: has_next = page < totalPages;
   $: has_previous = page > 1;
-  $: {
-    console.debug({ page, totalPages, has_next, has_previous });
-  }
 
-  function goToPage(event: CustomEvent) {
+  function goToPage(event) {
     const page = event.detail;
-    console.debug("Go to page ", page);
     doc.jumpToPage(page - 1);
   }
 </script>