|
|
503b160ba0
|
Change fold data model
We now use the overlay to access the begin and end as this is updated by
emacs as the buffer changes.
|
2014-05-05 21:34:50 +01:00 |
|
|
|
3dec1957d2
|
Restructure
|
2014-05-05 18:14:36 +01:00 |
|
|
|
09a5b5fd01
|
Make reset more robust
|
2014-05-05 11:35:23 +01:00 |
|
|
|
2edbbdf3e7
|
Make first attempt at updating tree after buffer edits
|
2014-05-05 11:35:07 +01:00 |
|
|
|
71b4a61bc6
|
Change semantics of fold open node
|
2014-04-23 20:21:56 +01:00 |
|
|
|
65aa2bee02
|
Fix comment alignment
|
2014-04-21 21:44:22 +01:00 |
|
|
|
3650c604b5
|
Implement show only
|
2014-04-21 21:32:04 +01:00 |
|
|
|
3cb65b2912
|
Open and close all nodes
|
2014-04-21 20:21:05 +01:00 |
|
|
|
566dc99370
|
Implement reset
|
2014-04-21 20:05:50 +01:00 |
|
|
|
0f08711a7f
|
Implement toggle
|
2014-04-19 15:08:46 +01:00 |
|
|
|
2be3fa7916
|
Rename path finding funcs
|
2014-04-19 15:04:42 +01:00 |
|
|
|
9c5a4acf60
|
Ensure default for previously open is t
|
2014-04-19 15:02:51 +01:00 |
|
|
|
2f2069041a
|
Adjust overlay range
|
2014-04-19 15:02:44 +01:00 |
|
|
|
f15c83d0da
|
Keep hacking: opening and closing seems to work
|
2014-04-19 14:51:07 +01:00 |
|
|
|
2920f6ca1f
|
Search for node containing point + misc
|
2014-04-19 12:36:49 +01:00 |
|
|
|
1eba276ad9
|
Make fold node structure more robust
Also, implement origami-fold-assoc
|
2014-04-19 11:44:43 +01:00 |
|
|
|
1944c22931
|
Start fleshing out interactive funcs
|
2014-04-19 11:44:38 +01:00 |
|
|
|
b55125cc8b
|
Add more parsing combinators
|
2014-04-13 20:24:33 +01:00 |
|
|
|
3584641d4e
|
Add conj
|
2014-04-10 20:25:30 +01:00 |
|
|
|
04bce78b13
|
Add many parser
|
2014-04-07 21:50:39 +01:00 |
|
|
|
7bf9c22e47
|
Implement monadic parsing
|
2014-04-06 20:16:59 +01:00 |
|
|
|
5b97990a0d
|
Create the scanner monad and experiment with it
|
2014-03-24 20:37:56 +00:00 |
|
|
|
3d727df657
|
Adjust whitespace
|
2014-03-17 20:25:10 +00:00 |
|
|
|
7cc09a5acd
|
Refactor and introduce on-change
|
2014-03-17 20:23:57 +00:00 |
|
|
|
30442bbbb1
|
Implement basic add/remove diff
|
2014-03-17 19:23:46 +00:00 |
|
