2054 Commits

Author	SHA1	Message	Date
Rob Rix	98d2f6a06b	Tweak the width rules for number cells.	2015-12-15 10:11:09 -05:00
Rob Rix	ece14e5b8d	Set the number cell text colour.	2015-12-15 10:02:30 -05:00
Rob Rix	dc38ea3d03	Increase the line height.	2015-12-15 10:02:18 -05:00
Rob Rix	99366432d8	We don’t need to specify this width.	2015-12-15 10:02:02 -05:00
Rob Rix	7887c89710	No default padding for cells.	2015-12-15 10:00:47 -05:00
Rob Rix	dc0d53e861	Number cell borders.	2015-12-15 10:00:07 -05:00
Rob Rix	170008f605	Don’t select line numbers.	2015-12-15 09:59:58 -05:00
Rob Rix	bc8eb0bf99	Pad the number cells a bit.	2015-12-15 09:59:51 -05:00
Rob Rix	68833bcd39	Use the right font for the numbers.	2015-12-15 09:58:22 -05:00
Rob Rix	5cbcdd2902	We no longer insert this ul.	2015-12-15 09:57:05 -05:00
Rob Rix	43d8634dcb	Give empty cells a background colour.	2015-12-15 09:56:02 -05:00
Rob Rix	803a1eb2f2	Add a border to the right number cells.	2015-12-15 09:55:44 -05:00
Rob Rix	23e0790c53	Align to the top in case of soft wrapping.	2015-12-14 10:38:29 -05:00
Rob Rix	4ca9820856	Align the line numbers to the right.	2015-12-14 10:37:57 -05:00
joshvera	bb35606186	Remove column group stuff	2015-12-10 23:43:19 -05:00
joshvera	cb03807771	Just set the width to 40px	2015-12-10 23:40:12 -05:00
joshvera	d42e88f18f	Add some styles	2015-12-10 18:20:29 -05:00
Rob Rix	3e8517a2a3	Full width tables.	2015-12-10 14:50:08 -05:00
Rob Rix	aa64cc7c4a	Ignore the diff.html file we keep writing here.	2015-12-07 16:35:01 -05:00
Rob Rix	3904b6e697	Revert "Apply insert/delete/replace classes to td" ... This reverts commit ed32d57a03373d371e381d47a6433b515d15921a.	2015-12-07 16:31:06 -05:00
Rob Rix	8cefd14562	Blank lines should occupy a full line of height.	2015-12-07 16:16:09 -05:00
joshvera	50d3627608	Apply insert/delete/replace classes to td	2015-12-07 16:00:02 -05:00
Rob Rix	e1317b6b82	Consistent column widths.	2015-12-07 14:35:57 -05:00
Rob Rix	2e328b4b31	Pin the submodules back to master.	2015-12-07 11:22:57 -05:00
joshvera	099d92cc08	++tree-sitter-c	2015-12-07 10:03:22 -05:00
joshvera	d62fc28b57	++tree-sitter	2015-12-04 18:51:58 -05:00
joshvera	bcd1621260	++tree-sitter	2015-12-04 16:42:17 -05:00
joshvera	9b52d83907	Revert "Revert tree-sitter submodule pins" ... This reverts commit bcb276b5e6a1ccf7d0a0077cf9f534db2620503b.	2015-12-04 16:37:23 -05:00
joshvera	f74cdfe273	Revert tree-sitter submodule pins	2015-12-04 16:21:39 -05:00
joshvera	5ba94cb2b5	++tree-sitter-c	2015-12-03 17:43:31 -05:00
joshvera	dbec2b2cae	++tree-sitter-javascript for libtree-sitter-js.a bump	2015-12-03 17:34:51 -05:00
joshvera	2f291a7411	++tree-sitter for maxbrunsfeld/tree-sitter#11	2015-12-03 17:31:08 -05:00
joshvera	268e89b018	++tree-sitter-javascript	2015-12-03 15:32:34 -05:00
joshvera	d443f6f520	++tree-sitter	2015-12-02 17:59:27 -05:00
joshvera	8daeddfae9	++tree-sitter	2015-12-02 17:56:03 -05:00
joshvera	8c1178a54b	++tree-sitter	2015-12-02 17:42:41 -05:00
joshvera	33e0b5ac01	++tree-sitter	2015-12-02 14:30:07 -05:00
Rob Rix	12848187b8	Bump tree-sitter.	2015-12-01 14:55:14 -05:00
Rob Rix	38a52edeb2	Bump tree-sitter to HEAD. I guess.	2015-11-25 18:33:06 -05:00
Rob Rix	5a5fe6796d	Bump tree-sitter to include the .a.	2015-11-24 17:14:24 -05:00
Rob Rix	23f050ab81	Correct a test.	2015-11-12 18:12:04 -05:00
Rob Rix	aed17adfed	Remove the unflattened implementation.	2015-11-12 18:01:23 -05:00
Rob Rix	561045ced4	Flatten out equality over Cofree.	2015-11-12 18:01:12 -05:00
Rob Rix	e7b1f59658	Switch through the term directly.	2015-11-12 17:46:18 -05:00
Rob Rix	4d3c335146	Use a single cost function for both diffs.	2015-11-12 17:44:52 -05:00
Rob Rix	822ce7ccc5	Add a Cofree.size function. ... This should avoid the protocol indirection around `TermType`.	2015-11-12 17:44:35 -05:00
Rob Rix	8cf0ef097c	Patch.sum/difference are not allowed to throw.	2015-11-12 17:43:32 -05:00
Rob Rix	3f81b9d8b9	Inline size computations on Patch.	2015-11-12 17:35:34 -05:00
Rob Rix	7da058ca55	Manually fuse TermType.size.	2015-11-12 17:27:07 -05:00
Rob Rix	ab615dc84e	Manually fuse the map and catamorphism in Free.sum.	2015-11-12 17:09:19 -05:00