From 2c58cfffe997f44e3c9c72c0064a1eb320f17d6a Mon Sep 17 00:00:00 2001 From: Joscha Date: Tue, 18 Sep 2018 21:00:07 +0000 Subject: [PATCH] Change popup look - make them a little bit wider - add spaces around the title for better readability --- src/TaskMachine/UI/Popup.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/TaskMachine/UI/Popup.hs b/src/TaskMachine/UI/Popup.hs index 338df42..219e355 100644 --- a/src/TaskMachine/UI/Popup.hs +++ b/src/TaskMachine/UI/Popup.hs @@ -13,7 +13,7 @@ import qualified Brick.Widgets.Dialog as B import qualified Graphics.Vty as VTY minPopupWidth :: Int -minPopupWidth = 70 +minPopupWidth = 78 {- Ok popup -} @@ -24,7 +24,7 @@ popupOk title content = popupOk' title (B.str content) popupOk' :: String -> B.Widget n -> PopupOk n popupOk' title widget = - let dialog = B.dialog (Just title) (Just (0,[("Ok",())])) minPopupWidth + let dialog = B.dialog (Just $ " " ++ title ++ " ") (Just (0,[("Ok",())])) minPopupWidth in PopupOk dialog widget renderPopupOk :: PopupOk n -> B.Widget n