From a499e5b8763d1c3398cf4da4d32bf98e4c402514 Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Thu, 7 Dec 2023 05:22:03 +0000
Subject: [PATCH] Space out the ... at the end of a boost/fave record.

---
 text.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/text.py b/text.py
index dbaebe5..7e1de02 100644
--- a/text.py
+++ b/text.py
@@ -328,7 +328,10 @@ class NotificationLog:
         except StopIteration:
             yield line
             return
-        line = next(line.split(width-3)) + ColouredString("...")
+        line = next(line.split(width-3))
+        if line.width < width-3:
+            line += ColouredString(" ")
+        line += ColouredString("...")
         yield line
 
 class HTMLParser(html.parser.HTMLParser):
-- 
2.30.2