37 Commits

Author	SHA1	Message	Date
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	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	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
Jonathan Daugherty	5b1112fc1f	FormDemo: UI tweak	2017-12-26 16:43:37 -08:00
Jonathan Daugherty	7d59fd9213	Whitespace	2017-12-26 16:42:02 -08:00
Jonathan Daugherty	d4a8706072	FormDemo: clean up imports	2017-12-26 16:40:55 -08:00
Jonathan Daugherty	eaa14ed144	Forms: move TODO to forms module	2017-12-26 16:40:30 -08:00
Jonathan Daugherty	ba78ce92f8	Forms: improve naming convention of field constructors	2017-12-26 16:38:28 -08:00
Jonathan Daugherty	8bea691093	Add an experimental, incomplete forms API and demo program	2017-12-26 16:29:05 -08:00