9 commits

Author	SHA1	Message	Date
Jesse van den Kieboom	c415a0982c	Render gutter separators externally to fill all expanded area	2015-12-21 11:08:05 +01:00
Ignacio Casal Quinteiro	29df9f6a15	Show hunk on the gutter using dots	2015-12-21 08:48:52 +01:00
Ignacio Casal Quinteiro	59c2de3044	lines-renderer: use a list instead of a map ... The map was actually useless here since were were iterating either the values or the keys	2015-12-20 12:25:28 +01:00
Ignacio Casal Quinteiro	0734a48c35	Fix lines renderer ranges	2015-12-19 13:13:47 +01:00
Ignacio Casal Quinteiro	d59b6b70e0	diff-view-lines-renderer: fix size calculation	2015-12-19 12:28:19 +01:00
Ignacio Casal Quinteiro	7cfd5a21e8	Have one single source view for all the hunks	2015-12-19 11:29:45 +01:00
Jesse van den Kieboom	91c0854c54	Use same gutter width for lines in all hunks	2015-09-23 08:57:15 +02:00
Jesse van den Kieboom	5dc978d595	Small fixes to styling	2015-09-23 08:57:15 +02:00
Jesse van den Kieboom	bd2e369b88	First step in replacing webkit with standard gtk+	2015-09-23 08:57:15 +02:00