Jonathan Daugherty
700081f7cd
Change list/edit lens naming convention to use L suffix
...
- Lenses for edit and list widgets now have L suffixes, e.g.
editorNameL
- Non-lens equivalents for edit and list field accessors are now
exported for non-lens use cases
- suffixLenses is added as an alternative to makeLenses for building
these lenses
2015-06-28 11:57:38 -07:00
Jonathan Daugherty
0ba00780c0
Add TerminalLocation interface for Location-like things and use it
2015-06-28 11:35:28 -07:00
Jonathan Daugherty
a4ed1dda89
Make editor fields lenses and export them
2015-06-28 11:20:53 -07:00
Jonathan Daugherty
e79d145766
Export editCursorPos
2015-06-28 11:13:18 -07:00
Jonathan Daugherty
af4ff1dfe1
Rename editStr to editContents
2015-06-28 11:13:04 -07:00
Jonathan Daugherty
6e8ac5eb57
Remove location field export in favor of overloaded _1 and _2 lenses
2015-06-28 11:10:42 -07:00
Jonathan Daugherty
4e9de7c80c
Make editor interface consistent with list by accepting a content drawing function
2015-06-28 11:02:18 -07:00
Jonathan Daugherty
3bcc144114
Make list fields lenses and export them
2015-06-28 10:58:54 -07:00
Jonathan Daugherty
a599acb143
Remove stale comments
2015-06-27 18:32:50 -07:00
Jonathan Daugherty
3ebdcbee9a
Move infinite widget size checks to viewport renderer
2015-06-27 18:32:14 -07:00
Jonathan Daugherty
882fde1e08
h/vBox: reduce to emptyWidget on empty lists
2015-06-27 18:31:55 -07:00
Jonathan Daugherty
5eb61ff8ef
Add emptyWidget
2015-06-27 18:31:35 -07:00
Jonathan Daugherty
b840db52bb
Remove withContext
2015-06-27 17:07:25 -07:00
Jonathan Daugherty
e12824ec6e
Update TODO
2015-06-27 17:00:34 -07:00
Jonathan Daugherty
d7a06f1765
Remove unused BoxRender field
2015-06-27 16:59:05 -07:00
Jonathan Daugherty
e1f01a279a
Center: use unused padding value, remove stale imports
2015-06-27 16:58:57 -07:00
Jonathan Daugherty
9aaf09e339
whitespace
2015-06-27 16:53:00 -07:00
Jonathan Daugherty
0217aa64c5
Make single-row/column fill primitives
2015-06-27 16:51:20 -07:00
Jonathan Daugherty
a995539af8
layout
2015-06-27 16:35:41 -07:00
Jonathan Daugherty
d49423cc4f
Get rid of box rendering priority in favor of using size hints to control rendering order
2015-06-27 16:34:45 -07:00
Jonathan Daugherty
a1574eeed5
Replace all fills and pads with one fill primitive
2015-06-27 15:41:38 -07:00
Jonathan Daugherty
e29c423651
Make h/vBorder respect their size declarations
2015-06-27 15:41:07 -07:00
Jonathan Daugherty
deb97623f0
Combine h/vPad into pad
2015-06-27 15:37:26 -07:00
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
