2014-07-08 11:02:26 +00:00
|
|
|
define [
|
|
|
|
"ide/pdf/controllers/PdfController"
|
2014-08-12 12:18:22 +00:00
|
|
|
"ide/pdf/controllers/PdfViewToggleController"
|
2014-07-08 11:02:26 +00:00
|
|
|
"ide/pdf/directives/pdfJs"
|
2014-12-01 14:35:12 +00:00
|
|
|
"ide/pdfng/directives/pdfJs" # alternative incremental viewer
|
2014-07-08 11:02:26 +00:00
|
|
|
], () ->
|
|
|
|
class PdfManager
|
|
|
|
constructor: (@ide, @$scope) ->
|
|
|
|
@$scope.pdf =
|
|
|
|
url: null # Pdf Url
|
|
|
|
error: false # Server error
|
|
|
|
timeout: false # Server timed out
|
|
|
|
failure: false # PDF failed to compile
|
|
|
|
compiling: false
|
|
|
|
uncompiled: true
|
|
|
|
logEntries: []
|
|
|
|
logEntryAnnotations: {}
|
|
|
|
rawLog: ""
|
|
|
|
view: null # 'pdf' 'logs'
|
|
|
|
showRawLog: false
|
|
|
|
highlights: []
|
|
|
|
position: null
|