added a dedicated pager library

2025-12-21 14:13:43 +02:00
parent 1f9365429e
commit 1edec0b987
1 changed files with 1 additions and 1 deletions
@@ -37,7 +37,7 @@ def print_paged(text):
  ll = len(lines)
  for i in range(0, ll, REAL_TERM_ROWS):
    chunk = lines[i:i + REAL_TERM_ROWS]
-    for line in chunk: print(line)
+    for line in chunk: print(line, end='')
    if i + REAL_TERM_ROWS < ll:
      input(CONT_MSG)