2014-07-08 07:02:26 -04:00
|
|
|
define [
|
|
|
|
"base"
|
2016-06-14 12:02:22 -04:00
|
|
|
"ace/ace"
|
2016-06-16 06:14:45 -04:00
|
|
|
"ide/human-readable-logs/HumanReadableLogs"
|
2016-03-08 11:18:02 -05:00
|
|
|
"libs/bib-log-parser"
|
2016-06-16 06:14:45 -04:00
|
|
|
], (App, Ace, HumanReadableLogs, BibLogParser) ->
|
2015-02-12 06:32:27 -05:00
|
|
|
App.controller "PdfController", ($scope, $http, ide, $modal, synctex, event_tracking, localStorage) ->
|
2016-03-22 06:24:58 -04:00
|
|
|
|
2016-06-28 03:40:30 -04:00
|
|
|
# enable per-user containers by default
|
|
|
|
perUserCompile = true
|
2014-07-08 07:02:26 -04:00
|
|
|
autoCompile = true
|
2016-03-22 10:38:48 -04:00
|
|
|
|
|
|
|
# pdf.view = uncompiled | pdf | errors
|
|
|
|
$scope.pdf.view = if $scope?.pdf?.url then 'pdf' else 'uncompiled'
|
2016-03-22 06:24:58 -04:00
|
|
|
$scope.shouldShowLogs = false
|
2016-06-27 06:34:24 -04:00
|
|
|
$scope.wikiEnabled = window.wikiEnabled;
|
2016-03-22 05:39:33 -04:00
|
|
|
|
2016-06-14 12:02:22 -04:00
|
|
|
if ace.require("ace/lib/useragent").isMac
|
|
|
|
$scope.modifierKey = "Cmd"
|
|
|
|
else
|
|
|
|
$scope.modifierKey = "Ctrl"
|
|
|
|
|
2016-06-16 09:03:42 -04:00
|
|
|
# utility for making a query string from a hash, could use jquery $.param
|
|
|
|
createQueryString = (args) ->
|
|
|
|
qs_args = ("#{k}=#{v}" for k, v of args)
|
|
|
|
if qs_args.length then "?" + qs_args.join("&") else ""
|
|
|
|
|
2016-06-27 06:34:24 -04:00
|
|
|
$scope.stripHTMLFromString = (htmlStr) ->
|
|
|
|
tmp = document.createElement("DIV")
|
|
|
|
tmp.innerHTML = htmlStr
|
|
|
|
return tmp.textContent || tmp.innerText || ""
|
|
|
|
|
2014-07-22 08:38:34 -04:00
|
|
|
$scope.$on "project:joined", () ->
|
2014-07-08 07:02:26 -04:00
|
|
|
return if !autoCompile
|
|
|
|
autoCompile = false
|
|
|
|
$scope.recompile(isAutoCompile: true)
|
2014-10-20 07:21:40 -04:00
|
|
|
$scope.hasPremiumCompile = $scope.project.features.compileGroup == "priority"
|
2014-07-08 07:02:26 -04:00
|
|
|
|
2015-01-12 11:46:17 -05:00
|
|
|
$scope.$on "pdf:error:display", () ->
|
2016-03-22 05:39:33 -04:00
|
|
|
$scope.pdf.view = 'errors'
|
2016-03-21 09:20:03 -04:00
|
|
|
$scope.pdf.renderingError = true
|
2016-03-08 08:20:23 -05:00
|
|
|
|
2016-02-02 09:50:48 -05:00
|
|
|
$scope.draft = localStorage("draft:#{$scope.project_id}") or false
|
|
|
|
$scope.$watch "draft", (new_value, old_value) ->
|
|
|
|
if new_value? and old_value != new_value
|
|
|
|
localStorage("draft:#{$scope.project_id}", new_value)
|
2015-01-12 11:46:17 -05:00
|
|
|
|
2014-07-08 07:02:26 -04:00
|
|
|
sendCompileRequest = (options = {}) ->
|
|
|
|
url = "/project/#{$scope.project_id}/compile"
|
2016-05-31 11:20:46 -04:00
|
|
|
params = {}
|
2014-07-08 07:02:26 -04:00
|
|
|
if options.isAutoCompile
|
2016-05-31 11:20:46 -04:00
|
|
|
params["auto_compile"]=true
|
|
|
|
if perUserCompile # send ?isolated=true for per-user compiles
|
|
|
|
params["isolated"] = true
|
2014-07-08 07:02:26 -04:00
|
|
|
return $http.post url, {
|
2014-11-28 09:26:21 -05:00
|
|
|
rootDoc_id: options.rootDocOverride_id or null
|
2016-02-02 09:50:48 -05:00
|
|
|
draft: $scope.draft
|
2014-07-08 07:02:26 -04:00
|
|
|
_csrf: window.csrfToken
|
2016-05-31 11:20:46 -04:00
|
|
|
}, {params: params}
|
2014-07-08 07:02:26 -04:00
|
|
|
|
2016-05-19 08:28:20 -04:00
|
|
|
parseCompileResponse = (response) ->
|
2016-05-18 07:50:50 -04:00
|
|
|
|
2014-07-08 07:02:26 -04:00
|
|
|
# Reset everything
|
|
|
|
$scope.pdf.error = false
|
|
|
|
$scope.pdf.timedout = false
|
|
|
|
$scope.pdf.failure = false
|
|
|
|
$scope.pdf.url = null
|
2016-03-21 11:00:25 -04:00
|
|
|
$scope.pdf.clsiMaintenance = false
|
2016-03-21 11:16:17 -04:00
|
|
|
$scope.pdf.tooRecentlyCompiled = false
|
2016-04-25 07:42:03 -04:00
|
|
|
$scope.pdf.renderingError = false
|
2016-06-02 08:09:11 -04:00
|
|
|
$scope.pdf.projectTooLarge = false
|
2014-07-08 07:02:26 -04:00
|
|
|
|
2016-05-24 10:10:55 -04:00
|
|
|
# make a cache to look up files by name
|
|
|
|
fileByPath = {}
|
2016-06-06 09:56:34 -04:00
|
|
|
if response?.outputFiles?
|
|
|
|
for file in response?.outputFiles
|
|
|
|
fileByPath[file.path] = file
|
2016-05-24 10:10:55 -04:00
|
|
|
|
2014-07-08 07:02:26 -04:00
|
|
|
if response.status == "timedout"
|
2016-03-22 05:39:33 -04:00
|
|
|
$scope.pdf.view = 'errors'
|
2014-07-08 07:02:26 -04:00
|
|
|
$scope.pdf.timedout = true
|
|
|
|
else if response.status == "autocompile-backoff"
|
2016-05-12 06:02:24 -04:00
|
|
|
$scope.pdf.view = 'uncompiled'
|
2014-11-27 10:42:37 -05:00
|
|
|
else if response.status == "project-too-large"
|
2016-03-22 05:39:33 -04:00
|
|
|
$scope.pdf.view = 'errors'
|
2014-11-27 10:42:37 -05:00
|
|
|
$scope.pdf.projectTooLarge = true
|
2014-07-08 07:02:26 -04:00
|
|
|
else if response.status == "failure"
|
2016-03-22 05:39:33 -04:00
|
|
|
$scope.pdf.view = 'errors'
|
2014-07-08 07:02:26 -04:00
|
|
|
$scope.pdf.failure = true
|
2016-03-22 12:59:40 -04:00
|
|
|
$scope.shouldShowLogs = true
|
2016-05-24 10:10:55 -04:00
|
|
|
fetchLogs(fileByPath['output.log'], fileByPath['output.blg'])
|
2016-03-21 11:00:25 -04:00
|
|
|
else if response.status == 'clsi-maintenance'
|
2016-03-22 05:39:33 -04:00
|
|
|
$scope.pdf.view = 'errors'
|
2016-03-21 11:00:25 -04:00
|
|
|
$scope.pdf.clsiMaintenance = true
|
2016-03-21 11:16:17 -04:00
|
|
|
else if response.status == "too-recently-compiled"
|
2016-03-22 05:39:33 -04:00
|
|
|
$scope.pdf.view = 'errors'
|
2016-03-21 11:16:17 -04:00
|
|
|
$scope.pdf.tooRecentlyCompiled = true
|
2016-06-02 08:09:11 -04:00
|
|
|
else if response.status == "validation-problems"
|
|
|
|
$scope.pdf.view = "validation-problems"
|
|
|
|
$scope.pdf.validation = response.validationProblems
|
2016-03-22 06:32:44 -04:00
|
|
|
else if response.status == "success"
|
2016-03-22 05:39:33 -04:00
|
|
|
$scope.pdf.view = 'pdf'
|
2016-03-22 06:32:55 -04:00
|
|
|
$scope.shouldShowLogs = false
|
2016-05-19 08:28:20 -04:00
|
|
|
|
2016-05-13 06:45:09 -04:00
|
|
|
# prepare query string
|
|
|
|
qs = {}
|
|
|
|
# define the base url. if the pdf file has a build number, pass it to the clsi in the url
|
2016-05-20 05:09:42 -04:00
|
|
|
if fileByPath['output.pdf']?.url?
|
|
|
|
$scope.pdf.url = fileByPath['output.pdf'].url
|
|
|
|
else if fileByPath['output.pdf']?.build?
|
2015-02-25 12:06:27 -05:00
|
|
|
build = fileByPath['output.pdf'].build
|
2016-05-13 06:45:09 -04:00
|
|
|
$scope.pdf.url = "/project/#{$scope.project_id}/build/#{build}/output/output.pdf"
|
|
|
|
else
|
|
|
|
$scope.pdf.url = "/project/#{$scope.project_id}/output/output.pdf"
|
2016-05-20 05:09:42 -04:00
|
|
|
# check if we need to bust cache (build id is unique so don't need it in that case)
|
|
|
|
if not fileByPath['output.pdf']?.build?
|
2016-05-19 11:23:56 -04:00
|
|
|
qs.cache_bust = "#{Date.now()}"
|
2016-05-13 06:45:09 -04:00
|
|
|
# add a query string parameter for the compile group
|
|
|
|
if response.compileGroup?
|
|
|
|
$scope.pdf.compileGroup = response.compileGroup
|
|
|
|
qs.compileGroup = "#{$scope.pdf.compileGroup}"
|
2016-05-19 08:28:20 -04:00
|
|
|
if response.clsiServerId?
|
|
|
|
qs.clsiserverid = response.clsiServerId
|
|
|
|
ide.clsiServerId = response.clsiServerId
|
2016-05-13 06:45:09 -04:00
|
|
|
# convert the qs hash into a query string and append it
|
2016-06-16 09:05:21 -04:00
|
|
|
$scope.pdf.qs = createQueryString qs
|
2016-05-13 06:45:09 -04:00
|
|
|
$scope.pdf.url += $scope.pdf.qs
|
2016-06-16 09:05:21 -04:00
|
|
|
# special case for the download url
|
|
|
|
if perUserCompile
|
|
|
|
qs.isolated = true
|
2016-06-16 10:20:57 -04:00
|
|
|
# Save all downloads as files
|
|
|
|
qs.popupDownload = true
|
2016-06-16 09:05:21 -04:00
|
|
|
$scope.pdf.downloadUrl = "/project/#{$scope.project_id}/output/output.pdf" + createQueryString(qs)
|
2015-02-25 12:06:27 -05:00
|
|
|
|
2016-05-18 11:17:38 -04:00
|
|
|
fetchLogs(fileByPath['output.log'], fileByPath['output.blg'])
|
2014-07-08 07:02:26 -04:00
|
|
|
|
|
|
|
IGNORE_FILES = ["output.fls", "output.fdb_latexmk"]
|
|
|
|
$scope.pdf.outputFiles = []
|
2015-02-23 12:43:22 -05:00
|
|
|
|
|
|
|
if !response.outputFiles?
|
|
|
|
return
|
2014-07-08 07:02:26 -04:00
|
|
|
for file in response.outputFiles
|
|
|
|
if IGNORE_FILES.indexOf(file.path) == -1
|
|
|
|
# Turn 'output.blg' into 'blg file'.
|
|
|
|
if file.path.match(/^output\./)
|
|
|
|
file.name = "#{file.path.replace(/^output\./, "")} file"
|
|
|
|
else
|
|
|
|
file.name = file.path
|
2016-06-16 09:05:21 -04:00
|
|
|
qs = {}
|
|
|
|
if perUserCompile
|
|
|
|
qs.isolated = true
|
2016-05-18 07:50:50 -04:00
|
|
|
if response.clsiServerId?
|
2016-06-16 09:05:21 -04:00
|
|
|
qs.clsiserverid = response.clsiServerId
|
|
|
|
file.url = "/project/#{project_id}/output/#{file.path}" + createQueryString qs
|
2014-07-08 07:02:26 -04:00
|
|
|
$scope.pdf.outputFiles.push file
|
|
|
|
|
2016-05-19 11:26:54 -04:00
|
|
|
|
2016-05-18 11:17:38 -04:00
|
|
|
fetchLogs = (logFile, blgFile) ->
|
|
|
|
|
|
|
|
getFile = (name, file) ->
|
2016-05-19 11:26:54 -04:00
|
|
|
opts =
|
|
|
|
method:"GET"
|
|
|
|
params:
|
|
|
|
clsiserverid:ide.clsiServerId
|
2016-06-25 08:56:45 -04:00
|
|
|
if file?.url? # FIXME clean this up when we have file.urls out consistently
|
2016-05-20 07:28:06 -04:00
|
|
|
opts.url = file.url
|
2016-05-20 05:09:42 -04:00
|
|
|
else if file?.build?
|
2016-05-19 11:26:54 -04:00
|
|
|
opts.url = "/project/#{$scope.project_id}/build/#{file.build}/output/#{name}"
|
2016-05-18 11:17:38 -04:00
|
|
|
else
|
2016-05-19 11:26:54 -04:00
|
|
|
opts.url = "/project/#{$scope.project_id}/output/#{name}"
|
|
|
|
return $http(opts)
|
2016-05-18 11:17:38 -04:00
|
|
|
|
|
|
|
# accumulate the log entries
|
|
|
|
logEntries =
|
|
|
|
all: []
|
|
|
|
errors: []
|
|
|
|
warnings: []
|
|
|
|
|
|
|
|
accumulateResults = (newEntries) ->
|
|
|
|
for key in ['all', 'errors', 'warnings']
|
|
|
|
logEntries[key] = logEntries[key].concat newEntries[key]
|
2016-06-27 06:34:24 -04:00
|
|
|
|
2016-05-18 11:17:38 -04:00
|
|
|
# use the parsers for each file type
|
|
|
|
processLog = (log) ->
|
|
|
|
$scope.pdf.rawLog = log
|
2016-06-16 06:14:45 -04:00
|
|
|
{errors, warnings, typesetting} = HumanReadableLogs.parse(log, ignoreDuplicates: true)
|
2016-05-18 11:17:38 -04:00
|
|
|
all = [].concat errors, warnings, typesetting
|
|
|
|
accumulateResults {all, errors, warnings}
|
|
|
|
|
|
|
|
processBiber = (log) ->
|
|
|
|
{errors, warnings} = BibLogParser.parse(log, {})
|
|
|
|
all = [].concat errors, warnings
|
|
|
|
accumulateResults {all, errors, warnings}
|
|
|
|
|
|
|
|
# output the results
|
|
|
|
handleError = () ->
|
|
|
|
$scope.pdf.logEntries = []
|
|
|
|
$scope.pdf.rawLog = ""
|
|
|
|
|
|
|
|
annotateFiles = () ->
|
|
|
|
$scope.pdf.logEntries = logEntries
|
|
|
|
$scope.pdf.logEntryAnnotations = {}
|
|
|
|
for entry in logEntries.all
|
|
|
|
if entry.file?
|
|
|
|
entry.file = normalizeFilePath(entry.file)
|
|
|
|
entity = ide.fileTreeManager.findEntityByPath(entry.file)
|
|
|
|
if entity?
|
|
|
|
$scope.pdf.logEntryAnnotations[entity.id] ||= []
|
|
|
|
$scope.pdf.logEntryAnnotations[entity.id].push {
|
|
|
|
row: entry.line - 1
|
|
|
|
type: if entry.level == "error" then "error" else "warning"
|
|
|
|
text: entry.message
|
|
|
|
}
|
|
|
|
|
|
|
|
# retrieve the logfile and process it
|
|
|
|
response = getFile('output.log', logFile)
|
|
|
|
.success processLog
|
|
|
|
.error handleError
|
|
|
|
|
|
|
|
if blgFile? # retrieve the blg file if present
|
|
|
|
response.success () ->
|
|
|
|
getFile('output.blg', blgFile)
|
|
|
|
# ignore errors in biber file
|
|
|
|
.success processBiber
|
|
|
|
# display the combined result
|
|
|
|
.then annotateFiles
|
|
|
|
else # otherwise just display the result
|
|
|
|
response.success annotateFiles
|
2014-07-08 07:02:26 -04:00
|
|
|
|
|
|
|
getRootDocOverride_id = () ->
|
|
|
|
doc = ide.editorManager.getCurrentDocValue()
|
|
|
|
return null if !doc?
|
|
|
|
for line in doc.split("\n")
|
2016-02-03 05:18:34 -05:00
|
|
|
match = line.match /^[^%]*\\documentclass/
|
|
|
|
if match
|
2014-07-08 07:02:26 -04:00
|
|
|
return ide.editorManager.getCurrentDocId()
|
|
|
|
return null
|
|
|
|
|
|
|
|
normalizeFilePath = (path) ->
|
2016-06-28 12:19:02 -04:00
|
|
|
path = path.replace(/^(.*)\/compiles\/[0-9a-f]{24}-[0-9a-f]{24}\/(\.\/)?/, "")
|
2014-07-08 07:02:26 -04:00
|
|
|
path = path.replace(/^\/compile\//, "")
|
|
|
|
|
|
|
|
rootDocDirname = ide.fileTreeManager.getRootDocDirname()
|
|
|
|
if rootDocDirname?
|
|
|
|
path = path.replace(/^\.\//, rootDocDirname + "/")
|
|
|
|
|
|
|
|
return path
|
|
|
|
|
|
|
|
$scope.recompile = (options = {}) ->
|
|
|
|
return if $scope.pdf.compiling
|
|
|
|
$scope.pdf.compiling = true
|
2016-03-08 08:20:23 -05:00
|
|
|
|
2015-04-17 06:22:26 -04:00
|
|
|
ide.$scope.$broadcast("flush-changes")
|
|
|
|
|
2014-07-08 07:02:26 -04:00
|
|
|
options.rootDocOverride_id = getRootDocOverride_id()
|
|
|
|
|
|
|
|
sendCompileRequest(options)
|
|
|
|
.success (data) ->
|
|
|
|
$scope.pdf.view = "pdf"
|
|
|
|
$scope.pdf.compiling = false
|
|
|
|
parseCompileResponse(data)
|
|
|
|
.error () ->
|
|
|
|
$scope.pdf.compiling = false
|
2016-04-25 07:42:03 -04:00
|
|
|
$scope.pdf.renderingError = false
|
2014-07-08 07:02:26 -04:00
|
|
|
$scope.pdf.error = true
|
2016-03-22 11:51:05 -04:00
|
|
|
$scope.pdf.view = 'errors'
|
2016-03-08 08:20:23 -05:00
|
|
|
|
2014-07-21 10:39:15 -04:00
|
|
|
# This needs to be public.
|
|
|
|
ide.$scope.recompile = $scope.recompile
|
2014-07-08 07:02:26 -04:00
|
|
|
|
|
|
|
$scope.clearCache = () ->
|
|
|
|
$http {
|
|
|
|
url: "/project/#{$scope.project_id}/output"
|
|
|
|
method: "DELETE"
|
2016-05-18 07:50:50 -04:00
|
|
|
params:
|
|
|
|
clsiserverid:ide.clsiServerId
|
2016-05-31 11:20:46 -04:00
|
|
|
isolated: perUserCompile
|
2014-07-08 07:02:26 -04:00
|
|
|
headers:
|
|
|
|
"X-Csrf-Token": window.csrfToken
|
|
|
|
}
|
|
|
|
|
|
|
|
$scope.toggleLogs = () ->
|
2016-03-22 05:39:33 -04:00
|
|
|
$scope.shouldShowLogs = !$scope.shouldShowLogs
|
2014-07-08 07:02:26 -04:00
|
|
|
|
|
|
|
$scope.showPdf = () ->
|
|
|
|
$scope.pdf.view = "pdf"
|
2016-03-22 05:39:33 -04:00
|
|
|
$scope.shouldShowLogs = false
|
2014-07-08 07:02:26 -04:00
|
|
|
|
|
|
|
$scope.toggleRawLog = () ->
|
|
|
|
$scope.pdf.showRawLog = !$scope.pdf.showRawLog
|
|
|
|
|
|
|
|
$scope.openClearCacheModal = () ->
|
|
|
|
modalInstance = $modal.open(
|
|
|
|
templateUrl: "clearCacheModalTemplate"
|
|
|
|
controller: "ClearCacheModalController"
|
|
|
|
scope: $scope
|
|
|
|
)
|
|
|
|
|
|
|
|
$scope.syncToCode = (position) ->
|
|
|
|
synctex
|
|
|
|
.syncToCode(position)
|
|
|
|
.then (data) ->
|
|
|
|
{doc, line} = data
|
|
|
|
ide.editorManager.openDoc(doc, gotoLine: line)
|
2016-03-08 08:20:23 -05:00
|
|
|
|
2014-07-22 08:33:01 -04:00
|
|
|
$scope.switchToFlatLayout = () ->
|
|
|
|
$scope.ui.pdfLayout = 'flat'
|
|
|
|
$scope.ui.view = 'pdf'
|
2015-02-12 06:32:27 -05:00
|
|
|
ide.localStorage "pdf.layout", "flat"
|
2016-03-08 08:20:23 -05:00
|
|
|
|
2014-07-22 08:33:01 -04:00
|
|
|
$scope.switchToSideBySideLayout = () ->
|
|
|
|
$scope.ui.pdfLayout = 'sideBySide'
|
|
|
|
$scope.ui.view = 'editor'
|
2015-02-12 06:32:27 -05:00
|
|
|
localStorage "pdf.layout", "split"
|
2016-03-08 08:20:23 -05:00
|
|
|
|
2015-02-12 06:32:27 -05:00
|
|
|
if pdfLayout = localStorage("pdf.layout")
|
2014-07-22 08:33:01 -04:00
|
|
|
$scope.switchToSideBySideLayout() if pdfLayout == "split"
|
|
|
|
$scope.switchToFlatLayout() if pdfLayout == "flat"
|
|
|
|
else
|
|
|
|
$scope.switchToSideBySideLayout()
|
2014-07-08 07:02:26 -04:00
|
|
|
|
2015-10-15 06:38:01 -04:00
|
|
|
$scope.startFreeTrial = (source) ->
|
|
|
|
ga?('send', 'event', 'subscription-funnel', 'compile-timeout', source)
|
|
|
|
window.open("/user/subscription/new?planCode=student_free_trial_7_days")
|
|
|
|
$scope.startedFreeTrial = true
|
|
|
|
|
2014-07-08 07:02:26 -04:00
|
|
|
App.factory "synctex", ["ide", "$http", "$q", (ide, $http, $q) ->
|
2016-06-28 03:40:30 -04:00
|
|
|
# enable per-user containers by default
|
|
|
|
perUserCompile = true
|
2016-06-14 03:40:15 -04:00
|
|
|
|
2014-07-08 07:02:26 -04:00
|
|
|
synctex =
|
|
|
|
syncToPdf: (cursorPosition) ->
|
|
|
|
deferred = $q.defer()
|
|
|
|
|
|
|
|
doc_id = ide.editorManager.getCurrentDocId()
|
|
|
|
if !doc_id?
|
|
|
|
deferred.reject()
|
|
|
|
return deferred.promise
|
|
|
|
doc = ide.fileTreeManager.findEntityById(doc_id)
|
|
|
|
if !doc?
|
|
|
|
deferred.reject()
|
|
|
|
return deferred.promise
|
|
|
|
path = ide.fileTreeManager.getEntityPath(doc)
|
|
|
|
if !path?
|
|
|
|
deferred.reject()
|
|
|
|
return deferred.promise
|
2016-03-08 08:20:23 -05:00
|
|
|
|
2014-07-08 07:02:26 -04:00
|
|
|
# If the root file is folder/main.tex, then synctex sees the
|
|
|
|
# path as folder/./main.tex
|
|
|
|
rootDocDirname = ide.fileTreeManager.getRootDocDirname()
|
|
|
|
if rootDocDirname? and rootDocDirname != ""
|
|
|
|
path = path.replace(RegExp("^#{rootDocDirname}"), "#{rootDocDirname}/.")
|
|
|
|
|
|
|
|
{row, column} = cursorPosition
|
|
|
|
|
|
|
|
$http({
|
2016-03-08 08:20:23 -05:00
|
|
|
url: "/project/#{ide.project_id}/sync/code",
|
2014-07-08 07:02:26 -04:00
|
|
|
method: "GET",
|
|
|
|
params: {
|
|
|
|
file: path
|
|
|
|
line: row + 1
|
|
|
|
column: column
|
2016-05-18 07:50:50 -04:00
|
|
|
clsiserverid:ide.clsiServerId
|
2016-05-31 11:20:46 -04:00
|
|
|
isolated: perUserCompile
|
2014-07-08 07:02:26 -04:00
|
|
|
}
|
|
|
|
})
|
|
|
|
.success (data) ->
|
|
|
|
deferred.resolve(data.pdf or [])
|
|
|
|
.error (error) ->
|
|
|
|
deferred.reject(error)
|
|
|
|
|
|
|
|
return deferred.promise
|
|
|
|
|
|
|
|
syncToCode: (position, options = {}) ->
|
|
|
|
deferred = $q.defer()
|
|
|
|
if !position?
|
|
|
|
deferred.reject()
|
|
|
|
return deferred.promise
|
|
|
|
|
2016-06-14 07:32:54 -04:00
|
|
|
# FIXME: this actually works better if it's halfway across the
|
|
|
|
# page (or the visible part of the page). Synctex doesn't
|
|
|
|
# always find the right place in the file when the point is at
|
|
|
|
# the edge of the page, it sometimes returns the start of the
|
|
|
|
# next paragraph instead.
|
|
|
|
h = position.offset.left
|
|
|
|
|
|
|
|
# Compute the vertical position to pass to synctex, which
|
|
|
|
# works with coordinates increasing from the top of the page
|
|
|
|
# down. This matches the browser's DOM coordinate of the
|
|
|
|
# click point, but the pdf position is measured from the
|
|
|
|
# bottom of the page so we need to invert it.
|
|
|
|
if options.fromPdfPosition and position.pageSize?.height?
|
|
|
|
v = (position.pageSize.height - position.offset.top) or 0 # measure from pdf point (inverted)
|
|
|
|
else
|
|
|
|
v = position.offset.top or 0 # measure from html click position
|
|
|
|
|
2014-07-08 07:02:26 -04:00
|
|
|
# It's not clear exactly where we should sync to if it wasn't directly
|
|
|
|
# clicked on, but a little bit down from the very top seems best.
|
|
|
|
if options.includeVisualOffset
|
2016-06-14 07:32:54 -04:00
|
|
|
v += 72 # use the same value as in pdfViewer highlighting visual offset
|
2014-07-08 07:02:26 -04:00
|
|
|
|
|
|
|
$http({
|
2016-03-08 08:20:23 -05:00
|
|
|
url: "/project/#{ide.project_id}/sync/pdf",
|
2014-07-08 07:02:26 -04:00
|
|
|
method: "GET",
|
|
|
|
params: {
|
|
|
|
page: position.page + 1
|
2016-06-14 07:32:54 -04:00
|
|
|
h: h.toFixed(2)
|
|
|
|
v: v.toFixed(2)
|
2016-05-18 07:50:50 -04:00
|
|
|
clsiserverid:ide.clsiServerId
|
2016-05-31 11:20:46 -04:00
|
|
|
isolated: perUserCompile
|
2014-07-08 07:02:26 -04:00
|
|
|
}
|
|
|
|
})
|
|
|
|
.success (data) ->
|
|
|
|
if data.code? and data.code.length > 0
|
|
|
|
doc = ide.fileTreeManager.findEntityByPath(data.code[0].file)
|
|
|
|
return if !doc?
|
|
|
|
deferred.resolve({doc: doc, line: data.code[0].line})
|
|
|
|
.error (error) ->
|
|
|
|
deferred.reject(error)
|
|
|
|
|
|
|
|
return deferred.promise
|
|
|
|
|
|
|
|
return synctex
|
|
|
|
]
|
|
|
|
|
|
|
|
App.controller "PdfSynctexController", ["$scope", "synctex", "ide", ($scope, synctex, ide) ->
|
2014-07-10 09:36:04 -04:00
|
|
|
@cursorPosition = null
|
|
|
|
ide.$scope.$on "cursor:editor:update", (event, @cursorPosition) =>
|
|
|
|
|
|
|
|
$scope.syncToPdf = () =>
|
|
|
|
return if !@cursorPosition?
|
2014-07-08 07:02:26 -04:00
|
|
|
synctex
|
2014-07-10 09:36:04 -04:00
|
|
|
.syncToPdf(@cursorPosition)
|
2014-07-08 07:02:26 -04:00
|
|
|
.then (highlights) ->
|
|
|
|
$scope.pdf.highlights = highlights
|
|
|
|
|
|
|
|
$scope.syncToCode = () ->
|
|
|
|
synctex
|
2016-06-14 07:32:54 -04:00
|
|
|
.syncToCode($scope.pdf.position, includeVisualOffset: true, fromPdfPosition: true)
|
2014-07-08 07:02:26 -04:00
|
|
|
.then (data) ->
|
|
|
|
{doc, line} = data
|
|
|
|
ide.editorManager.openDoc(doc, gotoLine: line)
|
|
|
|
]
|
|
|
|
|
|
|
|
App.controller "PdfLogEntryController", ["$scope", "ide", ($scope, ide) ->
|
|
|
|
$scope.openInEditor = (entry) ->
|
|
|
|
entity = ide.fileTreeManager.findEntityByPath(entry.file)
|
|
|
|
return if !entity? or entity.type != "doc"
|
|
|
|
if entry.line?
|
|
|
|
line = entry.line
|
|
|
|
ide.editorManager.openDoc(entity, gotoLine: line)
|
|
|
|
]
|
|
|
|
|
|
|
|
App.controller 'ClearCacheModalController', ["$scope", "$modalInstance", ($scope, $modalInstance) ->
|
|
|
|
$scope.state =
|
|
|
|
inflight: false
|
|
|
|
|
|
|
|
$scope.clear = () ->
|
|
|
|
$scope.state.inflight = true
|
|
|
|
$scope
|
|
|
|
.clearCache()
|
|
|
|
.then () ->
|
|
|
|
$scope.state.inflight = false
|
|
|
|
$modalInstance.close()
|
|
|
|
|
|
|
|
$scope.cancel = () ->
|
|
|
|
$modalInstance.dismiss('cancel')
|
2016-03-08 08:20:23 -05:00
|
|
|
]
|