407 Commits

Author	SHA1	Message	Date
Paul Chiusano	7fb42a8f88	cleanup	2015-11-06 14:16:55 -05:00
Paul Chiusano	8804a84a24	use tag function	2015-11-06 09:43:39 -05:00
Paul Chiusano	7bd7866993	Added enter close events	2015-11-06 09:38:36 -05:00
Paul Chiusano	82a773d988	moved keyboard filtering to helper function in UI module rather than polluting explorer code	2015-11-05 21:16:09 -05:00
Paul Chiusano	a75db5a232	disable up/down events going to text box in explorer	2015-11-05 21:06:56 -05:00
Paul Chiusano	8781a4f753	switch to mousemove event, which is a lot more reliable	2015-11-05 16:20:46 -05:00
Paul Chiusano	c420d3a35a	test for explorer widget	2015-11-05 16:01:46 -05:00
Paul Chiusano	e22d71bc90	cleanup some unused code	2015-11-02 14:55:11 -05:00
Paul Chiusano	fa619923db	some experimental life cycle combinators for widgets	2015-11-02 14:45:01 -05:00
Paul Chiusano	51b7c7c479	hook up mouse closing of explorer	2015-11-02 14:14:13 -05:00
Paul Chiusano	a626106e4d	cleanup, add handling of new results arrival event in explorer	2015-11-02 12:01:35 -05:00
Paul Chiusano	468c443c1d	explorer code compiles	2015-11-02 11:01:45 -05:00
Paul Chiusano	16f05268c8	added more features to explorer - showing invalid results, and top content	2015-10-30 15:34:57 -04:00
Paul Chiusano	18bb4c862f	WIP on explorer	2015-10-29 18:08:47 -04:00
Paul Chiusano	21f628c6de	Now using window keyboard listener rather than trying to futz with what element has focus, which is too fragile	2015-10-28 13:16:31 -04:00
Paul Chiusano	2545d80d8c	fixed safari flex box display, rendering looks pretty consistent now in firefox, safari, chrome	2015-10-27 23:55:37 -04:00
Paul Chiusano	d381a6e165	comment out unused dom node, added comment re use of precomputed font metrics	2015-10-27 23:47:24 -04:00
Paul Chiusano	ff3f76530e	added css reset and made some layout tweaks	2015-10-27 23:41:00 -04:00
Paul Chiusano	f411b00502	fix nav bug where moving left/right would not work from non-leaf nodes	2015-10-27 17:21:39 -04:00
Paul Chiusano	e9f0936941	Fix a couple nav bugs: expand takes into account that immediate parent path may not be valid, hits is more robust	2015-10-27 14:34:11 -04:00
Paul Chiusano	400c2d164a	Editor pulling information from node now	2015-10-01 16:48:32 -04:00
Paul Chiusano	ce63c596aa	minor CSS tweaks	2015-09-22 12:49:51 -04:00
Paul Chiusano	ed0447be97	hooked up keybindings for all navigation - hjkl for up/down/left/right, 'g' for leftmost, ';' for rightmost, 'u' for expand, and 'd' for contract	2015-09-21 13:44:20 -04:00
Paul Chiusano	cb7477bfde	rollback to earlier version of dependencies, fixes #31 but editor keyboard nav busted in chrome	2015-09-16 22:29:24 -04:00
Paul Chiusano	ebb08ffe13	keyboard events now being propagated correctly for navigation	2015-09-16 12:29:47 -04:00
Paul Chiusano	4ca5e696aa	Move handers to DocView.widget, added navigation (not working yet)	2015-09-15 11:25:09 -04:00
Paul Chiusano	cc2e92e786	Added some padding to selection highlight	2015-09-14 21:26:20 -04:00
Paul Chiusano	75fcc3149a	CSS tweaks	2015-09-11 14:13:26 -04:00
Paul Chiusano	956209f358	Added editor.html file and updated README	2015-09-11 13:10:06 -04:00
Paul Chiusano	df48eac5d4	Selection highlighting improvements	2015-09-10 16:21:34 -04:00
Paul Chiusano	c84554db18	WIP on navigation events	2015-09-10 15:41:44 -04:00
Paul Chiusano	36b530fc81	Implement box layout navigation functions (untested)	2015-09-10 13:10:24 -04:00
Paul Chiusano	22c3f3ec7a	selection highlighting bugfixes	2015-09-10 04:23:38 -04:00
Paul Chiusano	4428698f96	Added selection layer, a couple things still wonky though	2015-09-08 17:22:36 -04:00
Paul Chiusano	6fa805de8e	Added selection layer highlight (not hooked up yet)	2015-09-08 16:34:16 -04:00
Paul Chiusano	57d2537078	Added Fira Code font and enabled in styles.css	2015-08-26 17:47:32 -04:00
Paul Chiusano	270df8a8b1	some CSS tweaks, adjusted editor demo	2015-08-25 21:45:21 -04:00
Paul Chiusano	9d4f563e0b	Bit of cleanup of editor hello world	2015-08-21 16:20:27 -04:00
Paul Chiusano	2f121014bf	Doc bugfixes	2015-08-21 15:28:51 -04:00
Paul Chiusano	7fa8ee798d	fix space handling and hooked up some event listeners	2015-08-20 00:45:12 -04:00
Paul Chiusano	1126c7bf7d	WIP on editor	2015-08-19 18:01:58 -04:00
Paul Chiusano	da1d7366dc	comment out noncompiling code for now	2015-08-17 13:37:17 -04:00
Paul Chiusano	768d405470	Lots of Doc improvements to support editor work	2015-08-17 11:03:20 -04:00
Paul Chiusano	c40b1099ec	resurrect shell.sh files	2015-07-27 10:34:22 -04:00
John Ericson	5d08df9b7f	TEMP WIP commit	2015-07-17 00:29:47 -07:00
Paul Chiusano	6fcdc581a5	Cleanup build, get rid of old shared sandboxes junk	2015-07-07 17:36:22 -04:00
John Ericson	0368ea995e	Add nix-shell support	2015-06-19 00:39:42 -07:00
John Ericson	72211b22d0	Use stock cabal2nix default.nix	2015-06-02 07:07:50 +00:00
John Ericson	e761000523	Remove try-reflex stuff	2015-06-02 06:35:24 +00:00
Paul Chiusano	c4c785c608	Some cleanup, and added base to dependencies, so hello world now compiling to JS using reflex	2015-05-22 16:45:05 -04:00