Adjust shell to new API

CentreForDigitalHumanities · Jan 3, 2024 · b174b8b · b174b8b
1 parent 1388d36
commit b174b8b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/edpop_explorer/edpopxshell.py b/edpop_explorer/edpopxshell.py
@@ -74,7 +74,7 @@ def do_next(self, args) -> None:
             self.perror('All records have been shown')
         else:
             if self.reader.number_fetched - self.shown < self.RECORDS_PER_PAGE:
-                self.reader.fetch_next()
+                self.reader.fetch()
             self.shown += self._show_records(self.reader.records,
                                              self.shown,
                                              self.RECORDS_PER_PAGE)
@@ -195,7 +195,7 @@ def do_kb(self, args) -> None:
         'Koninklijke Bibliotheek'
         self._query(KBReader, args)
 
-    def _show_records(self, records: List[Record],
+    def _show_records(self, records: List[Optional[Record]],
                       start: int,
                       limit=math.inf) -> int:
         """Show the records from start, with limit as the maximum number