Jonathan Daugherty
adbcbf72b0
Use text instead of padding in demo
2015-06-27 15:25:19 -07:00
Jonathan Daugherty
9b34d52da5
Unify box rendering implementations
2015-06-27 14:01:00 -07:00
Jonathan Daugherty
e17a3a1b50
Update TODO
2015-06-27 13:45:38 -07:00
Jonathan Daugherty
6ffc25af75
Rename appMakeEvent
2015-06-25 23:42:52 -07:00
Jonathan Daugherty
585d068364
Add demo program showing how to use custom events
2015-06-25 23:34:20 -07:00
Jonathan Daugherty
552e765ec2
Make main customizable by specifying the event channel
2015-06-25 23:22:22 -07:00
Jonathan Daugherty
d696dfb58b
Add suspend-and-resume capability to perform IO without losing application or terminal state
2015-06-25 12:58:32 -07:00
Jonathan Daugherty
e5c21c5d92
Long line
2015-06-24 22:02:04 -07:00
Jonathan Daugherty
146fde46d0
Edit: export editStr, show in demo program
2015-06-24 21:26:44 -07:00
Jonathan Daugherty
258f04ebe3
Make event handlers return whether to continue or shut down, return final application state
2015-06-24 21:24:58 -07:00
Jonathan Daugherty
bf1e50d0e6
List: adding list item widgets that grow vertically is not permitted
2015-06-24 21:17:08 -07:00
Jonathan Daugherty
5a59675943
Add size hint fields to widgets
2015-06-24 21:15:12 -07:00
Jonathan Daugherty
0c978dc150
Improve module hierarchy further
2015-06-24 20:58:34 -07:00
Jonathan Daugherty
089f9ae41f
Improve module hierarchy
2015-06-24 20:54:32 -07:00
Jonathan Daugherty
33f0394c15
List: terminology
2015-06-24 20:47:17 -07:00
Jonathan Daugherty
693c38905d
Make viewport scrolling less error-prone by packaging viewport scrolling operations in a type
2015-06-24 20:41:24 -07:00
Jonathan Daugherty
a73b7f70f4
Rename Render to Widget and make it a record type whose field is the rendering function
2015-06-24 20:34:35 -07:00
Jonathan Daugherty
07ac56e069
Update TODO
2015-06-22 13:10:58 -07:00
Jonathan Daugherty
64873a2cae
borders: take an arbitrary rendering as the border label instead of requiring a text value
2015-06-21 13:56:27 -07:00
Jonathan Daugherty
074aff9b3a
txt now takes a Text value, str takes a String
2015-06-21 13:47:47 -07:00
Jonathan Daugherty
aaa3938899
Remove unused pragma
2015-06-21 13:41:49 -07:00
Jonathan Daugherty
8a62c2dfb3
Add scrolling functions for home/end
2015-06-21 13:24:40 -07:00
Jonathan Daugherty
5f8032c8f5
Remove duplicated resize event now that we do not need to worry about stale states
2015-06-21 13:17:22 -07:00
Jonathan Daugherty
7308855d93
Add support for scrollable viewports by making scroll requests in event handlers rather than using render-time visibility requests
2015-06-20 15:02:54 -07:00
Jonathan Daugherty
73a337be4d
Support using arbitrary functions to render editor contents; improve Markup interface to work more easily with editors; add demonstration of using markup with editors
2015-06-15 20:26:29 -07:00
Jonathan Daugherty
10e7f19408
Markup: remove splitMarkupAt
2015-06-15 17:05:43 -07:00
Jonathan Daugherty
3c7b3794ee
Export constructor for AttrNames to be used in the absence of OverloadedStrings
2015-06-15 13:36:32 -07:00
Jonathan Daugherty
33d5ce42f4
Use and export a horizontal border label attribute name
2015-06-15 13:32:10 -07:00
Jonathan Daugherty
895b47cd6a
Remove unused language extensions from minimal demo
2015-06-15 12:10:26 -07:00
Jonathan Daugherty
17ace5208c
Add support for forcing attributes
2015-06-14 17:43:10 -07:00
Jonathan Daugherty
bfdf618fc1
Support overriding specific attribute mappings as a rendering operation
2015-06-14 17:27:53 -07:00
Jonathan Daugherty
f75ce3c7ee
Support hierarchical attribute fallback in map lookup, assign attribute hierarchy to border elements
2015-06-14 17:23:27 -07:00
Jonathan Daugherty
a029ffe423
Adds support for attribute mapping
...
- App now provides appAttrMap which extracts an attribute map from
the application state. This enables the application to dictate
which attributes get used for which things.
- Updates list and edit components to use the attribute map to select
attributes.
- Updates the markup implementation to support either direct attriubute
specification or indirect via mapped names.
- Updates the demos to show how to use attribute name maps.
- Renames and adds some core library combinators to support using either
names or attributes.
2015-06-14 16:14:35 -07:00
Jonathan Daugherty
b7d5085a02
Use lens "each" in a few places
2015-06-14 13:32:21 -07:00
Jonathan Daugherty
9ad150df47
Add experimental text attribute markup module
2015-06-14 13:23:58 -07:00
Jonathan Daugherty
a4fbfd4d29
Remove @@ operator from core library in favor of markup operator
2015-06-14 13:16:57 -07:00
Jonathan Daugherty
ccd13b97ff
editor: simplify render implementation
2015-06-09 19:32:29 -07:00
Jonathan Daugherty
f48c270c43
Add visibleRegion combinator to declare known regions as visible and use it to simplify the editor implementation
2015-06-09 19:30:14 -07:00
Jonathan Daugherty
4606fc8f79
Update TODO
2015-06-08 07:36:55 -07:00
Jonathan Daugherty
4af5dc1408
Rename useAttr to withAttr and add @@ operator to do the same
2015-06-07 22:50:08 -07:00
Jonathan Daugherty
1d804c5249
Clean up demo combinators, make vLimit implicit in editors
2015-06-07 20:51:56 -07:00
Jonathan Daugherty
614724f555
centering: make centering combinators support filled or unfilled padding so centered drawings are layer-friendly
2015-06-07 20:38:07 -07:00
Jonathan Daugherty
d1bc47bd71
demo: simplify usage of layout combinators
2015-06-07 20:37:32 -07:00
Jonathan Daugherty
6fe244332c
Remove unnecessary export of border style context lens
2015-06-07 19:43:06 -07:00
Jonathan Daugherty
cd27e16042
Make ascii the default border style
2015-06-07 19:41:32 -07:00
Jonathan Daugherty
4e7da0792f
Make border style part of the rendering context and expose functions to get or change it; update border functions so they implicitly use the style in the context
2015-06-07 19:40:49 -07:00
Jonathan Daugherty
5c7c424936
Update edit widget API to use similar naming convention as list
2015-06-07 19:28:16 -07:00
Jonathan Daugherty
3183798952
Use more consistent naming convention for list API
2015-06-07 19:27:35 -07:00
Jonathan Daugherty
4267a809f2
Rename translate to translateBy to avoid import clashes with Vty.translate
2015-06-07 19:27:20 -07:00
Jonathan Daugherty
0eb02e2d4e
Update todo
2015-06-07 19:11:02 -07:00
