From e0155c76ddc7ccd7a56eadb4f076130d98f696ec Mon Sep 17 00:00:00 2001
From: melnikovsky <43612263+melnikovsky@users.noreply.github.com>
Date: Wed, 6 Sep 2023 21:16:29 +0300
Subject: [PATCH 1/2] fix HTML-escaped space padding in notebook
---
tqdm/notebook.py | 2 ++
1 file changed, 2 insertions(+)
diff --git a/tqdm/notebook.py b/tqdm/notebook.py
index 0f531ab94..b3babace0 100644
--- a/tqdm/notebook.py
+++ b/tqdm/notebook.py
@@ -157,6 +157,8 @@ def display(self, msg=None, pos=None,
pbar.value = self.n
if msg:
+ # take care of space padding in html
+ msg=msg.translate({ord(' ') : u'\u2007'})
# html escape special characters (like '&')
if '' in msg:
left, right = map(escape, re.split(r'\|?\|?', msg, maxsplit=1))
From bdce2afa4ee5121e119982ad0a070def4335d5e4 Mon Sep 17 00:00:00 2001
From: Casper da Costa-Luis
Date: Mon, 5 Feb 2024 21:47:23 +0000
Subject: [PATCH 2/2] slight tidy
---
tqdm/notebook.py | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/tqdm/notebook.py b/tqdm/notebook.py
index b3babace0..6ee43a6c2 100644
--- a/tqdm/notebook.py
+++ b/tqdm/notebook.py
@@ -157,8 +157,7 @@ def display(self, msg=None, pos=None,
pbar.value = self.n
if msg:
- # take care of space padding in html
- msg=msg.translate({ord(' ') : u'\u2007'})
+ msg = msg.replace(' ', u'\u2007') # fix html space padding
# html escape special characters (like '&')
if '' in msg:
left, right = map(escape, re.split(r'\|?\|?', msg, maxsplit=1))