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 |
|
Paul Chiusano
|
415ff70898
|
fix issue with DFO instantiation tracking of path info
|
2015-10-27 12:19:11 -04:00 |
|
Paul Chiusano
|
03caf04271
|
Fix issue with vector typechecking
|
2015-10-20 18:25:58 -04:00 |
|
Paul Chiusano
|
ba70c9cdc4
|
Failing unit test exposing issue with vector typechecking
|
2015-10-20 17:35:55 -04:00 |
|
Paul Chiusano
|
8e52b6924c
|
test suite running using MemNode now
|
2015-10-20 17:12:26 -04:00 |
|
Paul Chiusano
|
dc0397643e
|
Note.fromEither
|
2015-10-20 17:00:06 -04:00 |
|
Paul Chiusano
|
a510fa1cf5
|
Some test cleanup, easier to thread a Node instance into the tests now
|
2015-10-20 15:55:11 -04:00 |
|
Paul Chiusano
|
26f1c49679
|
Fix issue with DFO rendering
|
2015-10-20 12:12:35 -04:00 |
|
Paul Chiusano
|
df28d7c72a
|
Added failing test case, some cleanup of tests
|
2015-10-20 11:57:45 -04:00 |
|
Paul Chiusano
|
6d6db19f01
|
Merge remote-tracking branch 'origin/master'
|
2015-10-19 15:39:11 -04:00 |
|
Paul Chiusano
|
3a27085115
|
Move test suite to shared
|
2015-10-19 15:36:16 -04:00 |
|
John Ericson
|
59cdc23dc0
|
Fix build-and-run script
|
2015-10-08 01:05:23 -04:00 |
|
Paul Chiusano
|
c2406f6e7e
|
fix issue with typechecking vector literals
|
2015-10-02 01:05:39 -04:00 |
|
Paul Chiusano
|
9e500c6726
|
set should use swapMVar
|
2015-10-01 18:25:06 -04:00 |
|
Paul Chiusano
|
400c2d164a
|
Editor pulling information from node now
|
2015-10-01 16:48:32 -04:00 |
|
Paul Chiusano
|
c54c050eb2
|
import cleanup of node, which now compiles again
|
2015-09-30 16:32:35 -04:00 |
|