added a dedicated pager library

2025-12-21 14:14:11 +02:00
parent 1edec0b987
commit 85cbeef730
1 changed files with 1 additions and 2 deletions
@@ -40,5 +40,4 @@ def print_paged(text):
    for line in chunk: print(line, end='')
    if i + REAL_TERM_ROWS < ll:
      input(CONT_MSG)
-
-
+  print()