From 022e5c6b7ae018cd91d7a7914547e8e6724f2ce9 Mon Sep 17 00:00:00 2001 From: Grumpy Date: Fri, 22 Apr 2022 17:21:30 +0200 Subject: [PATCH] Remove unused box on progressBar dialog --- src/prompt_toolkit/shortcuts/dialogs.py | 1 - 1 file changed, 1 deletion(-) diff --git a/src/prompt_toolkit/shortcuts/dialogs.py b/src/prompt_toolkit/shortcuts/dialogs.py index eacb05a00..f283ccb45 100644 --- a/src/prompt_toolkit/shortcuts/dialogs.py +++ b/src/prompt_toolkit/shortcuts/dialogs.py @@ -274,7 +274,6 @@ def progress_dialog( body=HSplit( [ Box(Label(text=text)), - Box(text_area, padding=D.exact(1)), progressbar, ] ),