11 commits

Author	SHA1	Message	Date
James Allen	39e4f46bdb	Style search and replace box	2014-07-10 17:27:19 +01:00
James Allen	e102e65325	Set autocomplete menu to editor font size	2014-07-10 15:52:36 +01:00
James Allen	aaebb0902d	Fix synctex controls with new Ace	2014-07-10 14:36:04 +01:00
James Allen	9e4653d83c	Try to clean up to avoid memory leaks	2014-07-09 20:49:10 +01:00
James Allen	f2b8a5971f	Don't do a scope.apply on every change	2014-07-09 20:32:03 +01:00
James Allen	16e382bef2	Update Ace and fix autocomplete	2014-07-09 17:59:04 +01:00
James Allen	c93902345a	Remove all console.log debug statements	2014-07-09 16:18:09 +01:00
James Allen	51d0026b74	More performance tweaks	2014-07-09 16:07:42 +01:00
James Allen	b0f43eab19	Use events for updating cursor = big performance gain	2014-07-09 15:38:38 +01:00
James Allen	8067432e09	Fix include paths	2014-07-08 13:29:09 +01:00
James Allen	8ed03694c3	Add missing files	2014-07-08 12:02:26 +01:00