784 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Paul Chiusano	0fb1ea1331	fix issue with searches not being rerun	2015-11-29 15:52:13 -05:00
Paul Chiusano	343e02caf4	use mapDynM rather than combineDyn	2015-11-27 15:35:39 -05:00
Paul Chiusano	20e8b379e9	CSS tweaks	2015-11-27 15:26:07 -05:00
Paul Chiusano	e89804a554	UI tweaking and bugfixes	2015-11-26 16:35:42 -05:00
Paul Chiusano	52b16475ab	vector literals in explorer	2015-11-26 14:30:30 -05:00
Paul Chiusano	528c566d2a	more UI fixes, explorer opening and closing, with path being displayed correctly	2015-11-26 13:52:35 -05:00
Paul Chiusano	cf2d51bbc7	more UI fixes	2015-11-24 23:22:22 -05:00
Paul Chiusano	267b86dfb8	several UI fixes	2015-11-24 18:05:16 -05:00
Paul Chiusano	9dc4f81d82	fix vector path handling	2015-11-24 16:11:01 -05:00
Paul Chiusano	4136bc63b4	disable navigation while explorer open	2015-11-24 14:04:48 -05:00
Paul Chiusano	6d13daed45	WIP fixing various issues with explorer	2015-11-24 13:54:22 -05:00
Paul Chiusano	5789edaca1	switch to using symbolic link for shared / editor dependency, for faster turnaround times	2015-11-22 17:20:06 -05:00
Paul Chiusano	b6f3132a18	compiling version of editor + explorer	2015-11-22 16:47:15 -05:00
Paul Chiusano	7b2a404562	added logic for local info rendering	2015-11-20 14:50:39 -05:00
Paul Chiusano	6cad73b19c	added remote request logic to term explorer	2015-11-18 13:00:11 -05:00
Paul Chiusano	a85da7daea	more progress on term explorer	2015-11-18 11:49:18 -05:00
Paul Chiusano	d90a815e52	Move local info rendering inside term explorer	2015-11-17 16:20:10 -05:00
Paul Chiusano	51f845282c	more progress on term explorer	2015-11-17 16:08:09 -05:00
Paul Chiusano	5fedcac96c	WIP on term explorer	2015-11-17 13:46:36 -05:00
Paul Chiusano	2a4a9dfad2	WIP on term explorer	2015-11-17 11:26:21 -05:00
Paul Chiusano	dc2897c206	remove unused type parameter	2015-11-16 16:31:37 -05:00
Paul Chiusano	f7212b0e53	code now compiles with new path type	2015-11-13 16:49:09 -05:00
Paul Chiusano	e92e97eb6e	WIP removing old path type, not quite compiling yet	2015-11-13 16:42:59 -05:00
Paul Chiusano	0d7991b566	add Views module	2015-11-13 15:51:48 -05:00
Paul Chiusano	778332003c	port term and type prettyprinters to new path type	2015-11-13 15:49:37 -05:00
Paul Chiusano	36ba444de6	finish focus1 implementation	2015-11-13 14:43:17 -05:00
Paul Chiusano	1da70aab8d	WIP switching to unified path type	2015-11-13 12:39:35 -05:00
Paul Chiusano	7b16f3556f	subtle fix to Doc.fits combinator in conjunction with grouping; added test	2015-11-09 23:57:05 -05:00
Paul Chiusano	0bb0fea887	fits combinator for doc	2015-11-09 18:01:21 -05:00
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	d36c1cf8cd	fix contract bug	2015-10-27 15:07:29 -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