5 commits

Author	SHA1	Message	Date
James Allen	5814d93f5e	Order entries in the overview panel based on their place in the document	2016-11-18 16:30:41 +00:00
Paulo Reis	6153bd3022	Wrap add comment entries in a directive	2016-11-16 15:47:05 +00:00
Paulo Reis	9ffb05cd98	Wrap insert and delete entries in a directive	2016-11-16 14:56:34 +00:00
James Allen	8f9a4882c8	Don't let widgets in review panel overlap	2016-10-20 15:04:10 +01:00
James Allen	fc782581ea	Change review panel to feel like part of ace	2016-10-12 17:27:20 +01:00