brick/programs
2018-11-29 16:21:15 -08:00
..
AttrDemo.hs Support GHC 8.4 (fixes #162) 2018-03-17 09:03:59 -07:00
BorderDemo.hs Borders: simplify attribute API for borders by providing only one attribute name 2018-01-07 16:14:26 -08:00
CacheDemo.hs Remove appLiftVtyEvent in favor of library event type BrickEvent 2016-10-25 20:19:31 -07:00
CustomEventDemo.hs Support GHC 8.4 (fixes #162) 2018-03-17 09:03:59 -07:00
DialogDemo.hs Support GHC 8.4 (fixes #162) 2018-03-17 09:03:59 -07:00
DynamicBorderDemo.hs add a way to join neighboring borders 2018-03-25 18:04:15 -04:00
EditDemo.hs Edit: move content draw function to render time, not construction 2017-06-26 11:52:46 -07:00
FileBrowserDemo.hs Initial working draft of file browser widget 2018-11-29 16:21:15 -08:00
FillDemo.hs Core: add hLimitPercent, vLimitPercent 2018-08-04 20:19:16 -07:00
FormDemo.hs FormDemo: minor cleanup, set validation state initially 2018-01-09 16:27:08 -08:00
HelloWorldDemo.hs Replace "Name" type with custom name type variable everywhere 2016-03-04 14:42:49 -08:00
LayerDemo.hs Update for Vty 5.15 2017-01-24 13:48:45 -08:00
ListDemo.hs Support GHC 8.4 (fixes #162) 2018-03-17 09:03:59 -07:00
ListViDemo.hs Support GHC 8.4 (fixes #162) 2018-03-17 09:03:59 -07:00
MarkupDemo.hs Remove appLiftVtyEvent in favor of library event type BrickEvent 2016-10-25 20:19:31 -07:00
MouseDemo.hs MouseDemo: improve text 2018-11-18 08:50:32 -08:00
PaddingDemo.hs Update for Vty 5.15 2017-01-24 13:48:45 -08:00
ProgressBarDemo.hs Support GHC 8.4 (fixes #162) 2018-03-17 09:03:59 -07:00
ReadmeDemo.hs README: add simple demo UI and corresponding program 2017-03-11 20:31:55 -08:00
SuspendAndResumeDemo.hs Support GHC 8.4 (fixes #162) 2018-03-17 09:03:59 -07:00
TextWrapDemo.hs Add txtWrapWith, strWrapWith to provide control over wrapping behavior 2017-08-05 09:20:07 -07:00
ThemeDemo.hs Add a simple theme demo program 2017-11-05 11:19:42 -08:00
ViewportScrollDemo.hs Update for Vty 5.15 2017-01-24 13:48:45 -08:00
VisibilityDemo.hs Support GHC 8.4 (fixes #162) 2018-03-17 09:03:59 -07:00