jtdaugherty/brick
1
1
Fork 0
mirror of https://github.com/jtdaugherty/brick.git synced 2025-01-05 21:03:07 +03:00
Code Issues Projects Releases Wiki Activity

Make the "unicode" border style the default since it's 2015

Browse Source
This commit is contained in:
Jonathan Daugherty 2015-07-21 19:35:27 -07:00
parent ccf33a8a66
commit 8eb6bc3d21
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Brick/Widgets/Border/Style.hs
View File

@ -8,7 +8,7 @@
--
-- To use these in your widgets, see
-- 'Brick.Widgets.Core.withBorderStyle'. By default, widgets rendered
-- without a specified border style use 'ascii' via the 'Default'
-- without a specified border style use 'unicode' via the 'Default'
-- instance provided by 'BorderStyle'.
module Brick.Widgets.Border.Style
( BorderStyle(..)
@ -51,7 +51,7 @@ data BorderStyle =
deriving (Show, Read)
instance Default BorderStyle where
def = ascii
def = unicode
-- | Make a border style using the specified character everywhere.
borderStyleFromChar :: Char -> BorderStyle