James Allen
|
8f08823d34
|
Sort out fingerprints and pdf.js worker path
|
2014-07-16 11:28:52 +01:00 |
|
James Allen
|
eb818be2df
|
Use Ace in no-conflict mode
|
2014-07-16 11:07:18 +01:00 |
|
James Allen
|
76415ae02b
|
Show labels for tracked changes above and below
|
2014-07-11 16:17:59 +01:00 |
|
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 |
|