Garmelon/task-machine
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Change popup look

Browse source 
- make them a little bit wider
- add spaces around the title for better readability
This commit is contained in:
Joscha 2018-09-18 21:00:07 +00:00
parent c72ca628f9
commit 2c58cfffe9
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/TaskMachine/UI/Popup.hs
View file

@ -13,7 +13,7 @@ import qualified Brick.Widgets.Dialog as B
import qualified Graphics.Vty as VTY import qualified Graphics.Vty as VTY
minPopupWidth :: Int minPopupWidth :: Int
minPopupWidth = 70 minPopupWidth = 78
{- Ok popup -} {- Ok popup -}
@ -24,7 +24,7 @@ popupOk title content = popupOk' title (B.str content)
popupOk' :: String -> B.Widget n -> PopupOk n popupOk' :: String -> B.Widget n -> PopupOk n
popupOk' title widget = 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 in PopupOk dialog widget
renderPopupOk :: PopupOk n -> B.Widget n renderPopupOk :: PopupOk n -> B.Widget n