Track recompiles.

This commit is contained in:
Paulo Reis
2016-07-05 16:02:46 +01:00
parent 96f6603bd3
commit d5efe81a46
3 changed files with 16 additions and 4 deletions
@@ -35,7 +35,7 @@ div.full-size(
resize-on="layout:main:resize,layout:pdf:resize",
annotations="pdf.logEntryAnnotations[editor.open_doc_id]",
read-only="!permissions.write",
on-ctrl-enter="recompile"
on-ctrl-enter="recompileViaKey"
)
.ui-layout-east