From d636a3b0813bd957f8a7a3c30d34e78570033b1a Mon Sep 17 00:00:00 2001 From: Jonathan Daugherty Date: Fri, 25 Oct 2024 19:05:06 -0700 Subject: [PATCH] Whitespace --- src/Brick/Widgets/ProgressBar.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Brick/Widgets/ProgressBar.hs b/src/Brick/Widgets/ProgressBar.hs index 23a103f..1ce0d8e 100644 --- a/src/Brick/Widgets/ProgressBar.hs +++ b/src/Brick/Widgets/ProgressBar.hs @@ -65,14 +65,14 @@ customProgressBar completeChar incompleteChar mLabel progress = leftWidth = spacesWidth `div` 2 rightWidth = barWidth - labelWidth - leftWidth completeWidth = round $ progress * toEnum barWidth - + leftCompleteWidth = min leftWidth completeWidth leftIncompleteWidth = leftWidth - leftCompleteWidth leftPart = replicate leftCompleteWidth completeChar ++ replicate leftIncompleteWidth incompleteChar rightCompleteWidth = max 0 (completeWidth - labelWidth - leftWidth) rightIncompleteWidth = rightWidth - rightCompleteWidth rightPart = replicate rightCompleteWidth completeChar ++ replicate rightIncompleteWidth incompleteChar - + fullBar = leftPart <> label <> rightPart adjustedCompleteWidth = if completeWidth == length fullBar && progress < 1.0 then completeWidth - 1