Jonathan Daugherty
d01e51b9f2
TailDemo: improve approach to counting lines in thread
2020-08-24 14:19:58 -07:00
Jonathan Daugherty
660eb3b131
Add demo program for tail-style UI
2020-08-22 16:06:40 -07:00
Jonathan Daugherty
4947938e57
Re-enable unused do binding warning, lower -O3 to -O2, and add -Wcompat for all libs and executables
2020-02-28 15:05:48 -08:00
Jonathan Daugherty
7534f4d7be
Clean up compilation warnings on newer GHCs
2020-02-07 16:43:36 -08:00
Jonathan Daugherty
581964442d
customMain: allow caller to pass initial Vty handle, and add customMainWithVty
2019-03-19 08:27:43 -07:00
Jonathan Daugherty
557521a2e1
FileBrowser: support multiple entry selection ( fixes #204 )
...
This change adds fileBrowserSelectedAttr to indicate selected entries
and changes the API of fileBrowserSelection to return a list of selected
entries rather than a Maybe. It also adds Space as an input event to
toggle entry selection.
2018-12-06 11:55:24 -08:00
Jonathan Daugherty
796feff75d
FileBrowser: update API to let caller control what constitutes a selectable entry
2018-12-03 10:57:10 -08:00
Jonathan Daugherty
0172756039
FileBrowser: haddock updates, API nits, and demo improvements
2018-12-03 10:33:47 -08:00
Jonathan Daugherty
fbc02529e1
FileBrowser: Socket -> UnixSocket
2018-11-30 20:20:22 -08:00
Jonathan Daugherty
800b8add22
FileBrowser: expose search state, update demo dispatch
2018-11-30 15:16:35 -08:00
Jonathan Daugherty
7075e3e63e
FileBrowserDemo: add help text
2018-11-30 15:13:16 -08:00
Jonathan Daugherty
df4a70da1f
FileBrowser: show current file info in footer
2018-11-30 11:49:08 -08:00
Jonathan Daugherty
6c72d89d46
FileBrowserDemo: nit
2018-11-30 11:23:11 -08:00
Jonathan Daugherty
1adaddce7f
FileBrowser: add attribute for header
2018-11-30 11:14:12 -08:00
Jonathan Daugherty
6ab5c4dbae
More file browser updates
2018-11-30 10:04:22 -08:00
Jonathan Daugherty
3188588c23
Initial working draft of file browser widget
2018-11-29 16:21:15 -08:00
Jonathan Daugherty
47bc0a3911
MouseDemo: improve text
2018-11-18 08:50:32 -08:00
Jonathan Daugherty
5ec13bfe92
Core: add hLimitPercent, vLimitPercent
2018-08-04 20:19:16 -07:00
Daniel Wagner
5dd5bc4100
add a way to join neighboring borders
2018-03-25 18:04:15 -04:00
Jonathan Daugherty
bd89f787d2
Support GHC 8.4 ( fixes #162 )
...
This change splits up Monoid instances into Monoid and Semigroup. It
also conditionally imports Data.Monoid on GHCs prior to 8.4.
2018-03-17 09:03:59 -07:00
Jonathan Daugherty
dac37858dd
FormDemo: minor cleanup, set validation state initially
2018-01-09 16:27:08 -08:00
Jonathan Daugherty
23b8f291e2
Forms: add support for external validation, update FormDemo
2018-01-08 13:09:13 -08:00
Jonathan Daugherty
c1aad4bd5e
Borders: simplify attribute API for borders by providing only one attribute name
...
This change removes attribute names that I think were inadvisable to
begin with.
2018-01-07 16:14:26 -08:00
Jonathan Daugherty
a7c611900c
FormDemo: comment
2017-12-27 18:34:58 -08:00
Jonathan Daugherty
bee73d1167
FormDemo: extra @@= usage
2017-12-27 17:57:49 -08:00
Jonathan Daugherty
e844505619
FormDemo: use even more explicit imports
2017-12-27 16:33:03 -08:00
Jonathan Daugherty
8ddbcf94dd
FormDemo: use explicit imports
2017-12-27 16:32:13 -08:00
Jonathan Daugherty
ac03482672
FormDemo: fix search-and-replace typo
2017-12-27 16:26:04 -08:00
Jonathan Daugherty
05ef4ac330
FormDemo: rename state type
2017-12-27 15:37:51 -08:00
Jonathan Daugherty
45c9bc48eb
FormDemo: demo multi-line editor field
2017-12-27 11:37:26 -08:00
Jonathan Daugherty
d20c84daf4
Forms: make checkbox labels strings to be consistent with other functions
2017-12-26 23:21:15 -08:00
Jonathan Daugherty
58a531e4cb
FormDemo: UI nits
2017-12-26 23:03:03 -08:00
Jonathan Daugherty
fa84704110
FormDemo: enable mouse events
2017-12-26 22:32:01 -08:00
Jonathan Daugherty
18c6ad9559
Reinstate checkbox labels as widgets
2017-12-26 22:07:41 -08:00
Jonathan Daugherty
80075e05f0
Forms: add functions to test form field validity
2017-12-26 22:04:51 -08:00
Jonathan Daugherty
0d3ed336d6
FormDemo: show initial and final form states
2017-12-26 21:58:07 -08:00
Jonathan Daugherty
58179a248a
Whitespace
2017-12-26 21:56:32 -08:00
Jonathan Daugherty
ecb0748012
FormDemo: add help text
2017-12-26 21:56:10 -08:00
Jonathan Daugherty
fb4e801620
FormDemo: improve form build
2017-12-26 21:52:26 -08:00
Jonathan Daugherty
a0c387e9a3
FormDemo: improve labeling
2017-12-26 21:39:20 -08:00
Jonathan Daugherty
d86177a75a
Forms: unify focused attributes
2017-12-26 21:35:14 -08:00
Jonathan Daugherty
0d6cfaa289
Forms: simplify checkbox API
2017-12-26 21:35:06 -08:00
Jonathan Daugherty
668a534a1e
FormDemo: improve demo form
2017-12-26 21:31:18 -08:00
Jonathan Daugherty
af60c49bb3
Forms, FormDemo: add checkbox fields
2017-12-26 21:11:26 -08:00
Jonathan Daugherty
4d027c7a43
FormDemo: whitespace
2017-12-26 20:22:42 -08:00
Jonathan Daugherty
6d8cbe1e6c
Forms: add infix operator alternative to withHelper
2017-12-26 20:11:18 -08:00
Jonathan Daugherty
03b91c5503
FormDemo: nits
2017-12-26 20:07:59 -08:00
Jonathan Daugherty
eca0b2abbf
FormDemo: UI nit
2017-12-26 20:05:20 -08:00
Jonathan Daugherty
81727f46ce
FormDemo: add radio button example
2017-12-26 19:58:20 -08:00
Jonathan Daugherty
6b2be1885d
Forms: refactor API to decouple form input elements from state fields
2017-12-26 19:44:49 -08:00
