Rob Rix
|
6848ecce46
|
Add elements for arrays.
|
2015-10-21 16:07:39 -04:00 |
|
Rob Rix
|
6ca9e84892
|
Map terms into DOM nodes.
|
2015-10-21 16:05:34 -04:00 |
|
Rob Rix
|
ee1c1acb5b
|
Don’t shadow the continuation.
|
2015-10-21 16:04:06 -04:00 |
|
Rob Rix
|
df4e37e5de
|
Add DOM stuff to the DOM.
|
2015-10-21 16:02:55 -04:00 |
|
Rob Rix
|
d425c007e6
|
keyed produces a hash.
|
2015-10-21 16:01:45 -04:00 |
|
Rob Rix
|
89f218021f
|
Leaves are just passed straight through.
|
2015-10-21 16:01:22 -04:00 |
|
Rob Rix
|
2bd26cd80c
|
indexed produces an array.
|
2015-10-21 16:00:43 -04:00 |
|
Rob Rix
|
17877c7f36
|
Construct new terms.
|
2015-10-21 15:58:55 -04:00 |
|
Rob Rix
|
ebd101b22f
|
Add a value for terms.
|
2015-10-21 15:58:00 -04:00 |
|
Rob Rix
|
2aa2e49f41
|
Return null.
|
2015-10-21 15:57:23 -04:00 |
|
Rob Rix
|
27f01cc43f
|
Construct new values.
|
2015-10-21 15:57:15 -04:00 |
|
Rob Rix
|
848f3ec654
|
Return the element representing deletions.
|
2015-10-21 15:55:02 -04:00 |
|
Rob Rix
|
d373c6829c
|
Remove the before/after elements.
|
2015-10-21 15:54:46 -04:00 |
|
Rob Rix
|
2232be5e9f
|
Pass the input strings around everywhere.
|
2015-10-21 15:54:10 -04:00 |
|
Rob Rix
|
a7c04a8214
|
Don’t fetch the before/after terms.
|
2015-10-21 15:51:47 -04:00 |
|
Rob Rix
|
f687283721
|
Map replacements into Replace values.
|
2015-10-21 15:51:40 -04:00 |
|
Rob Rix
|
ba55d8a5ad
|
Map deletion/insertion patches in the source diff into deletions/insertions.
|
2015-10-21 15:50:29 -04:00 |
|
Rob Rix
|
014efdc84e
|
Map deletions into DOM.
|
2015-10-21 15:50:13 -04:00 |
|
Rob Rix
|
9d3a6b9ec6
|
Add values for patches.
|
2015-10-21 15:50:06 -04:00 |
|
Rob Rix
|
f8f82a6b16
|
Pass the DOM elements.
|
2015-10-21 15:49:34 -04:00 |
|
Rob Rix
|
ead175b4e4
|
We do, now.
|
2015-10-21 14:10:51 -04:00 |
|
Rob Rix
|
49d0904b1b
|
term recurs through syntax .
|
2015-10-21 14:09:40 -04:00 |
|
Rob Rix
|
90ae03f234
|
Recur through replacements.
|
2015-10-21 14:08:43 -04:00 |
|
Rob Rix
|
6c1b0c0fa6
|
Use .notation instead of subscripting.
|
2015-10-21 14:08:35 -04:00 |
|
Rob Rix
|
18fde70e60
|
Handle insertions/deletions.
|
2015-10-21 13:01:05 -04:00 |
|
Rob Rix
|
4043a39b2b
|
term takes an element.
|
2015-10-21 12:59:47 -04:00 |
|
Rob Rix
|
698bc16a98
|
Find the before/after elements.
|
2015-10-21 12:59:37 -04:00 |
|
Rob Rix
|
0fd240ee3d
|
Stub in term handling.
|
2015-10-21 12:58:21 -04:00 |
|
Rob Rix
|
1d91880842
|
Merge branch 'master' into diff-ui-shows-original-sources
|
2015-10-21 12:49:14 -04:00 |
|
Josh Vera
|
47be99ea8f
|
Merge pull request #134 from github/load-json-diffs-in-ui
Load JSON diffs in UI
|
2015-10-21 12:05:53 -04:00 |
|
Rob Rix
|
802f6f3f2b
|
diff is its own continuation.
|
2015-10-21 12:03:17 -04:00 |
|
Rob Rix
|
888379544c
|
Recur via the continuation.
|
2015-10-21 12:02:57 -04:00 |
|
Josh Vera
|
910f938431
|
Merge pull request #123 from github/output-source-range-annotations-to-json
Output source range annotations to json
|
2015-10-21 12:02:31 -04:00 |
|
Rob Rix
|
652b1ee699
|
We’ll need to handle annotated terms.
|
2015-10-21 12:02:10 -04:00 |
|
Rob Rix
|
8b9cfde29e
|
Process the top-level diff with diff .
|
2015-10-21 12:01:30 -04:00 |
|
Rob Rix
|
57456430a1
|
Pass a continuation around.
|
2015-10-21 12:01:19 -04:00 |
|
Rob Rix
|
d19f212467
|
We need to handle leaves.
|
2015-10-21 12:00:46 -04:00 |
|
Rob Rix
|
64fcc98221
|
Log the diff.
|
2015-10-21 11:59:56 -04:00 |
|
Rob Rix
|
61eff92eff
|
Call out to patch/syntax when processing a diff.
|
2015-10-21 11:59:48 -04:00 |
|
Rob Rix
|
f5380548e2
|
Annotate Free JSON output with the case explicitly.
Diffs of diffs were getting pretty confusing.
|
2015-10-21 11:57:33 -04:00 |
|
Rob Rix
|
61bb54cdad
|
Stub in a function to process patches.
|
2015-10-21 11:49:03 -04:00 |
|
Rob Rix
|
3701da8d43
|
No margin/padding.
|
2015-10-21 11:48:46 -04:00 |
|
Rob Rix
|
e1ef212539
|
Merge branch 'load-json-diffs-in-ui' into diff-ui-shows-original-sources
|
2015-10-21 11:41:46 -04:00 |
|
Rob Rix
|
08eb766c0c
|
Merge branch 'output-source-range-annotations-to-json' into load-json-diffs-in-ui
|
2015-10-21 11:41:20 -04:00 |
|
Rob Rix
|
8eee045dfc
|
Merge branch 'master' into load-json-diffs-in-ui
|
2015-10-21 11:41:01 -04:00 |
|
Rob Rix
|
0a34d3738e
|
Merge branch 'master' into output-source-range-annotations-to-json
|
2015-10-21 11:40:26 -04:00 |
|
Rob Rix
|
3ba2585165
|
Merge pull request #125 from github/parse-json
Add JSONParser
|
2015-10-21 11:37:30 -04:00 |
|
joshvera
|
91c6ad085b
|
use sepBy
|
2015-10-21 11:25:37 -04:00 |
|
joshvera
|
7f5d5d354d
|
indentation
|
2015-10-21 11:25:33 -04:00 |
|
joshvera
|
2cf0464878
|
annotate error messages
|
2015-10-21 11:25:28 -04:00 |
|